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

Add _base suffix

Browse Source
This commit is contained in:
wborgeaud 2022-07-14 19:46:02 +02:00
parent f4390410a3
commit 62c094615d
3 changed files with 1027 additions and 1029 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
evm/src/cpu/kernel/asm/secp256k1/curve_add.asm
View File

@ -71,15 +71,15 @@ global ec_add_valid_points_secp:
// stack: y1, x0, y0, x1, y1, retdest
DUP3
// stack: y0, y1, x0, y0, x1, y1, retdest
%submod_secp
%submod_secp_base
// stack: y0 - y1, x0, y0, x1, y1, retdest
DUP4
// stack: x1, y0 - y1, x0, y0, x1, y1, retdest
DUP3
// stack: x0, x1, y0 - y1, x0, y0, x1, y1, retdest
%submod_secp
%submod_secp_base
// stack: x0 - x1, y0 - y1, x0, y0, x1, y1, retdest
%moddiv_secp
%moddiv_secp_base
// stack: lambda, x0, y0, x1, y1, retdest
%jump(ec_add_valid_points_with_lambda)
@ -138,9 +138,9 @@ ec_add_valid_points_with_lambda:
// stack: lambda, lambda, N, x1, x0, lambda, x0, y0, x1, y1, retdest
MULMOD
// stack: lambda^2, x1, x0, lambda, x0, y0, x1, y1, retdest
%submod_secp
%submod_secp_base
// stack: lambda^2 - x1, x0, lambda, x0, y0, x1, y1, retdest
%submod_secp
%submod_secp_base
// stack: x2, lambda, x0, y0, x1, y1, retdest
// Compute y2 = lambda*(x1 - x2) - y1
@ -150,7 +150,7 @@ ec_add_valid_points_with_lambda:
// stack: x2, N, x2, lambda, x0, y0, x1, y1, retdest
DUP7
// stack: x1, x2, N, x2, lambda, x0, y0, x1, y1, retdest
%submod_secp
%submod_secp_base
// stack: x1 - x2, N, x2, lambda, x0, y0, x1, y1, retdest
DUP4
// stack: lambda, x1 - x2, N, x2, lambda, x0, y0, x1, y1, retdest
@ -160,7 +160,7 @@ ec_add_valid_points_with_lambda:
// stack: y1, lambda * (x1 - x2), x2, lambda, x0, y0, x1, y1, retdest
SWAP1
// stack: lambda * (x1 - x2), y1, x2, lambda, x0, y0, x1, y1, retdest
%submod_secp
%submod_secp_base
// stack: y2, x2, lambda, x0, y0, x1, y1, retdest
// Return x2,y2
@ -228,7 +228,7 @@ ec_add_equal_points:
// stack: 3/2 * x0^2, x0, y0, x1, y1, retdest
DUP3
// stack: y0, 3/2 * x0^2, x0, y0, x1, y1, retdest
%moddiv_secp
%moddiv_secp_base
// stack: lambda, x0, y0, x1, y1, retdest
%jump(ec_add_valid_points_with_lambda)
@ -249,9 +249,7 @@ global ec_double_secp:
PUSH 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f
%endmacro
// Assumption: x, y < N and 2N < 2^256.
// Note: Doesn't hold for Secp256k1 base field.
%macro submod_secp
%macro submod_secp_base
// stack: x, y
SWAP1
// stack: y, x

1016
evm/src/cpu/kernel/asm/secp256k1/lift_x.asm
View File

File diff suppressed because it is too large Load Diff

1020
evm/src/cpu/kernel/asm/secp256k1/moddiv.asm
View File

File diff suppressed because it is too large Load Diff