parse error

This commit is contained in:
Dmitry Vagner 2022-09-21 16:34:34 -07:00
parent 6cac2d79f8
commit 98d9e6cae2
3 changed files with 7 additions and 8 deletions

View File

@ -17,6 +17,7 @@ global ripemd_alt:
%stack (length) -> (64, length, 0x80, 63, length, length)
// stack: 64, length, 0x80, 63, length, length, INPUT
%jump(0xdeadbeef)
%jump(ripemd_storage) // stores the following into memory
// init _buffer at virt 0 [consumes 64]
// store _size at virt 64 [consumes length]

View File

@ -45,7 +45,7 @@ final_update:
%stack (shift, need, have, STATE: 5, count, length) -> (length, shift, return_step, shift, need, have, STATE, count, length)
SUB
// stack: ARGS, shift, need, have, STATE, count, length, virt, retdest
%stack (ARGS: 2, shift, need, have, STATE: 5, count, length, virt) -> (shift, virt, have, ARGS: 2, shift, need, have, STATE, count, length, virt)
%stack (ARGS: 2, shift, need, have, STATE: 5, count, length, virt) -> (shift, virt, have, ARGS, shift, need, have, STATE, count, length, virt)
ADD
// stack: ARGS: 4, shift, need, have, STATE, count, length, virt, retdest
PUSH 0

View File

@ -24,17 +24,15 @@ fn test_ripemd() -> Result<()> {
0x73, 0x74, 0x75, 0x76,
0x77, 0x78, 0x79, 0x7a,
];
// let input: Vec<u32> = vec![0xabcd, 0x1234, 0x6789];
let stack_init = input.iter().map(|&x| U256::from(x as u32)).collect();
let ripemd = kernel.global_labels["F0"];
let hashed = run(
let stack_result = run(
&kernel.code,
ripemd,
kernel.global_labels["ripemd_alt"],
stack_init,
&kernel.prover_inputs)?;
let result = hashed.stack();
&kernel.prover_inputs
)?;
let result = stack_result.stack();
for term in input {
println!("{:X}", term);