Fix GAS and implement storage value parsing

This commit is contained in:
Daniel Lubarov 2023-03-20 18:02:20 -07:00
parent 692575a24b
commit 3c4bc1d824
2 changed files with 5 additions and 1 deletions

View File

@ -37,4 +37,7 @@ global mpt_load_receipt_trie_value:
global mpt_load_storage_trie_value:
// stack: retdest
PANIC // TODO
PROVER_INPUT(mpt)
%append_to_trie_data
// stack: retdest
JUMP

View File

@ -108,6 +108,7 @@ fn decode(registers: RegistersState, opcode: u8) -> Result<Operation, ProgramErr
(0x57, _) => Ok(Operation::Jumpi),
(0x58, _) => Ok(Operation::Pc),
(0x59, _) => Ok(Operation::Syscall(opcode)),
(0x5a, _) => Ok(Operation::Syscall(opcode)),
(0x5b, _) => Ok(Operation::Jumpdest),
(0x60..=0x7f, _) => Ok(Operation::Push(opcode & 0x1f)),
(0x80..=0x8f, _) => Ok(Operation::Dup(opcode & 0xf)),