logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-02-21 22:33:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

it works

Browse Source
This commit is contained in:
Dmitry Vagner 2023-04-26 15:29:53 -07:00
parent 479e919c04
commit 89122a3d73
2 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/miller_loop.asm
View File

@ -27,9 +27,9 @@
global bn254_miller:
// stack: ptr, out, retdest
%stack (ptr, out) -> (out, 1, ptr, out)
// stack: out, 1, ptr, out, retdest
%mstore_kernel_bn254_pairing
%stack (ptr, out) -> (out, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ptr, out)
// stack: out, unit, ptr, out, retdest
%store_fp254_12
// stack: ptr, out, retdest
%load_fp254_6
// stack: P, Q, out, retdest
@ -111,25 +111,25 @@ mul_tangent_1:
DUP11
// stack: O, Q, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
%tangent
// stack: out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out {0: line}
// stack: out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out {12: line}
%stack (out) -> (out, 12, out)
// stack: out, 12, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out {0: line}
// stack: out, 12, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out {12: line}
%jump(mul_fp254_12_sparse)
mul_tangent_2:
// stack: retdest, 0xnm, times, O, P, Q, out {0: line}
// stack: retdest, 0xnm, times, O, P, Q, out {12: line}
PUSH after_double
// stack: after_double, retdest, 0xnm, times, O, P, Q, out {0: line}
// stack: after_double, retdest, 0xnm, times, O, P, Q, out {12: line}
DUP6
DUP6
// stack: O, after_double, retdest, 0xnm, times, O, P, Q, out {0: line}
// stack: O, after_double, retdest, 0xnm, times, O, P, Q, out {12: line}
%jump(bn_double)
after_double:
// stack: 2*O, retdest, 0xnm, times, O, P, Q, out {0: line}
// stack: 2*O, retdest, 0xnm, times, O, P, Q, out {12: line}
SWAP5
POP
SWAP5
POP
// stack: retdest, 0xnm, times, 2*O, P, Q, out {0: line}
// stack: retdest, 0xnm, times, 2*O, P, Q, out {12: line}
JUMP
/// def mul_cord()
@ -153,11 +153,11 @@ mul_cord:
DUP13
// stack: P, O, Q, mul_cord_1, 0xnm, times, O, P, Q, out
%cord
// stack: mul_cord_1, 0xnm, times, O, P, Q, out {0: line}
// stack: mul_cord_1, 0xnm, times, O, P, Q, out {12: line}
DUP12
// stack: out, mul_cord_1, 0xnm, times, O, P, Q, out {0: line}
// stack: out, mul_cord_1, 0xnm, times, O, P, Q, out {12: line}
%stack (out) -> (out, 12, out)
// stack: out, 12, out, mul_cord_1, 0xnm, times, O, P, Q, out {0: line}
// stack: out, 12, out, mul_cord_1, 0xnm, times, O, P, Q, out {12: line}
%jump(mul_fp254_12_sparse)
mul_cord_1:
// stack: 0xnm, times, O , P, Q, out

12
evm/src/cpu/kernel/tests/bn254.rs
View File

@ -5,14 +5,13 @@ use ethereum_types::U256;
use rand::Rng;
use crate::bn254_pairing::{
final_exponent, gen_fp12_sparse, miller_loop, tate, Curve, TwistedCurve, CURVE_GENERATOR,
TWISTED_GENERATOR,
final_exponent, gen_fp12_sparse, miller_loop, CURVE_GENERATOR, TWISTED_GENERATOR,
};
use crate::cpu::kernel::interpreter::{
run_interpreter_with_memory, Interpreter, InterpreterMemoryInitialization,
};
use crate::cpu::kernel::tests::u256ify;
use crate::extension_tower::{FieldExt, Fp12, Fp2, Fp6, Stack, BN254};
use crate::extension_tower::{FieldExt, Fp12, Fp6, Stack, BN254};
use crate::memory::segments::Segment::BnPairing;
fn extract_stack(interpreter: Interpreter<'static>) -> Vec<U256> {
@ -250,14 +249,14 @@ fn test_bn_pairing() -> Result<()> {
"0x1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed",
"0x198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2",
"0x12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa",
"0x900689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b",
"0x090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b",
])
.unwrap();
let setup = InterpreterMemoryInitialization {
label: "bn254_pairing".to_string(),
stack: vec![
U256::one(),
U256::from(2),
U256::from(ptr),
U256::from(out),
U256::from(0xdeadbeefu32),
@ -266,6 +265,7 @@ fn test_bn_pairing() -> Result<()> {
memory: vec![(ptr, inputs)],
};
let interpreter = run_interpreter_with_memory(setup).unwrap();
assert_eq!(interpreter.stack(), Fp12::<BN254>::UNIT.on_stack());
let output: Vec<U256> = interpreter.extract_kernel_memory(BnPairing, out..out + 12);
assert_eq!(output, Fp12::<BN254>::UNIT.on_stack());
Ok(())
}