From 099c4b9702fa176b6853e6ae5adc780d67af601d Mon Sep 17 00:00:00 2001 From: Dmitry Vagner Date: Wed, 19 Apr 2023 23:34:50 -0700 Subject: [PATCH] msg --- .../cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm | 1 + .../kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm index 4f3fca6b..00c03051 100644 --- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm +++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/pairing.asm @@ -12,6 +12,7 @@ global bn254_pairing: // stack: k, inp, out, retdest + %jump(bn254_pairing_loop) // this short circuits the input checks DUP1 // stack: k, k, inp, out, retdest diff --git a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm index 508664db..5b331d68 100644 --- a/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm +++ b/evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/twisted_curve.asm @@ -1,9 +1,9 @@ // Check if (X,Y) is a valid curve point. -// Returns (range & curve) || is_identity +// Returns (range & curve) || ident // where // range = (x < N) & (x_ < N) & (y < N) & (y_ < N) // curve = Y^2 == X^3 + A -// ident = (x,y) == (0,0) +// ident = (X,Y) == (0,0) %macro bn_check_twisted // stack: x, x_, y, y_