logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-04-18 09:33:34 +00:00
Code Issues Packages Projects Releases Wiki Activity

draft implementation

Browse Source
This commit is contained in:
Dmitry Vagner 2022-08-09 15:11:18 -07:00
parent 26574f8b1e
commit f9efc3aede
2 changed files with 79 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
evm/src/cpu/kernel/asm/ripemd/iterate.asm → evm/src/cpu/kernel/asm/ripemd/hashloop.asm
View File

84
evm/src/cpu/kernel/asm/ripemd/subroutines.asm
View File

@ -1,3 +1,62 @@
/// Note that Fj, Kj last for 16 iterations, but sj, rj update each call
///
/// def R(a, b, c, d, e, Fj, Kj, sj, rj, X):
/// a = u32(ROL(sj, u32(Fj(b, c, d) + a + X[rj] + Kj)) + e)
/// c = ROL(10, c)
/// return e, a, b, c, d
global R:
jumpdest
// stack: a, b, c, d, e, Fj, Kj, retdest
dup4
// stack: d, a, b, c, d, e, Fj, Kj, retdest
dup4
// stack: c, d, a, b, c, d, e, Fj, Kj, retdest
dup4
// stack: b, c, d, a, b, c, d, e, Fj, Kj, retdest
dup9
// stack: Fj, b, c, d, a, b, c, d, e, Fj, Kj, retdest
jump---------------------------------------------------------------------------TODO
// stack: Fj(b, c, d), a, b, c, d, e, Fj, Kj, retdest
add
// stack: Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
push X[rj]---------------------------------------------------------------------TODO
// stack: X[rj], Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
add
// stack: X[rj] + Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
dup7
// stack: Kj, X[rj] + Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
add
// stack: Kj + X[rj] + Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
%u32
// stack: Kj + X[rj] + Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
push sj------------------------------------------------------------------------TODO
// stack: sj, Kj + X[rj] + Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
push ROL
// stack: ROL, sj, Kj + X[rj] + Fj(b, c, d) + a, b, c, d, e, Fj, Kj, retdest
jump---------------------------------------------------------------------------TODO
// stack: ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), b, c, d, e, Fj, Kj, retdest
dup5
// stack: e, ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), b, c, d, e, Fj, Kj, retdest
add
// stack: e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), b, c, d, e, Fj, Kj, retdest
%u32
// stack: e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), b, c, d, e, Fj, Kj, retdest
swap2
// stack: c, b, e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), d, e, Fj, Kj, retdest
push 10
// stack: 10, c, b, e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), d, e, Fj, Kj, retdest
push ROL
// stack: ROL, 10, c, b, e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), d, e, Fj, Kj, retdest
jump---------------------------------------------------------------------------TODO
// stack: ROL(10, c), b, e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), d, e, Fj, Kj, retdest
%stack (c, b, a, d, e) -> (e, a, b, c, d)
// stack: e, e + ROL(sj, Kj + X[rj] + Fj(b, c, d) + a), b, ROL(10, c), d, e, Fj, Kj, retdest
/// def ROL(n, x):
/// return (u32(x << n)) | (x >> (32 - n))
global Rol: global Rol:
jumpdest jumpdest
// stack: n, x, retdest // stack: n, x, retdest
@ -28,6 +87,9 @@ global Rol:
jump jump
/// def F0(x, y, z):
/// return x ^ y ^ z
global F0: global F0:
jumpdest jumpdest
// stack: x, y, z, retdest // stack: x, y, z, retdest
@ -40,6 +102,9 @@ global F0:
jump jump
/// def F1(x, y, z):
/// return (x & y) | (u32(~x) & z)
global F1: global F1:
jumpdest jumpdest
// stack: x, y, z, retdest // stack: x, y, z, retdest
@ -53,7 +118,7 @@ global F1:
// stack: z, x, y & x, retdest // stack: z, x, y & x, retdest
swap1 swap1
// stack: x, z, y & x, retdest // stack: x, z, y & x, retdest
%not_u32 %not_32
// stack: ~x, z, y & x, retdest // stack: ~x, z, y & x, retdest
and and
// stack: ~x & z, y & x, retdest // stack: ~x & z, y & x, retdest
@ -64,22 +129,28 @@ global F1:
jump jump
/// def F2(x, y, z):
/// return (x | u32(~y)) ^ z
global F2: global F2:
jumpdest jumpdest
// stack: x, y, z, retdest // stack: x, y, z, retdest
swap1 swap1
// stack: y, x, z, retdest // stack: y, x, z, retdest
%not_u32 %not_32
// stack: ~y, x, z, retdest // stack: ~y, x, z, retdest
or or
// stack: ~y | x, z, retdest // stack: ~y | x, z, retdest
xor xor
// stack: (~y | x) ^ z, retdest // stack: (~y | x) ^ z, retdest
swap1 swap1
// stack: retdest, (~y | x) ^ z // stack: retdest, (~y | x) ^ z
jump jump
/// def F3(x, y, z):
/// return (x & z) | (u32(~z) & y)
global F3: global F3:
jumpdest jumpdest
// stack: x, y, z, retdest // stack: x, y, z, retdest
@ -89,7 +160,7 @@ global F3:
// stack: z & x, y, z, retdest // stack: z & x, y, z, retdest
swap2 swap2
// stack: z, y, z & x, retdest // stack: z, y, z & x, retdest
%not_u32 %not_32
// stack: ~z, y, z & x, retdest // stack: ~z, y, z & x, retdest
and and
// stack: ~z & y, z & x, retdest // stack: ~z & y, z & x, retdest
@ -100,12 +171,15 @@ global F3:
jump jump
/// def F4(x, y, z):
/// return x ^ (y | u32(~z))
global F4: global F4:
jumpdest jumpdest
// stack: x, y, z, retdest // stack: x, y, z, retdest
swap2 swap2
// stack: z, y, x, retdest // stack: z, y, x, retdest
%not_u32 %not_32
// stack: ~z, y, x, retdest // stack: ~z, y, x, retdest
or or
// stack: ~z | y, x, retdest // stack: ~z | y, x, retdest