diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/miller_loop.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/miller_loop.asm index f86f3f88..8340a959 100644 --- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/miller_loop.asm +++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/miller_loop.asm @@ -34,6 +34,12 @@ /// (4) encoding each pair (n,m) as 0xnm: /// miller_data = [(0x10)n + m for (n,m) in EXP] +global test_miller: + // stack: ptr, P, Q, ptr, out, retdest + %store_fp6 + // stack: ptr, out, retdest + %jump(miller_init) + global miller_init: // stack: ptr, out, retdest PUSH 1 diff --git a/evm/src/cpu/kernel/tests/bn254_field.rs b/evm/src/cpu/kernel/tests/bn254.rs similarity index 99% rename from evm/src/cpu/kernel/tests/bn254_field.rs rename to evm/src/cpu/kernel/tests/bn254.rs index e1817fa0..c6e10299 100644 --- a/evm/src/cpu/kernel/tests/bn254_field.rs +++ b/evm/src/cpu/kernel/tests/bn254.rs @@ -579,15 +579,10 @@ fn fast_exp(f: Fp12) -> Fp12 { y0 = inv_fp12(y0); - // println!("y0: {:#?}", y0); - // println!("y4: {:#?}", y4); - y4 = mul_fp12(y4, y2); y4 = mul_fp12(y4, y2); y4 = mul_fp12(y4, y0); - println!("y4: {:#?}", y4); - y4 = frob_fp12(1, y4); y2 = frob_fp12(2, y2); @@ -602,8 +597,6 @@ fn make_mul_stack( g: Fp12, mul_label: &str, ) -> Vec { - // stack: in0, f, f', in1, g, g', mul_dest, in0, in1, out, ret_stack, out - let in0 = U256::from(in0); let in1 = U256::from(in1); let out = U256::from(out);