logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-03 14:23:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

dont panic

Browse Source
This commit is contained in:
Dmitry Vagner 2023-04-21 12:02:36 -07:00
parent 26d99a9b15
commit dd58b9b5d8
1 changed files with 18 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm
View File

@ -1,8 +1,8 @@
/// def bn254_pairing(pairs: List((Curve, TwistedCurve))) -> Fp12:
///
/// for P, Q in pairs:
/// assert(P.is_valid)
/// assert(Q.is_valid)
/// if not (P.is_valid and Q.is_valid):
/// return @U256_MAX
///
/// out = 1
/// for P, Q in pairs:
@ -35,17 +35,28 @@ bn254_input_check:
// stack: P_j, inp_j, j, k, inp
%bn_check
// stack: valid?, inp_j, j, k, inp
%assert_nonzero
ISZERO
%jumpi(bn_pairing_invalid_input)
// stack: inp_j, j, k, inp
DUP1
// stack: inp_j , inp_j, j, k, inp
%add_const(2)
// stack: inp_j', inp_j, j, k, inp
%load_fp254_4
// stack: Q_j, j, k, inp
// stack: Q_j, inp_j, j, k, inp
%bn_check_twisted
// stack: valid?, j, k, inp
%assert_nonzero
// stack: j, k, inp
// stack: valid?, inp_j, j, k, inp
ISZERO
%jumpi(bn_pairing_invalid_input)
// stack: inp_j, j, k, inp
POP
%jump(bn254_input_check)
bn_pairing_invalid_input:
// stack: inp_j, j, k, inp, out, retdest
%stack (inp_j, j, k, inp, out, retdest) -> (retdest, @U256_MAX)
JUMP
bn254_pairing_start:
// stack: 0, k, inp, out, retdest
%stack (j, k, inp, out) -> (out, 1, k, inp, out)