Merge pull request #990 from mir-protocol/mpt_failure_labels

Labels for failed MPT read/insert
This commit is contained in:
Daniel Lubarov 2023-04-17 17:31:04 -07:00 committed by GitHub
commit 690fd1006d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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: