Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Commit

Permalink
Account leaf below branch placeholder fix; tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@miha-stopar
miha-stopar committed Oct 9, 2023
1 parent 0583074 commit 40f48ff
Show file tree
Hide file tree
Showing 87 changed files with 105 additions and 97 deletions.
2 changes: 1 addition & 1 deletion mpt-witness-generator/state/statedb.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -456,13 +456,13 @@ func (s *StateDB) SetStateObjectIfExists(addr common.Address) {
return
}

address_hash := crypto.Keccak256Hash(addr.Bytes())
/*
When an account that does not exist is tried to be fetched by PrefetchAccount and when the some other account
exist at the overlapping address (the beginning of it), this (wrong) account is obtained by PrefetchAccount
and needs to be ignored.
*/
isExpectedAddress := func() bool {
address_hash := crypto.Keccak256Hash(addr.Bytes())
len_address_remaining := ret[2] - 128
if ret[3] != 32 {
nibble := address_hash[32 - len_address_remaining] % 16
Expand Down
35 changes: 19 additions & 16 deletions zkevm-circuits/src/mpt_circuit/account_leaf.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -351,22 +351,25 @@ impl<F: Field> AccountLeafConfig<F> {
config.parent_data[false.idx()].is_placeholder.expr()
]) => true);
} elsex {
// Check that there is only one modification (except when the account is being deleted).
// Nonce needs to remain the same when not modifying the nonce
ifx!{not!(config.is_nonce_mod) => {
require!(nonce[false.idx()] => nonce[true.idx()]);
}}
// Balance needs to remain the same when not modifying the balance
ifx!{not!(config.is_balance_mod) => {
require!(balance[false.idx()] => balance[true.idx()]);
}}
// Storage root needs to remain the same when not modifying the storage root
ifx!{not!(config.is_storage_mod) => {
require!(storage[false.idx()] => storage[true.idx()]);
}}
// Codehash root needs to remain the same when not modifying the codehash
ifx!{not!(config.is_codehash_mod) => {
require!(codehash[false.idx()] => codehash[true.idx()]);
ifx! {and::expr(&[not!(config.parent_data[true.idx()].is_placeholder), not!(config.parent_data[false.idx()].is_placeholder)]) => {
// Check that there is only one modification, except when the account is being deleted or
// the parent branch is a placeholder (meaning the account leafs in S are C are different).
// Nonce needs to remain the same when not modifying the nonce
ifx!{not!(config.is_nonce_mod) => {
require!(nonce[false.idx()] => nonce[true.idx()]);
}}
// Balance needs to remain the same when not modifying the balance
ifx!{not!(config.is_balance_mod) => {
require!(balance[false.idx()] => balance[true.idx()]);
}}
// Storage root needs to remain the same when not modifying the storage root
ifx!{not!(config.is_storage_mod) => {
require!(storage[false.idx()] => storage[true.idx()]);
}}
// Codehash root needs to remain the same when not modifying the codehash
ifx!{not!(config.is_codehash_mod) => {
require!(codehash[false.idx()] => codehash[true.idx()]);
}}
}}
}}
ifx! {config.is_non_existing_account_proof => {
Expand Down
2 changes: 1 addition & 1 deletion zkevm-circuits/src/mpt_circuit/tests/AccountAddPlaceholderBranch.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion zkevm-circuits/src/mpt_circuit/tests/AccountAddPlaceholderExtension.json
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion zkevm-circuits/src/mpt_circuit/tests/AccountAfterFirstLevel.json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
[{"start":{"disable_preimage_check":false,"proof_type":"BalanceChanged"},"extension_branch":null,"account":null,"storage":null,"values":[[160,80,57,92,254,92,192,163,254,147,39,40,110,123,228,55,231,199,43,174,249,179,139,115,105,190,202,194,91,50,152,38,157,0],[160,76,152,136,141,203,116,59,89,139,51,176,59,178,48,143,96,27,50,1,228,213,144,243,108,165,187,6,1,46,181,169,68,0]],"keccak_data":[]},{"start":null,"extension_branch":{"is_extension":false,"is_placeholder":[false,false],"extension":{"list_rlp_bytes":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]},"branch":{"modified_index":15,"drifted_index":15,"list_rlp_bytes":[[249,1,17],[249,1,49]]}},"account":null,"storage":null,"values":[[160,164,113,121,186,203,37,99,214,74,77,163,191,209,163,175,196,225,94,88,203,118,113,35,42,19,147,170,86,232,78,33,7,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,171,140,219,128,140,131,3,187,97,251,72,226,118,33,123,233,119,15,168,62,207,63,144,242,35,77,85,136,133,245,171,241,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,209,194,147,52,245,42,90,105,74,201,185,72,11,49,56,252,120,235,36,47,214,22,67,153,206,248,232,10,54,165,108,47,0],[160,181,215,169,27,229,238,39,60,206,39,226,173,154,22,13,47,170,221,90,107,165,24,211,132,1,155,104,114,138,79,98,244,0],[160,194,199,153,182,10,12,214,172,212,44,16,21,81,40,114,232,108,24,107,207,25,110,133,6,30,118,132,47,59,124,248,96,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,46,13,134,195,190,253,23,127,87,74,32,172,99,128,69,50,136,144,119,233,85,50,12,147,97,205,16,183,204,111,88,9,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,99,1,179,155,46,168,164,77,248,176,53,97,32,219,100,183,136,231,31,82,225,215,166,48,157,13,46,91,134,254,231,203,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,27,119,121,225,73,202,223,36,212,255,183,124,167,225,19,20,184,219,112,151,228,215,11,42,23,52,147,21,60,162,229,160,0],[160,102,167,102,40,17,73,27,61,53,46,150,149,6,180,32,210,105,232,181,26,34,79,87,75,59,56,179,70,63,67,240,9,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],"keccak_data":[[249,1,17,128,160,171,140,219,128,140,131,3,187,97,251,72,226,118,33,123,233,119,15,168,62,207,63,144,242,35,77,85,136,133,245,171,241,128,128,160,209,194,147,52,245,42,90,105,74,201,185,72,11,49,56,252,120,235,36,47,214,22,67,153,206,248,232,10,54,165,108,47,160,181,215,169,27,229,238,39,60,206,39,226,173,154,22,13,47,170,221,90,107,165,24,211,132,1,155,104,114,138,79,98,244,160,194,199,153,182,10,12,214,172,212,44,16,21,81,40,114,232,108,24,107,207,25,110,133,6,30,118,132,47,59,124,248,96,128,160,46,13,134,195,190,253,23,127,87,74,32,172,99,128,69,50,136,144,119,233,85,50,12,147,97,205,16,183,204,111,88,9,128,160,99,1,179,155,46,168,164,77,248,176,53,97,32,219,100,183,136,231,31,82,225,215,166,48,157,13,46,91,134,254,231,203,128,128,160,27,119,121,225,73,202,223,36,212,255,183,124,167,225,19,20,184,219,112,151,228,215,11,42,23,52,147,21,60,162,229,160,160,102,167,102,40,17,73,27,61,53,46,150,149,6,180,32,210,105,232,181,26,34,79,87,75,59,56,179,70,63,67,240,9,128,128],[249,1,49,128,160,171,140,219,128,140,131,3,187,97,251,72,226,118,33,123,233,119,15,168,62,207,63,144,242,35,77,85,136,133,245,171,241,128,128,160,209,194,147,52,245,42,90,105,74,201,185,72,11,49,56,252,120,235,36,47,214,22,67,153,206,248,232,10,54,165,108,47,160,181,215,169,27,229,238,39,60,206,39,226,173,154,22,13,47,170,221,90,107,165,24,211,132,1,155,104,114,138,79,98,244,160,194,199,153,182,10,12,214,172,212,44,16,21,81,40,114,232,108,24,107,207,25,110,133,6,30,118,132,47,59,124,248,96,128,160,46,13,134,195,190,253,23,127,87,74,32,172,99,128,69,50,136,144,119,233,85,50,12,147,97,205,16,183,204,111,88,9,128,160,99,1,179,155,46,168,164,77,248,176,53,97,32,219,100,183,136,231,31,82,225,215,166,48,157,13,46,91,134,254,231,203,128,128,160,27,119,121,225,73,202,223,36,212,255,183,124,167,225,19,20,184,219,112,151,228,215,11,42,23,52,147,21,60,162,229,160,160,102,167,102,40,17,73,27,61,53,46,150,149,6,180,32,210,105,232,181,26,34,79,87,75,59,56,179,70,63,67,240,9,160,164,113,121,186,203,37,99,214,74,77,163,191,209,163,175,196,225,94,88,203,118,113,35,42,19,147,170,86,232,78,33,7,128]]},{"start":null,"extension_branch":null,"account":{"address":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,33],"key":[252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73],"list_rlp_bytes":[[248,105],[248,105]],"value_rlp_bytes":[[184,70],[184,70]],"value_list_rlp_bytes":[[248,68],[248,68]],"drifted_rlp_bytes":[0],"wrong_rlp_bytes":[248,105]},"storage":null,"values":[[160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0],[160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[23,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0],[160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[23,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0],[160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0]],"keccak_data":[[248,105,160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,128,23,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112],[248,105,160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,128,23,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,33]]},{"start":{"disable_preimage_check":false,"proof_type":"Disabled"},"extension_branch":null,"account":null,"storage":null,"values":[[160,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],"keccak_data":[]}]
[{"start":{"disable_preimage_check":false,"proof_type":"BalanceChanged"},"extension_branch":null,"account":null,"storage":null,"mod_extension":null,"values":[[160,78,245,158,17,5,239,110,111,17,27,202,151,215,132,58,31,241,244,164,93,186,149,123,119,5,27,231,133,190,107,130,231,0],[160,201,251,223,130,132,97,194,77,187,48,8,236,133,79,99,217,142,253,246,227,135,4,41,106,236,143,235,216,22,100,238,128,0]],"keccak_data":[]},{"start":null,"extension_branch":{"is_extension":false,"is_mod_extension":[false,false],"is_placeholder":[false,false],"extension":{"list_rlp_bytes":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]},"branch":{"modified_index":15,"drifted_index":15,"list_rlp_bytes":[[249,1,49],[249,1,81]]}},"account":null,"storage":null,"mod_extension":null,"values":[[160,164,113,121,186,203,37,99,214,74,77,163,191,209,163,175,196,225,94,88,203,118,113,35,42,19,147,170,86,232,78,33,7,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,171,140,219,128,140,131,3,187,97,251,72,226,118,33,123,233,119,15,168,62,207,63,144,242,35,77,85,136,133,245,171,241,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,26,105,126,129,71,88,40,25,114,252,209,59,201,112,125,188,210,241,149,152,107,5,70,61,123,120,66,101,8,68,90,4,0],[160,181,215,169,27,229,238,39,60,206,39,226,173,154,22,13,47,170,221,90,107,165,24,211,132,1,155,104,114,138,79,98,244,0],[160,194,199,153,182,10,12,214,172,212,44,16,21,81,40,114,232,108,24,107,207,25,110,133,6,30,118,132,47,59,124,248,96,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,46,13,134,195,190,253,23,127,87,74,32,172,99,128,69,50,136,144,119,233,85,50,12,147,97,205,16,183,204,111,88,9,0],[160,202,180,37,219,247,18,32,27,245,223,47,119,165,33,168,68,30,122,186,159,92,145,245,28,175,38,255,188,29,44,51,238,0],[160,99,1,179,155,46,168,164,77,248,176,53,97,32,219,100,183,136,231,31,82,225,215,166,48,157,13,46,91,134,254,231,203,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,27,119,121,225,73,202,223,36,212,255,183,124,167,225,19,20,184,219,112,151,228,215,11,42,23,52,147,21,60,162,229,160,0],[160,102,167,102,40,17,73,27,61,53,46,150,149,6,180,32,210,105,232,181,26,34,79,87,75,59,56,179,70,63,67,240,9,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],"keccak_data":[[249,1,49,128,160,171,140,219,128,140,131,3,187,97,251,72,226,118,33,123,233,119,15,168,62,207,63,144,242,35,77,85,136,133,245,171,241,128,128,160,26,105,126,129,71,88,40,25,114,252,209,59,201,112,125,188,210,241,149,152,107,5,70,61,123,120,66,101,8,68,90,4,160,181,215,169,27,229,238,39,60,206,39,226,173,154,22,13,47,170,221,90,107,165,24,211,132,1,155,104,114,138,79,98,244,160,194,199,153,182,10,12,214,172,212,44,16,21,81,40,114,232,108,24,107,207,25,110,133,6,30,118,132,47,59,124,248,96,128,160,46,13,134,195,190,253,23,127,87,74,32,172,99,128,69,50,136,144,119,233,85,50,12,147,97,205,16,183,204,111,88,9,160,202,180,37,219,247,18,32,27,245,223,47,119,165,33,168,68,30,122,186,159,92,145,245,28,175,38,255,188,29,44,51,238,160,99,1,179,155,46,168,164,77,248,176,53,97,32,219,100,183,136,231,31,82,225,215,166,48,157,13,46,91,134,254,231,203,128,128,160,27,119,121,225,73,202,223,36,212,255,183,124,167,225,19,20,184,219,112,151,228,215,11,42,23,52,147,21,60,162,229,160,160,102,167,102,40,17,73,27,61,53,46,150,149,6,180,32,210,105,232,181,26,34,79,87,75,59,56,179,70,63,67,240,9,128,128],[249,1,81,128,160,171,140,219,128,140,131,3,187,97,251,72,226,118,33,123,233,119,15,168,62,207,63,144,242,35,77,85,136,133,245,171,241,128,128,160,26,105,126,129,71,88,40,25,114,252,209,59,201,112,125,188,210,241,149,152,107,5,70,61,123,120,66,101,8,68,90,4,160,181,215,169,27,229,238,39,60,206,39,226,173,154,22,13,47,170,221,90,107,165,24,211,132,1,155,104,114,138,79,98,244,160,194,199,153,182,10,12,214,172,212,44,16,21,81,40,114,232,108,24,107,207,25,110,133,6,30,118,132,47,59,124,248,96,128,160,46,13,134,195,190,253,23,127,87,74,32,172,99,128,69,50,136,144,119,233,85,50,12,147,97,205,16,183,204,111,88,9,160,202,180,37,219,247,18,32,27,245,223,47,119,165,33,168,68,30,122,186,159,92,145,245,28,175,38,255,188,29,44,51,238,160,99,1,179,155,46,168,164,77,248,176,53,97,32,219,100,183,136,231,31,82,225,215,166,48,157,13,46,91,134,254,231,203,128,128,160,27,119,121,225,73,202,223,36,212,255,183,124,167,225,19,20,184,219,112,151,228,215,11,42,23,52,147,21,60,162,229,160,160,102,167,102,40,17,73,27,61,53,46,150,149,6,180,32,210,105,232,181,26,34,79,87,75,59,56,179,70,63,67,240,9,160,164,113,121,186,203,37,99,214,74,77,163,191,209,163,175,196,225,94,88,203,118,113,35,42,19,147,170,86,232,78,33,7,128]]},{"start":null,"extension_branch":null,"account":{"address":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,33],"key":[252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73],"list_rlp_bytes":[[248,105],[248,105]],"value_rlp_bytes":[[184,70],[184,70]],"value_list_rlp_bytes":[[248,68],[248,68]],"drifted_rlp_bytes":[0],"wrong_rlp_bytes":[248,105],"is_mod_extension":[false,false]},"storage":null,"mod_extension":null,"values":[[160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0],[160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[23,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0],[160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[23,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0],[160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0]],"keccak_data":[[248,105,160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,128,23,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112],[248,105,160,60,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,128,23,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,33]]},{"start":{"disable_preimage_check":false,"proof_type":"Disabled"},"extension_branch":null,"account":null,"storage":null,"mod_extension":null,"values":[[160,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],"keccak_data":[]}]
Loading

0 comments on commit 40f48ff

Please sign in to comment.