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

frob_fp12

Browse Source
This commit is contained in:
Dmitry Vagner 2022-11-16 16:56:23 -08:00
parent ca92057b01
commit 8a7d6c6529
1 changed files with 112 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

120
evm/src/cpu/kernel/asm/fields/frobenius.asm
View File

@ -1,4 +1,4 @@
/// def frob_fp6(n, C0, C1, C2):
/// def frob_fp6_n(C0, C1, C2):
/// if n%2:
/// D0, D1, D2 = C0`, FROB_t1[n] * C1`, FROB_t2[n] * C2`
/// else:
@ -76,18 +76,122 @@
%endmacro
/// def Fp12_frob(n, f, f'):
/// return frob_fp6(n, f ),
/// FROB_z[n] * frob_fp6(n, f')
/// def Fp12_frob_n(f, f'):
/// g = frob_fp6(n, f )
/// g' = FROB_z[n] * frob_fp6(n, f')
/// return g, g'
global frob_fp12_1:
// stack: ptr, retdest
DUP1
// stack: ptr, ptr, retdest
%load_fp6
// stack: f, ptr, retdest
%frob_fp6_1
// stack: g, ptr, retdest
DUP7
// stack: ptr, g, ptr, retdest
%load_fp6
// stack: ptr, retdest
DUP1 %offset_fp6
// stack: ptr', ptr, retdest
%load_fp6
// stack: f', ptr, retdest
%frobz_1
// stack: g', ptr, retdest
DUP1 %offset_fp6
// stack: ptr', g', ptr, retdest
%store_fp6
// stack: ptr, retdest
SWAP1
JUMP
global frob_fp12_2:
// stack: ptr, retdest
DUP1
// stack: ptr, ptr, retdest
%load_fp6
// stack: f, ptr, retdest
%frob_fp6_2
// stack: g, ptr, retdest
DUP7
// stack: ptr, g, ptr, retdest
%load_fp6
// stack: ptr, retdest
DUP1 %offset_fp6
// stack: ptr', ptr, retdest
%load_fp6
// stack: f', ptr, retdest
%frobz_2
// stack: g', ptr, retdest
DUP1 %offset_fp6
// stack: ptr', g', ptr, retdest
%store_fp6
// stack: ptr, retdest
SWAP1
JUMP
global frob_fp12_3:
// stack: ptr, retdest
DUP1
// stack: ptr, ptr, retdest
%load_fp6
// stack: f, ptr, retdest
%frob_fp6_3
// stack: g, ptr, retdest
DUP7
// stack: ptr, g, ptr, retdest
%load_fp6
// stack: ptr, retdest
DUP1 %offset_fp6
// stack: ptr', ptr, retdest
%load_fp6
// stack: f', ptr, retdest
%frobz_3
// stack: g', ptr, retdest
DUP1 %offset_fp6
// stack: ptr', g', ptr, retdest
%store_fp6
// stack: ptr, retdest
SWAP1
JUMP
global frob_fp12_6:
// stack: ptr, retdest
DUP1 %offset_fp6
// stack: ptr', ptr, retdest
%load_fp6
// stack: f', ptr, retdest
%frobz_6
// stack: g', ptr, retdest
DUP7 %offset_fp6
// stack: ptr', g', ptr, retdest
%store_fp6
// stack: ptr, retdest
SWAP1
JUMP
%macro frobz_1
%frob_fp6_1
PUSH 0x246996f3b4fae7e6a6327cfe12150b8e747992778eeec7e5ca5cf05f80f362ac
PUSH 0x1284b71c2865a7dfe8b99fdd76e68b605c521e08292f2176d60b35dadcc9e470
%mul_fp2_fp6
%endmacro
%macro frobz_2
%frob_fp6_2
PUSH 0x30644e72e131a0295e6dd9e7e0acccb0c28f069fbb966e3de4bd44e5607cfd49
%mul_fp_fp6
%endmacro
%macro frobz_3
%frob_fp6_3
PUSH 0xabf8b60be77d7306cbeee33576139d7f03a5e397d439ec7694aa2bf4c0c101
PUSH 0x19dc81cfcc82e4bbefe9608cd0acaa90894cb38dbe55d24ae86f7d391ed4a67f
%mul_fp2_fp6
%endmacro
%macro frobz_6
PUSH 0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd46
%mul_fp_fp6
%endmacro