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

storefp12 macro

Browse Source
This commit is contained in:
Dmitry Vagner 2022-12-08 17:38:27 -08:00
parent bf9c32463f
commit dbeabb8075
2 changed files with 57 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/field_macros.asm
View File

@ -918,7 +918,61 @@
// stack: x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, x10, x11 // stack: x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, x10, x11
%endmacro %endmacro
%macro assert_eq_unit_fp12 %macro store_fp12
// stack: ptr, x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, x10, x11
SWAP11
// stack: x10, x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
DUP12 %add_const(10)
// stack: ind10, x10, x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
DUP11
// stack: ind00, x00, x01, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x01, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
DUP10 %add_const(01)
// stack: ind01, x01, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
DUP10 %add_const(02)
// stack: ind02, x02, x03, x04, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x03, x04, x05, x06, x07, x08, x09, ptr, x11
DUP10 %add_const(03)
// stack: ind03, x03, x04, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x04, x05, x06, x07, x08, x09, ptr, x11
DUP10 %add_const(04)
// stack: ind04, x04, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x05, x06, x07, x08, x09, ptr, x11
DUP10 %add_const(05)
// stack: ind05, x05, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x06, x07, x08, x09, ptr, x11
DUP10 %add_const(06)
// stack: ind06, x06, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x07, x08, x09, ptr, x11
DUP10 %add_const(07)
// stack: ind07, x07, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x08, x09, ptr, x11
DUP10 %add_const(08)
// stack: ind08, x08, x09, ptr, x11
%mstore_kernel_general
// stack: x09, ptr, x11
DUP10 %add_const(09)
// stack: ind09, x09, ptr, x11
%mstore_kernel_general
// stack: ptr, x11
%add_const(11)
// stack: ind11, x11
%mstore_kernel_general
// stack:
%endmacro
%macro assert_eq_fp12_unit
// stack: ptr // stack: ptr
DUP1 %mload_kernel_code DUP1 %mload_kernel_code
// stack: x00, ptr // stack: x00, ptr

4
evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
View File

@ -44,7 +44,7 @@ global inverse_fp12:
// stack: inv, f^-1, inv, f, ptr, inv, retdest // stack: inv, f^-1, inv, f, ptr, inv, retdest
%store_fp12 %store_fp12
// stack: inv, f, ptr, inv, retdest // stack: inv, f, ptr, inv, retdest
%stack (inv, f: 12) -> () POP %pop4 %pop4 %pop4
// stack: ptr, inv, retdest // stack: ptr, inv, retdest
PUSH 200 PUSH check_inv PUSH 200 PUSH check_inv
// stack: check_inv, 200, ptr, inv, retdest // stack: check_inv, 200, ptr, inv, retdest
@ -53,7 +53,7 @@ global inverse_fp12:
%jump(mul_fp12) %jump(mul_fp12)
global check_inv: global check_inv:
// stack: 200, ptr, inv, retdest // stack: 200, ptr, inv, retdest
%assert_eq_unit_fp12 %assert_eq_fp12_unit
// stack: ptr, inv, retdest // stack: ptr, inv, retdest
POP SWAP1 POP SWAP1
// stack: retdest, inv // stack: retdest, inv