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

debugging, and progress

Browse Source
This commit is contained in:
Nicholas Ward 2022-08-09 14:29:10 -07:00
parent 4905f499a4
commit 2601109dbc
2 changed files with 53 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

59
evm/src/cpu/kernel/asm/sha2/sha2.asm
View File

@ -123,10 +123,10 @@ sha2_gen_message_schedule_from_block_0_loop:
// stack: counter, output_addr, block[0], block[1], retdest
swap2
// stack: block[0], output_addr, counter, block[1], retdest
push 32
push 15
push 1
swap1 // TODO: remove once SHR implementation is fixed
shl
//shl
STOP
// stack: 1 << 32, block[0], output_addr, counter, block[1], retdest
dup2
dup2
@ -175,9 +175,9 @@ sha2_gen_message_schedule_from_block_1_loop:
// stack: counter, output_addr, block[1], block[0], retdest
swap2
// stack: block[1], output_addr, counter, block[0], retdest
push 32
push 1
swap1 // TODO: remove once SHR implementation is fixed
push 32
swap1 // TODO: remove once SHL implementation is fixed
shl
// stack: 1 << 32, block[1], output_addr, counter, block[0], retdest
dup2
@ -304,8 +304,51 @@ sha2_gen_message_schedule_remaining_end:
JUMPDEST
// stack: counter=0, output_addr, block[0], block[1], retdest
%pop4
STOP
JUMP
//global sha2_gen_all_message_schedules:
// JUMPDEST
// Precodition: memory, starting at 0, contains num_blocks, block0[0], ..., block0[63], block1[0], ..., blocklast[63]
stack contains output_addr
// Postcondition:
global sha2_gen_all_message_schedules:
JUMPDEST
push 0
// stack: 0, output_addr, retdest
%mload_kernel_general
// stack: num_blocks, output_addr, retdest
push 1
// stack: cur_addr = 1, counter = num_blocks, output_addr, retdest
sha2_gen_all_message_schedules_loop:
JUMPDEST
// stack: cur_addr, counter, cur_output_addr, retdest
push sha2_gen_all_message_schedules_loop_end
// stack: new_retdest = sha2_gen_all_message_schedules_loop_end, cur_addr, counter, cur_output_addr, retdest
dup4
// stack: cur_output_addr, new_retdest, cur_addr, counter, cur_output_addr, retdest
dup3
// stack: cur_addr, cur_output_addr, new_retdest, cur_addr, counter, cur_output_addr, retdest
%jump(sha2_gen_message_schedule_from_block)
sha2_gen_all_message_schedules_loop_end:
// stack: cur_addr, counter, cur_output_addr, retdest
%add_const(64)
// stack: cur_addr + 64, counter, cur_output_addr, retdest
swap1
%decrement
swap1
// stack: cur_addr + 64, counter - 1, cur_output_addr, retdest
swap2
%add_const(256)
swap2
// stack: cur_addr + 64, counter - 1, cur_output_addr + 256, retdest
dup2
// stack: counter - 1, cur_addr + 64, counter - 1, cur_output_addr + 256, retdest
iszero
%jumpi(sha2_gen_all_message_schedules_end)
%jump(sha2_gen_all_message_schedules_loop)
JUMPDEST
sha2_gen_all_message_schedules_end:
JUMPDEST
// stack: cur_addr + 64, counter - 1, cur_output_addr + 256, retdest
%pop3
// stack: retdest
JUMP

4
evm/src/cpu/kernel/asm/sha2/write_length.asm
View File

@ -2,9 +2,9 @@
// stack: last_addr, length
swap1
// stack: length, last_addr
// TODO: these should be in the other order once SHL implementation is fixed
push 8
push 1
push 8
swap1 // TODO: remove once SHL implementation is fixed
shl
// stack: 1 << 8, length, last_addr