NethermindEth / cairo-vm-go

A virtual machine for Cairo written in Go
MIT License
79 stars 49 forks source link

bug: `KeccakWriteArgs` hint in _keccak.starknet_with_keccak.cairo_ resolves `keccak_ptr` with the wrong reference #522

Closed TAdev0 closed 1 month ago

TAdev0 commented 1 month ago

keccak.starknet_with_keccak.cairo integration test includes a call to _block_permutation which takes keccak_ptr as an implicit argument. keccak_ptr unexpectedly resolves to the right value + 25 . Integration tests can pass if we slightly modify our hint to read from offset - 25 and write to offset - 25.