From 6e8d4a57a4da268e4df1745a4bf22077fb3f5244 Mon Sep 17 00:00:00 2001 From: Dmitry Vagner Date: Wed, 25 Jan 2023 16:48:28 +0700 Subject: [PATCH] fix --- evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/util.asm | 4 +++- evm/src/cpu/kernel/asm/curve/secp256k1/ecrecover.asm | 2 +- evm/src/cpu/kernel/asm/curve/secp256k1/moddiv.asm | 2 +- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/util.asm b/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/util.asm index 179de101..9097c72b 100644 --- a/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/util.asm +++ b/evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/util.asm @@ -66,7 +66,9 @@ // stack: cx, cy %endmacro -// cost: 9; note this returns y, x for the output x + yi +/// Given z = x + iy: Fp254_2, return complex conjugate z': Fp254_2 +/// where input is represented z.re, z.im and output as z'.im, z'.re +/// cost: 9; note this returns y, x for the output x + yi %macro i9 // stack: a , b DUP2 diff --git a/evm/src/cpu/kernel/asm/curve/secp256k1/ecrecover.asm b/evm/src/cpu/kernel/asm/curve/secp256k1/ecrecover.asm index 6ebd89dc..a1c2ff3c 100644 --- a/evm/src/cpu/kernel/asm/curve/secp256k1/ecrecover.asm +++ b/evm/src/cpu/kernel/asm/curve/secp256k1/ecrecover.asm @@ -53,7 +53,7 @@ ecrecover_valid_input: // stack: y, hash, r, s, retdest DUP3 // stack: r, y, hash, x, s, retdest (r=x) - %inv_fp254_secp_scalar + %inverse_secp_scalar // stack: r^(-1), y, hash, x, s, retdest DUP1 // stack: r^(-1), r^(-1), y, hash, x, s, retdest diff --git a/evm/src/cpu/kernel/asm/curve/secp256k1/moddiv.asm b/evm/src/cpu/kernel/asm/curve/secp256k1/moddiv.asm index 17d5c623..d878dc14 100644 --- a/evm/src/cpu/kernel/asm/curve/secp256k1/moddiv.asm +++ b/evm/src/cpu/kernel/asm/curve/secp256k1/moddiv.asm @@ -4,7 +4,7 @@ // Returns y * (x^-1) where the inverse is taken modulo N %macro moddiv_secp_base // stack: x, y - %inv_fp254_secp_base + %inverse_secp_base // stack: x^-1, y %mulmodn_secp_base %endmacro