Labels for failed MPT read/insert

This commit is contained in:
Daniel Lubarov 2023-04-17 17:27:55 -07:00
parent e6864e9828
commit 67593f162a
2 changed files with 2 additions and 0 deletions

View File

@ -17,6 +17,7 @@ global mpt_insert:
// There's still the MPT_NODE_HASH case, but if we hit a hash node,
// it means the prover failed to provide necessary Merkle data, so panic.
global mpt_insert_hash_node:
PANIC
mpt_insert_empty:

View File

@ -42,6 +42,7 @@ global mpt_read:
// There's still the MPT_NODE_HASH case, but if we hit a hash node,
// it means the prover failed to provide necessary Merkle data, so panic.
global mpt_read_hash_node:
PANIC
global mpt_read_empty: