logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-15 12:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix miller

Browse Source
This commit is contained in:
Dmitry Vagner 2022-12-08 18:29:27 -08:00
parent 8737ba9b93
commit 17890dd58d
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -117,17 +117,17 @@ miller_zero_final:
/// O += O
mul_tangent:
// stack: retdest, 0xnm, times, O, P, Q, out
PUSH mul_tangent_2 PUSH mul_tangent_1
// stack: mul_tangent_1, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
DUP13 DUP1
// stack: out, out, mul_tangent_1, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
// stack: retdest, 0xnm, times, O, P, Q, out
PUSH mul_tangent_2 DUP12 PUSH mul_tangent_1
// stack: mul_tangent_1, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
DUP2 DUP1
// stack: out, out, mul_tangent_1, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
%jump(square_fp12)
mul_tangent_1:
// stack: out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
DUP12 DUP12 DUP12 DUP12
DUP13 DUP13 DUP13 DUP13
// stack: Q, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
DUP10 DUP10
DUP11 DUP11
// stack: O, Q, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out
%store_tangent
// stack: out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out {100: line}
@ -135,10 +135,10 @@ mul_tangent_1:
// stack: out, 100, out, mul_tangent_2, retdest, 0xnm, times, O, P, Q, out {100: line}
%jump(mul_fp12_sparse)
mul_tangent_2:
// stack: out, retdest, 0xnm, times, O, P, Q, out {100: line}
POP PUSH after_double
// stack: retdest, 0xnm, times, O, P, Q, out {100: line}
PUSH after_double
// stack: after_double, retdest, 0xnm, times, O, P, Q, out {100: line}
DUP5 DUP5
DUP6 DUP6
// stack: O, after_double, retdest, 0xnm, times, O, P, Q, out {100: line}
%jump(ec_double)
after_double: