diff --git a/geth-utils/gethutil/mpt/witness/gen_witness_from_infura_blockchain_test.go b/geth-utils/gethutil/mpt/witness/gen_witness_from_infura_blockchain_test.go index 7ab979038a..39d920ab29 100644 --- a/geth-utils/gethutil/mpt/witness/gen_witness_from_infura_blockchain_test.go +++ b/geth-utils/gethutil/mpt/witness/gen_witness_from_infura_blockchain_test.go @@ -2361,7 +2361,7 @@ func TestStorageWrongExtensionNode(t *testing.T) { statedb.IntermediateRoot(false) // Returns extension node - key3 := common.HexToHash("0x1200000000000000000000000000000000000000000000000000000000000000") + key3 := common.HexToHash("0x1277000000000000000000000000000000000000000000000000000000000000") val := common.BigToHash(big.NewInt(int64(17))) trieMod := TrieModification{ @@ -2376,3 +2376,45 @@ func TestStorageWrongExtensionNode(t *testing.T) { oracle.PreventHashingInSecureTrie = false } + +func TestStorageWrongExtensionNode1(t *testing.T) { + blockNum := 0 + blockNumberParent := big.NewInt(int64(blockNum)) + blockHeaderParent := oracle.PrefetchBlock(blockNumberParent, true, nil) + database := state.NewDatabase(blockHeaderParent) + statedb, _ := state.New(blockHeaderParent.Root, database, nil) + addr := common.HexToAddress("0x40efbf12580138bc623c95757286df4e24eb81c9") + + statedb.DisableLoadingRemoteAccounts() + oracle.PreventHashingInSecureTrie = true // to store the unchanged key + + statedb.CreateAccount(addr) + statedb.IntermediateRoot(false) + + key1 := common.HexToHash("0x01230000000000000000000000000000000000000000000000000000000000000") + key2 := common.HexToHash("0x01231000000000000000000000000000000000000000000000000000000000000") + + val1 := common.HexToHash("0xCE9F6C9634165F91E22E58B90E3EDE393D959E47") + val2 := common.HexToHash("0xEC9F6C9634165F91E22E58B90E3EDE393D959E47") + + statedb.SetState(addr, key1, val1) + statedb.SetState(addr, key2, val2) + + statedb.IntermediateRoot(false) + + // Returns extension node + key3 := common.HexToHash("0x01277000000000000000000000000000000000000000000000000000000000000") + + val := common.BigToHash(big.NewInt(int64(17))) + trieMod := TrieModification{ + Type: StorageDoesNotExist, + Key: key3, + Value: val, + Address: addr, + } + trieModifications := []TrieModification{trieMod} + + prepareWitness("StorageWrongExtensionNode1", trieModifications, statedb) + + oracle.PreventHashingInSecureTrie = false +} diff --git a/geth-utils/gethutil/mpt/witness/prepare_witness.go b/geth-utils/gethutil/mpt/witness/prepare_witness.go index 83474eb4fe..30c68a3356 100644 --- a/geth-utils/gethutil/mpt/witness/prepare_witness.go +++ b/geth-utils/gethutil/mpt/witness/prepare_witness.go @@ -108,7 +108,7 @@ func obtainAccountProofAndConvertToWitness(tMod TrieModification, statedb *state cRoot := statedb.GetTrie().Hash() accountProof1, aNeighbourNode2, aExtNibbles2, isLastLeaf2, aIsNeighbourNodeHashed2, err := statedb.GetProof(addr) - check(err) + check(err) if tMod.Type == AccountDoesNotExist && len(accountProof) == 0 { // If there is only one account in the state trie and we want to prove for some @@ -524,9 +524,9 @@ func convertProofToWitness(statedb *state.StateDB, addr common.Address, addrh [] keyAfter = append(keyAfter, trie.HexToCompact(nibblesAfter)...) isExtension := true - // Dummy branch. The constraint of the branch being in the extension node and the constraint of the + // Dummy branch with no empty nodes. The constraint of the branch being in the extension node and the constraint of the // leaf being in the branch need to be disabled for this case. - branchRlp := []byte{248, 81, 160, 244, 245, 0, 27, 233, 28, 128, 158, 163, 228, 185, 193, 250, 228, 226, 205, 233, 119, 98, 15, 183, 171, 187, 182, 172, 113, 115, 190, 167, 217, 33, 211, 160, 72, 229, 31, 123, 46, 26, 63, 24, 242, 142, 183, 252, 47, 111, 99, 255, 0, 118, 149, 196, 125, 165, 118, 4, 189, 149, 202, 221, 129, 141, 240, 209, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128}; + branchRlp := []byte{249, 2, 17, 160, 215, 178, 43, 142, 72, 221, 147, 48, 230, 157, 99, 126, 109, 240, 144, 184, 54, 167, 1, 19, 157, 71, 126, 226, 97, 100, 220, 221, 118, 5, 202, 114, 160, 195, 19, 38, 251, 242, 179, 135, 46, 118, 82, 177, 213, 78, 156, 167, 171, 134, 95, 6, 233, 153, 168, 219, 176, 131, 34, 215, 213, 95, 252, 168, 165, 160, 242, 119, 75, 182, 209, 50, 158, 172, 168, 239, 218, 202, 172, 144, 155, 94, 44, 154, 149, 92, 253, 83, 150, 12, 4, 176, 33, 46, 25, 36, 170, 225, 160, 156, 18, 160, 254, 15, 159, 132, 100, 9, 112, 178, 98, 98, 93, 76, 54, 189, 166, 63, 219, 45, 193, 25, 238, 218, 78, 235, 150, 206, 67, 252, 253, 160, 100, 75, 99, 34, 122, 170, 85, 172, 143, 62, 172, 142, 154, 219, 40, 105, 162, 136, 113, 194, 41, 38, 129, 211, 105, 114, 94, 62, 145, 244, 97, 170, 160, 229, 94, 177, 9, 226, 34, 180, 156, 33, 249, 119, 163, 74, 194, 218, 172, 92, 90, 13, 44, 22, 231, 5, 100, 72, 203, 19, 192, 62, 46, 34, 34, 160, 15, 175, 179, 52, 244, 84, 197, 105, 112, 43, 252, 115, 186, 76, 237, 251, 88, 5, 62, 201, 157, 9, 7, 153, 100, 224, 202, 249, 250, 183, 125, 248, 160, 14, 229, 239, 45, 75, 116, 39, 109, 41, 89, 200, 43, 18, 94, 204, 133, 62, 175, 23, 200, 68, 93, 170, 95, 36, 226, 233, 183, 66, 98, 37, 184, 160, 6, 197, 49, 201, 57, 39, 248, 81, 26, 196, 11, 167, 230, 243, 100, 223, 97, 38, 20, 1, 226, 39, 180, 161, 172, 204, 67, 80, 173, 223, 89, 42, 160, 3, 131, 195, 206, 124, 22, 207, 14, 142, 91, 216, 135, 77, 202, 69, 1, 53, 115, 223, 85, 52, 95, 43, 227, 237, 82, 138, 95, 93, 70, 227, 232, 160, 98, 109, 64, 32, 201, 140, 205, 221, 164, 1, 209, 57, 84, 209, 249, 108, 87, 101, 70, 12, 37, 160, 114, 139, 27, 145, 104, 130, 62, 183, 150, 108, 160, 91, 17, 33, 207, 142, 243, 30, 99, 20, 173, 20, 129, 191, 59, 158, 186, 174, 22, 77, 226, 131, 140, 56, 74, 194, 53, 68, 176, 249, 189, 108, 176, 160, 39, 24, 29, 240, 236, 191, 237, 195, 74, 255, 251, 61, 19, 232, 218, 181, 111, 83, 69, 125, 70, 208, 135, 182, 81, 0, 125, 85, 38, 21, 25, 11, 160, 191, 249, 76, 252, 217, 172, 58, 95, 133, 138, 144, 243, 9, 87, 191, 253, 23, 150, 215, 186, 153, 214, 27, 17, 128, 10, 154, 202, 202, 43, 193, 173, 160, 238, 147, 22, 82, 116, 71, 41, 238, 84, 0, 62, 40, 0, 153, 205, 90, 194, 234, 61, 255, 205, 197, 55, 0, 41, 239, 197, 174, 219, 163, 6, 130, 160, 22, 99, 129, 222, 131, 163, 115, 40, 32, 94, 210, 97, 181, 141, 77, 173, 9, 184, 214, 164, 50, 44, 139, 113, 241, 255, 7, 213, 43, 8, 145, 41, 128} extNode := proof2[len(proof2)-1] // Let's name it E1 bNode := prepareBranchNode(branchRlp, branchRlp, extNode, extNode, extListRlpBytes, extValues, diff --git a/zkevm-circuits/src/mpt_circuit/helpers.rs b/zkevm-circuits/src/mpt_circuit/helpers.rs index 6ffa1c7c14..f66c782745 100644 --- a/zkevm-circuits/src/mpt_circuit/helpers.rs +++ b/zkevm-circuits/src/mpt_circuit/helpers.rs @@ -1320,6 +1320,7 @@ impl WrongLeafGadget { #[derive(Clone, Debug, Default)] pub struct WrongExtNodeGadget { is_key_equal: IsEqualGadget, + mult_without_branch_nibble: Cell, } impl WrongExtNodeGadget { @@ -1338,17 +1339,31 @@ impl WrongExtNodeGadget { let mut config = WrongExtNodeGadget::default(); circuit!([meta, cb.base], { ifx! {is_wrong_ext_case => { + config.mult_without_branch_nibble = cb.query_cell(); + // We have a key split into three parts, // meaning that the first part parity doesn't // tell us about the parity of the second part (depends on the third part as well). let data0 = [wrong_ext_middle.clone(), wrong_ext_middle_nibbles.clone()]; + + // key_data.is_odd (and key_data.num_nibbles) takes into account also the branch nibble and we do not want this, + // the actual value we need is not!(key_data.is_odd) + + // key_data.is_odd (and key_data.num_nibbles) takes into account also the branch nibble and we do not want this, + // the actual value we need is !key_data.is_odd + // key_data_prev.is_odd = true, key_data.is_odd = true -> is_key_part_odd = true + // key_data_prev.is_odd = true, key_data.is_odd = false -> is_key_part_odd = false + // key_data_prev.is_odd = false, key_data.is_odd = true -> is_key_part_odd = false + // key_data_prev.is_odd = false, key_data.is_odd = false -> is_key_part_odd = true + let is_key_part_odd = not!(xor::expr(key_data_prev.is_odd.expr(), key_data.is_odd.expr())); + let after_middle_rlc = key_data_prev.rlc.expr() + ext_key_rlc_expr( cb, wrong_ext_middle.clone(), key_data_prev.mult.expr(), - key_data.is_odd.expr(), + is_key_part_odd, key_data_prev.is_odd.expr(), data0 .iter() @@ -1359,22 +1374,25 @@ impl WrongExtNodeGadget { &cb.key_r.expr(), ); - // odd odd -> even - // odd even -> odd - // even odd -> odd - // even even -> even - let after_two_parts_is_odd = - xor::expr(key_data_prev.is_odd.expr(), key_data.is_odd.expr()); + let after_two_parts_is_odd = not!(key_data.is_odd.expr()); // The total number of nibbles is odd, thus: let third_part_is_odd = after_two_parts_is_odd.clone(); + // We cannot use key_data.mult because it takes into account also the branch nibble. + let mult = config.mult_without_branch_nibble.expr(); + ifx! {key_data.is_odd => { + require!(mult => key_data.mult.expr()); + } elsex { + require!(mult.clone() * cb.key_r.expr() => key_data.mult.expr()); + }} + let data1 = [wrong_ext_after.clone(), wrong_ext_after_nibbles.clone()]; let rlc = after_middle_rlc.clone() + ext_key_rlc_expr( cb, wrong_ext_after.clone(), - key_data.mult.expr(), + mult.clone(), third_part_is_odd, after_two_parts_is_odd, data1 @@ -1411,10 +1429,18 @@ impl WrongExtNodeGadget { key_data_prev: KeyDataWitness, ) { let items = [wrong_ext_middle.clone(), wrong_ext_middle_nibbles]; - let (after_middle_rlc, _) = ext_key_rlc_calc_value( + + // key_data.is_odd (and key_data.num_nibbles) takes into account also the branch nibble and we do not want this, + // the actual value we need is !key_data.is_odd + // key_data_prev.is_odd = true, key_data.is_odd = true -> is_key_part_odd = true + // key_data_prev.is_odd = true, key_data.is_odd = false -> is_key_part_odd = false + // key_data_prev.is_odd = false, key_data.is_odd = true -> is_key_part_odd = false + // key_data_prev.is_odd = false, key_data.is_odd = false -> is_key_part_odd = true + let is_key_part_odd = key_data_prev.is_odd == key_data.is_odd; + let after_middle_rlc = key_data_prev.rlc + ext_key_rlc_calc_value( wrong_ext_middle, key_data_prev.mult, - key_data.is_odd, + is_key_part_odd, key_data_prev.is_odd, items .iter() @@ -1423,7 +1449,18 @@ impl WrongExtNodeGadget { .try_into() .unwrap(), region.key_r, - ); + ).0; + + let mut mult = key_data.mult; + if !key_data.is_odd { + let iters = (key_data.num_nibbles - 1 - 1) / 2; // -1 because of the branch nibble, -1 because of being odd + mult = F::one(); + + for _ in 0..iters { + mult = mult * region.key_r; + } + } + let _ = self.mult_without_branch_nibble.assign(region, offset, mult); let _ = self.is_key_equal.assign( region, diff --git a/zkevm-circuits/src/mpt_circuit/storage_leaf.rs b/zkevm-circuits/src/mpt_circuit/storage_leaf.rs index 11a2dd2808..851e617d7f 100644 --- a/zkevm-circuits/src/mpt_circuit/storage_leaf.rs +++ b/zkevm-circuits/src/mpt_circuit/storage_leaf.rs @@ -296,6 +296,9 @@ impl StorageLeafConfig { let is_wrong_leaf_case = and::expr(&[config.is_non_existing_storage_proof.expr(), not!(config.parent_data[1].is_extension), not!(config.is_placeholder_leaf[1].expr())]); + require!(is_wrong_leaf_case => 0.expr()); + require!(config.is_placeholder_leaf[1].expr() => 0.expr()); + // When non-existing-proof, it needs to be one of the following cases: // (1) wrong leaf, (2) wrong extension node, (3) nil leaf - we need to check the sum of these // three cases is 1. diff --git a/zkevm-circuits/src/mpt_circuit/tests/AccountWrongExtensionNode.json b/zkevm-circuits/src/mpt_circuit/tests/AccountWrongExtensionNode.json index 64879f7d4f..8e0029087a 100644 --- a/zkevm-circuits/src/mpt_circuit/tests/AccountWrongExtensionNode.json +++ b/zkevm-circuits/src/mpt_circuit/tests/AccountWrongExtensionNode.json @@ -9,8 +9,8 @@ "storage": null, "mod_extension": null, "values": [ - "a02d76cb756b3842bc3b6ae4244c91a3cb937be8986a52335b85597a97d3cb528f00", - "a02d76cb756b3842bc3b6ae4244c91a3cb937be8986a52335b85597a97d3cb528f00" + "a0d8b86d99fd4b3f3fff7a7ede1705c2b72630b37ebbd2e81ff6081950ed8195df00", + "a0d8b86d99fd4b3f3fff7a7ede1705c2b72630b37ebbd2e81ff6081950ed8195df00" ], "keccak_data": [] }, @@ -26,6 +26,7 @@ false, false ], + "is_last_level_and_wrong_ext_case": false, "extension": { "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" }, @@ -48,10 +49,10 @@ "80000000000000000000000000000000000000000000000000000000000000000000", "80000000000000000000000000000000000000000000000000000000000000000000", "a01a697e814758281972fcd13bc9707dbcd2f195986b05463d7b78426508445a0400", - "a0b5d7a91be5ee273cce27e2ad9a160d2faadd5a6ba518d384019b68728a4f62f400", + "a0338773aaf24451c4214ca3db54a865a2f0255a7fe217ae8168b7207336f23d1400", "a0c2c799b60a0cd6acd42c1015512872e86c186bcf196e85061e76842f3b7cf86000", "80000000000000000000000000000000000000000000000000000000000000000000", - "a0967be23021569a88609525fa4c9ac65e0faf0a70eb9d3e2c1177d42a57ab0f9500", + "a02e0d86c3befd177f574a20ac63804532889077e955320c9361cd10b7cc6f580900", "80000000000000000000000000000000000000000000000000000000000000000000", "a06301b39b2ea8a44df8b0356120db64b788e71f52e1d7a6309d0d2e5b86fee7cb00", "80000000000000000000000000000000000000000000000000000000000000000000", @@ -65,8 +66,8 @@ "00000000000000000000000000000000000000000000000000000000000000000000" ], "keccak_data": [ - "f90131a0c5038909ca72e592efce930e006679592871afe7fa8dd187d52f2066ab05b097a0ab8cdb808c8303bb61fb48e276217be9770fa83ecf3f90f2234d558885f5abf18080a01a697e814758281972fcd13bc9707dbcd2f195986b05463d7b78426508445a04a0b5d7a91be5ee273cce27e2ad9a160d2faadd5a6ba518d384019b68728a4f62f4a0c2c799b60a0cd6acd42c1015512872e86c186bcf196e85061e76842f3b7cf86080a0967be23021569a88609525fa4c9ac65e0faf0a70eb9d3e2c1177d42a57ab0f9580a06301b39b2ea8a44df8b0356120db64b788e71f52e1d7a6309d0d2e5b86fee7cb8080a01b7779e149cadf24d4ffb77ca7e11314b8db7097e4d70b2a173493153ca2e5a0a066a7662811491b3d352e969506b420d269e8b51a224f574b3b38b3463f43f0098080", - "f90131a0c5038909ca72e592efce930e006679592871afe7fa8dd187d52f2066ab05b097a0ab8cdb808c8303bb61fb48e276217be9770fa83ecf3f90f2234d558885f5abf18080a01a697e814758281972fcd13bc9707dbcd2f195986b05463d7b78426508445a04a0b5d7a91be5ee273cce27e2ad9a160d2faadd5a6ba518d384019b68728a4f62f4a0c2c799b60a0cd6acd42c1015512872e86c186bcf196e85061e76842f3b7cf86080a0967be23021569a88609525fa4c9ac65e0faf0a70eb9d3e2c1177d42a57ab0f9580a06301b39b2ea8a44df8b0356120db64b788e71f52e1d7a6309d0d2e5b86fee7cb8080a01b7779e149cadf24d4ffb77ca7e11314b8db7097e4d70b2a173493153ca2e5a0a066a7662811491b3d352e969506b420d269e8b51a224f574b3b38b3463f43f0098080" + "f90131a0c5038909ca72e592efce930e006679592871afe7fa8dd187d52f2066ab05b097a0ab8cdb808c8303bb61fb48e276217be9770fa83ecf3f90f2234d558885f5abf18080a01a697e814758281972fcd13bc9707dbcd2f195986b05463d7b78426508445a04a0338773aaf24451c4214ca3db54a865a2f0255a7fe217ae8168b7207336f23d14a0c2c799b60a0cd6acd42c1015512872e86c186bcf196e85061e76842f3b7cf86080a02e0d86c3befd177f574a20ac63804532889077e955320c9361cd10b7cc6f580980a06301b39b2ea8a44df8b0356120db64b788e71f52e1d7a6309d0d2e5b86fee7cb8080a01b7779e149cadf24d4ffb77ca7e11314b8db7097e4d70b2a173493153ca2e5a0a066a7662811491b3d352e969506b420d269e8b51a224f574b3b38b3463f43f0098080", + "f90131a0c5038909ca72e592efce930e006679592871afe7fa8dd187d52f2066ab05b097a0ab8cdb808c8303bb61fb48e276217be9770fa83ecf3f90f2234d558885f5abf18080a01a697e814758281972fcd13bc9707dbcd2f195986b05463d7b78426508445a04a0338773aaf24451c4214ca3db54a865a2f0255a7fe217ae8168b7207336f23d14a0c2c799b60a0cd6acd42c1015512872e86c186bcf196e85061e76842f3b7cf86080a02e0d86c3befd177f574a20ac63804532889077e955320c9361cd10b7cc6f580980a06301b39b2ea8a44df8b0356120db64b788e71f52e1d7a6309d0d2e5b86fee7cb8080a01b7779e149cadf24d4ffb77ca7e11314b8db7097e4d70b2a173493153ca2e5a0a066a7662811491b3d352e969506b420d269e8b51a224f574b3b38b3463f43f0098080" ] }, { @@ -81,6 +82,7 @@ false, false ], + "is_last_level_and_wrong_ext_case": true, "extension": { "list_rlp_bytes": "e4" }, @@ -88,8 +90,8 @@ "modified_index": 1, "drifted_index": 1, "list_rlp_bytes": [ - "f871", - "f871" + "f90211", + "f90211" ] } }, @@ -97,31 +99,31 @@ "storage": null, "mod_extension": null, "values": [ - "a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c5695800", - "a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c5695800", - "a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c5695800", - "a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c5695800", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", + "a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a500", + "a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca7200", + "a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a500", + "a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae100", + "a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfd00", + "a0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aa00", + "a0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e222200", + "a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df800", + "a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b800", + "a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592a00", + "a00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e800", + "a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966c00", + "a05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb000", + "a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190b00", + "a0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ad00", + "a0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba3068200", + "a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912900", "82102300000000000000000000000000000000000000000000000000000000000000", "a072cb63467e9d1c8e3d7f69d2bce2b48d8f64bb442ea93c68c5b9ed122de4fe3800", "00000300000000000000000000000000000000000000000000000000000000000000", "a072cb63467e9d1c8e3d7f69d2bce2b48d8f64bb442ea93c68c5b9ed122de4fe3800" ], "keccak_data": [ - "f871a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c56958a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c56958a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c569588080808080808080808080808080", - "f871a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c56958a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c56958a034d56ff493be9f147e27d41d558c096871bf65c5169137860ba4d9f6c1c569588080808080808080808080808080", + "f90211a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca72a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a5a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae1a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfda0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aaa0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e2222a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df8a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b8a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592aa00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e8a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966ca05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb0a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190ba0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ada0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba30682a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912980", + "f90211a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca72a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a5a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae1a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfda0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aaa0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e2222a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df8a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b8a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592aa00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e8a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966ca05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb0a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190ba0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ada0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba30682a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912980", "e4821023a072cb63467e9d1c8e3d7f69d2bce2b48d8f64bb442ea93c68c5b9ed122de4fe38", "e4821023a072cb63467e9d1c8e3d7f69d2bce2b48d8f64bb442ea93c68c5b9ed122de4fe38" ] @@ -133,16 +135,16 @@ "address": "0018100000000000000000000000000000000000", "key": "0018100000000000000000000000000000000000000000000000000000000000", "list_rlp_bytes": [ - "f867", - "f867" + "f86c", + "f86c" ], "value_rlp_bytes": [ - "b846", - "b846" + "b84c", + "b84c" ], "value_list_rlp_bytes": [ - "f844", - "f844" + "f84a", + "f84a" ], "drifted_rlp_bytes": "00", "wrong_rlp_bytes": "f86c", @@ -158,28 +160,28 @@ "storage": null, "mod_extension": null, "values": [ - "9e300000000000000000000000000000000000000000000000000000000000000000", - "9e300000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", + "9d342d35c77812a50e6d16048dc6e980db2cf7daf1e702ce7df63af60f0300000000", + "9d342d35c77812a50e6d16048dc6e980db2cf7daf1e702ce7df63af60f0300000000", + "04000000000000000000000000000000000000000000000000000000000000000000", + "86559cd06c0800000000000000000000000000000000000000000000000000000000", "a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b42100", "a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", + "04000000000000000000000000000000000000000000000000000000000000000000", + "86559cd06c0800000000000000000000000000000000000000000000000000000000", "a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b42100", "a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47000", "00000000000000000000000000000000000000000000000000000000000000000000", - "a0301810000000000000000000000000000000000000000000000000000000000000", - "00000000000000000000000000000000000000000000000000000000000000000000", - "00000000000000000000000000000000000000000000000000000000000000000000", - "00000000000000000000000000000000000000000000000000000000000000000000", + "9d300000000000000000000000000000000000000000000000000000000000000000", + "a01018", + "00000800000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", + "a000100000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000" ], "keccak_data": [ - "f8679e300000000000000000000000000000000000000000000000000000000000b846f8448080a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", - "f8679e300000000000000000000000000000000000000000000000000000000000b846f8448080a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", + "f86c9d342d35c77812a50e6d16048dc6e980db2cf7daf1e702ce7df63af60f03b84cf84a0486559cd06c0800a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", + "f86c9d342d35c77812a50e6d16048dc6e980db2cf7daf1e702ce7df63af60f03b84cf84a0486559cd06c0800a056e81f171bcc55a6ff8345e692c0f86e5b48e01b996cadc001622fb5e363b421a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "0018100000000000000000000000000000000000" ] }, diff --git a/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode.json b/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode.json index 58c6c32bae..7a2aa2572a 100644 --- a/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode.json +++ b/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode.json @@ -26,6 +26,7 @@ false, false ], + "is_last_level_and_wrong_ext_case": false, "extension": { "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" }, @@ -81,6 +82,7 @@ false, false ], + "is_last_level_and_wrong_ext_case": false, "extension": { "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" }, @@ -136,6 +138,7 @@ false, false ], + "is_last_level_and_wrong_ext_case": false, "extension": { "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" }, @@ -191,6 +194,7 @@ false, false ], + "is_last_level_and_wrong_ext_case": false, "extension": { "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" }, @@ -303,15 +307,16 @@ false, false ], + "is_last_level_and_wrong_ext_case": true, "extension": { "list_rlp_bytes": "e4" }, "branch": { - "modified_index": 0, - "drifted_index": 0, + "modified_index": 7, + "drifted_index": 7, "list_rlp_bytes": [ - "f851", - "f851" + "f90211", + "f90211" ] } }, @@ -319,31 +324,31 @@ "storage": null, "mod_extension": null, "values": [ - "a0f4f5001be91d809ea3e4b9c1fae4e2cde977620fb7abbbb6ac7173bea7d921d300", - "a0f4f5001be91d809ea3e4b9c1fae4e2cde977620fb7abbbb6ac7173bea7d921d300", - "a048e51f7b2e1a3f18f28eb7fc2f6f63ff007695c47da57604bd95cadd818df0d100", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", - "80000000000000000000000000000000000000000000000000000000000000000000", + "a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b800", + "a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca7200", + "a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a500", + "a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae100", + "a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfd00", + "a0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aa00", + "a0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e222200", + "a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df800", + "a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b800", + "a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592a00", + "a00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e800", + "a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966c00", + "a05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb000", + "a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190b00", + "a0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ad00", + "a0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba3068200", + "a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912900", "82112300000000000000000000000000000000000000000000000000000000000000", "a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e3900", "00000300000000000000000000000000000000000000000000000000000000000000", "a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e3900" ], "keccak_data": [ - "f851a0f4f5001be91d809ea3e4b9c1fae4e2cde977620fb7abbbb6ac7173bea7d921d3a048e51f7b2e1a3f18f28eb7fc2f6f63ff007695c47da57604bd95cadd818df0d1808080808080808080808080808080", - "f851a0f4f5001be91d809ea3e4b9c1fae4e2cde977620fb7abbbb6ac7173bea7d921d3a048e51f7b2e1a3f18f28eb7fc2f6f63ff007695c47da57604bd95cadd818df0d1808080808080808080808080808080", + "f90211a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca72a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a5a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae1a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfda0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aaa0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e2222a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df8a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b8a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592aa00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e8a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966ca05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb0a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190ba0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ada0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba30682a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912980", + "f90211a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca72a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a5a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae1a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfda0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aaa0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e2222a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df8a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b8a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592aa00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e8a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966ca05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb0a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190ba0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ada0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba30682a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912980", "e4821123a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e39", "e4821123a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e39" ] @@ -353,15 +358,15 @@ "extension_branch": null, "account": null, "storage": { - "address": "1200000000000000000000000000000000000000000000000000000000000000", - "key": "1200000000000000000000000000000000000000000000000000000000000000", + "address": "1277000000000000000000000000000000000000000000000000000000000000", + "key": "1277000000000000000000000000000000000000000000000000000000000000", "list_rlp_bytes": [ - "f6", - "f6" + "e2", + "e2" ], "value_rlp_bytes": [ - "95", - "95" + "00", + "00" ], "drifted_rlp_bytes": "00", "wrong_rlp_bytes": "e2", @@ -376,23 +381,23 @@ }, "mod_extension": null, "values": [ - "9f200000000000000000000000000000000000000000000000000000000000000000", - "94ce9f6c9634165f91e22e58b90e3ede393d959e4700000000000000000000000000", - "9f200000000000000000000000000000000000000000000000000000000000000000", - "94ce9f6c9634165f91e22e58b90e3ede393d959e4700000000000000000000000000", - "00000000000000000000000000000000000000000000000000000000000000000000", - "a1201200000000000000000000000000000000000000000000000000000000000000", + "a1201277000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", + "a1201277000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", + "a1201277000000000000000000000000000000000000000000000000000000000000", + "a01127", + "00000700000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", + "a017000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000000000000000000" ], "keccak_data": [ - "f69f200000000000000000000000000000000000000000000000000000000000009594ce9f6c9634165f91e22e58b90e3ede393d959e47", - "f69f200000000000000000000000000000000000000000000000000000000000009594ce9f6c9634165f91e22e58b90e3ede393d959e47", - "1200000000000000000000000000000000000000000000000000000000000000" + "e2a120127700000000000000000000000000000000000000000000000000000000000000", + "e2a120127700000000000000000000000000000000000000000000000000000000000000", + "1277000000000000000000000000000000000000000000000000000000000000" ] }, { diff --git a/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode1.json b/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode1.json new file mode 100644 index 0000000000..7a2aa2572a --- /dev/null +++ b/zkevm-circuits/src/mpt_circuit/tests/StorageWrongExtensionNode1.json @@ -0,0 +1,418 @@ +[ + { + "start": { + "disable_preimage_check": true, + "proof_type": "StorageDoesNotExist" + }, + "extension_branch": null, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a09cfa792154469ff54b3768a91424e6f86e43fab348c189b266e95da89f0ff4c200", + "a09cfa792154469ff54b3768a91424e6f86e43fab348c189b266e95da89f0ff4c200" + ], + "keccak_data": [] + }, + { + "start": null, + "extension_branch": { + "is_extension": false, + "is_mod_extension": [ + false, + false + ], + "is_placeholder": [ + false, + false + ], + "is_last_level_and_wrong_ext_case": false, + "extension": { + "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" + }, + "branch": { + "modified_index": 0, + "drifted_index": 0, + "list_rlp_bytes": [ + "f90211", + "f90211" + ] + } + }, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a0a338569f5b4c2617e94d7b461980cc40f87ae677b560df6f2ff960e488ae4e1000", + "a0a338569f5b4c2617e94d7b461980cc40f87ae677b560df6f2ff960e488ae4e1000", + "a0babe369f6b12092f49181ae04ca173fb68d1a5456f18d20fa32cba73954052bd00", + "a0473ecf8a7e36a829e75039a3b055e51b8332cbf03324ab4af2066bbd6fbf002100", + "a0bbda34753d7aa6c38e603f360244e8f59611921d9e1f128372fec0d586d4f9e000", + "a04e44caecff45c9891f74f6a2156735886eedf6f1a733628ebc802ec79d84464800", + "a0a5f3f2f7542148c973977c8a1e154c4300fec92f755f7846f1b734d3ab1d90e700", + "a0e823850f50bf72baae9d1733a36a444ab65d0a6faaba404f0583ce0ca4dad92d00", + "a0f7a00cbe7d4b30b11faea3ae61b7f1f2b315b61d9f6bd68bfe587ad0eeceb72100", + "a07117ef9fc932f1a88e908eaead8565c19b5645dc9e5b1b6e841c5edbdfd7168100", + "a069eb2de283f32c11f859d7bcf93da23990d3e662935ed4d6b39ce3673ec8447200", + "a0203d26456312bbc4da5cd293b75b840fc5045e493d6f904d180823ec22bfed8e00", + "a09287b5c21f2254af4e64fca76acc5cd87399c7f1ede818db4326c98ce2dc220800", + "a06fc2d754e304c48ce6a517753c62b1a9c1d5925b89707486d7fc08919e0a94ec00", + "a07b1c54f15e299bd58bdfef9741538c7828b5d7d11a489f9c20d052b3471df47500", + "a051f9dd3739a927c89e357580a4c97b40234aa01ed3d5e0390dc982a7975880a000", + "a089d613f26159af43616fd9455bb461f4869bfede26f2130835ed067a8b967bfb00", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [ + "f90211a0a338569f5b4c2617e94d7b461980cc40f87ae677b560df6f2ff960e488ae4e10a0babe369f6b12092f49181ae04ca173fb68d1a5456f18d20fa32cba73954052bda0473ecf8a7e36a829e75039a3b055e51b8332cbf03324ab4af2066bbd6fbf0021a0bbda34753d7aa6c38e603f360244e8f59611921d9e1f128372fec0d586d4f9e0a04e44caecff45c9891f74f6a2156735886eedf6f1a733628ebc802ec79d844648a0a5f3f2f7542148c973977c8a1e154c4300fec92f755f7846f1b734d3ab1d90e7a0e823850f50bf72baae9d1733a36a444ab65d0a6faaba404f0583ce0ca4dad92da0f7a00cbe7d4b30b11faea3ae61b7f1f2b315b61d9f6bd68bfe587ad0eeceb721a07117ef9fc932f1a88e908eaead8565c19b5645dc9e5b1b6e841c5edbdfd71681a069eb2de283f32c11f859d7bcf93da23990d3e662935ed4d6b39ce3673ec84472a0203d26456312bbc4da5cd293b75b840fc5045e493d6f904d180823ec22bfed8ea09287b5c21f2254af4e64fca76acc5cd87399c7f1ede818db4326c98ce2dc2208a06fc2d754e304c48ce6a517753c62b1a9c1d5925b89707486d7fc08919e0a94eca07b1c54f15e299bd58bdfef9741538c7828b5d7d11a489f9c20d052b3471df475a051f9dd3739a927c89e357580a4c97b40234aa01ed3d5e0390dc982a7975880a0a089d613f26159af43616fd9455bb461f4869bfede26f2130835ed067a8b967bfb80", + "f90211a0a338569f5b4c2617e94d7b461980cc40f87ae677b560df6f2ff960e488ae4e10a0babe369f6b12092f49181ae04ca173fb68d1a5456f18d20fa32cba73954052bda0473ecf8a7e36a829e75039a3b055e51b8332cbf03324ab4af2066bbd6fbf0021a0bbda34753d7aa6c38e603f360244e8f59611921d9e1f128372fec0d586d4f9e0a04e44caecff45c9891f74f6a2156735886eedf6f1a733628ebc802ec79d844648a0a5f3f2f7542148c973977c8a1e154c4300fec92f755f7846f1b734d3ab1d90e7a0e823850f50bf72baae9d1733a36a444ab65d0a6faaba404f0583ce0ca4dad92da0f7a00cbe7d4b30b11faea3ae61b7f1f2b315b61d9f6bd68bfe587ad0eeceb721a07117ef9fc932f1a88e908eaead8565c19b5645dc9e5b1b6e841c5edbdfd71681a069eb2de283f32c11f859d7bcf93da23990d3e662935ed4d6b39ce3673ec84472a0203d26456312bbc4da5cd293b75b840fc5045e493d6f904d180823ec22bfed8ea09287b5c21f2254af4e64fca76acc5cd87399c7f1ede818db4326c98ce2dc2208a06fc2d754e304c48ce6a517753c62b1a9c1d5925b89707486d7fc08919e0a94eca07b1c54f15e299bd58bdfef9741538c7828b5d7d11a489f9c20d052b3471df475a051f9dd3739a927c89e357580a4c97b40234aa01ed3d5e0390dc982a7975880a0a089d613f26159af43616fd9455bb461f4869bfede26f2130835ed067a8b967bfb80" + ] + }, + { + "start": null, + "extension_branch": { + "is_extension": false, + "is_mod_extension": [ + false, + false + ], + "is_placeholder": [ + false, + false + ], + "is_last_level_and_wrong_ext_case": false, + "extension": { + "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" + }, + "branch": { + "modified_index": 15, + "drifted_index": 15, + "list_rlp_bytes": [ + "f90211", + "f90211" + ] + } + }, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a06184c5229b2aad6b212365a7fa829677c78e0404597811fdfcbe37760976468500", + "a0e45a9e85cab1b6eb18b30df2c6acc448bbac6a30d81646823b31223e16e5063e00", + "a033bd7171d556b981f6849064eb09412b24fedc0812127db936067043f53db1b900", + "a0ca56945f074da4f15587404593faf3a50d17ea0e21a418ad6ec99bdf4bf3f91400", + "a0da23e9004f782df128eea1adff77952dc85f91b7f7ca4893aac5f21d24c3a1c900", + "a0ba5ec61fa780ee02af19db99677c37560fc4f0df5c278d9dfa2837f30f72bc6b00", + "a08310ad91625c2e3429a74066b7e2e0c958325e4e7fa3ec486b73b7c8300cfef700", + "a0732e5c103bf4d5adfef83773026809d9405539b67e93293a02342e83ad2fb76600", + "a030d14ff0c2aab57d1fbaf498ab14519b4e9d94f149a3dc15f0eec5adf8df25e100", + "a038f4db0ccaf2e3ecefec2c38e903dfc52033806102d36fd2b9aa21ef5681115500", + "a05a43bd92e55aa78df60e70b6b53b6366c4080fd6a5bdd7b533b46aff4a75f6f200", + "a0a0c410aa59efe416b1213166fab680ce330bd46c3ebf877ff14609ee6a38360000", + "a02f41e918786e557293068b1eda9b3f9f86ed4e65a6a5363ee3262109f6e08b1700", + "a001f42a40f02f6f24bb97b09c4d3934e8b03be7cfbb902acc1c8fd67a7a5abace00", + "a00acbdce2787a6ea177209bd13bfc9d0779d7e2b5249e0211a2974164e14312f500", + "a0dadbe113e4132e0c0c3cd4867e0a2044d0e5a3d44b350677ed42fc9244d004d400", + "a06184c5229b2aad6b212365a7fa829677c78e0404597811fdfcbe37760976468500", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [ + "f90211a0e45a9e85cab1b6eb18b30df2c6acc448bbac6a30d81646823b31223e16e5063ea033bd7171d556b981f6849064eb09412b24fedc0812127db936067043f53db1b9a0ca56945f074da4f15587404593faf3a50d17ea0e21a418ad6ec99bdf4bf3f914a0da23e9004f782df128eea1adff77952dc85f91b7f7ca4893aac5f21d24c3a1c9a0ba5ec61fa780ee02af19db99677c37560fc4f0df5c278d9dfa2837f30f72bc6ba08310ad91625c2e3429a74066b7e2e0c958325e4e7fa3ec486b73b7c8300cfef7a0732e5c103bf4d5adfef83773026809d9405539b67e93293a02342e83ad2fb766a030d14ff0c2aab57d1fbaf498ab14519b4e9d94f149a3dc15f0eec5adf8df25e1a038f4db0ccaf2e3ecefec2c38e903dfc52033806102d36fd2b9aa21ef56811155a05a43bd92e55aa78df60e70b6b53b6366c4080fd6a5bdd7b533b46aff4a75f6f2a0a0c410aa59efe416b1213166fab680ce330bd46c3ebf877ff14609ee6a383600a02f41e918786e557293068b1eda9b3f9f86ed4e65a6a5363ee3262109f6e08b17a001f42a40f02f6f24bb97b09c4d3934e8b03be7cfbb902acc1c8fd67a7a5abacea00acbdce2787a6ea177209bd13bfc9d0779d7e2b5249e0211a2974164e14312f5a0dadbe113e4132e0c0c3cd4867e0a2044d0e5a3d44b350677ed42fc9244d004d4a06184c5229b2aad6b212365a7fa829677c78e0404597811fdfcbe37760976468580", + "f90211a0e45a9e85cab1b6eb18b30df2c6acc448bbac6a30d81646823b31223e16e5063ea033bd7171d556b981f6849064eb09412b24fedc0812127db936067043f53db1b9a0ca56945f074da4f15587404593faf3a50d17ea0e21a418ad6ec99bdf4bf3f914a0da23e9004f782df128eea1adff77952dc85f91b7f7ca4893aac5f21d24c3a1c9a0ba5ec61fa780ee02af19db99677c37560fc4f0df5c278d9dfa2837f30f72bc6ba08310ad91625c2e3429a74066b7e2e0c958325e4e7fa3ec486b73b7c8300cfef7a0732e5c103bf4d5adfef83773026809d9405539b67e93293a02342e83ad2fb766a030d14ff0c2aab57d1fbaf498ab14519b4e9d94f149a3dc15f0eec5adf8df25e1a038f4db0ccaf2e3ecefec2c38e903dfc52033806102d36fd2b9aa21ef56811155a05a43bd92e55aa78df60e70b6b53b6366c4080fd6a5bdd7b533b46aff4a75f6f2a0a0c410aa59efe416b1213166fab680ce330bd46c3ebf877ff14609ee6a383600a02f41e918786e557293068b1eda9b3f9f86ed4e65a6a5363ee3262109f6e08b17a001f42a40f02f6f24bb97b09c4d3934e8b03be7cfbb902acc1c8fd67a7a5abacea00acbdce2787a6ea177209bd13bfc9d0779d7e2b5249e0211a2974164e14312f5a0dadbe113e4132e0c0c3cd4867e0a2044d0e5a3d44b350677ed42fc9244d004d4a06184c5229b2aad6b212365a7fa829677c78e0404597811fdfcbe37760976468580" + ] + }, + { + "start": null, + "extension_branch": { + "is_extension": false, + "is_mod_extension": [ + false, + false + ], + "is_placeholder": [ + false, + false + ], + "is_last_level_and_wrong_ext_case": false, + "extension": { + "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" + }, + "branch": { + "modified_index": 2, + "drifted_index": 2, + "list_rlp_bytes": [ + "f901b1", + "f901b1" + ] + } + }, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a0d57ae600726ec499eab19bc2d1bcecaf7cb3012774f24b4b7c08e6cbb04ad24200", + "a063b12612d289f8800d79b045bfebcebfb575b1de0e105fcc6ed000a3b681218a00", + "a019d297f57cf479fc7e2d774b7fecb2c323e7cc23c0865b4f39843d8d755eb3e800", + "a0d57ae600726ec499eab19bc2d1bcecaf7cb3012774f24b4b7c08e6cbb04ad24200", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a087e1e054dc75d06145bf158b7c746d35586ea0ea64b4943b092c7657f268a11000", + "a049b3e569f9d418875fd44d4229cf721b7279e987addbd33ccd400ca5ed5fa61500", + "a0dbe00d606478b8e631b340e94a0ce269f784cc8eb28a404324ebf9fdfb4df96400", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a0903ba3bcfdd428a7ccd89390cea3c243dbff5041423e0be3729bb54444805ecc00", + "a0cd3f06248b9f8b5144e2a3e4d00bcd716f912dbba8cc2df0192d42468289295100", + "a063c3b649ef9f70cb8bc3e17a9c97bebdca7c6d278f0e91b8860d6d4ae4996d5100", + "a0fd2dfee971a13227c533b827c63de3946c2f13d54e15a3295856f93f793f4bca00", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a07da50003001a681080d1857e5bb585522c7869aa1ac71f1d8625a6220ff9b0be00", + "a080f0de734d631d5e27e1bb7b5712461617aa759e7d80fcea708345443bd1165500", + "a07f64010b162255f7b3cb0a3c58691fc4de275bf09d43ed597a983ff5ddaf153400", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [ + "f901b1a063b12612d289f8800d79b045bfebcebfb575b1de0e105fcc6ed000a3b681218aa019d297f57cf479fc7e2d774b7fecb2c323e7cc23c0865b4f39843d8d755eb3e8a0d57ae600726ec499eab19bc2d1bcecaf7cb3012774f24b4b7c08e6cbb04ad24280a087e1e054dc75d06145bf158b7c746d35586ea0ea64b4943b092c7657f268a110a049b3e569f9d418875fd44d4229cf721b7279e987addbd33ccd400ca5ed5fa615a0dbe00d606478b8e631b340e94a0ce269f784cc8eb28a404324ebf9fdfb4df96480a0903ba3bcfdd428a7ccd89390cea3c243dbff5041423e0be3729bb54444805ecca0cd3f06248b9f8b5144e2a3e4d00bcd716f912dbba8cc2df0192d424682892951a063c3b649ef9f70cb8bc3e17a9c97bebdca7c6d278f0e91b8860d6d4ae4996d51a0fd2dfee971a13227c533b827c63de3946c2f13d54e15a3295856f93f793f4bca80a07da50003001a681080d1857e5bb585522c7869aa1ac71f1d8625a6220ff9b0bea080f0de734d631d5e27e1bb7b5712461617aa759e7d80fcea708345443bd11655a07f64010b162255f7b3cb0a3c58691fc4de275bf09d43ed597a983ff5ddaf153480", + "f901b1a063b12612d289f8800d79b045bfebcebfb575b1de0e105fcc6ed000a3b681218aa019d297f57cf479fc7e2d774b7fecb2c323e7cc23c0865b4f39843d8d755eb3e8a0d57ae600726ec499eab19bc2d1bcecaf7cb3012774f24b4b7c08e6cbb04ad24280a087e1e054dc75d06145bf158b7c746d35586ea0ea64b4943b092c7657f268a110a049b3e569f9d418875fd44d4229cf721b7279e987addbd33ccd400ca5ed5fa615a0dbe00d606478b8e631b340e94a0ce269f784cc8eb28a404324ebf9fdfb4df96480a0903ba3bcfdd428a7ccd89390cea3c243dbff5041423e0be3729bb54444805ecca0cd3f06248b9f8b5144e2a3e4d00bcd716f912dbba8cc2df0192d424682892951a063c3b649ef9f70cb8bc3e17a9c97bebdca7c6d278f0e91b8860d6d4ae4996d51a0fd2dfee971a13227c533b827c63de3946c2f13d54e15a3295856f93f793f4bca80a07da50003001a681080d1857e5bb585522c7869aa1ac71f1d8625a6220ff9b0bea080f0de734d631d5e27e1bb7b5712461617aa759e7d80fcea708345443bd11655a07f64010b162255f7b3cb0a3c58691fc4de275bf09d43ed597a983ff5ddaf153480" + ] + }, + { + "start": null, + "extension_branch": { + "is_extension": false, + "is_mod_extension": [ + false, + false + ], + "is_placeholder": [ + false, + false + ], + "is_last_level_and_wrong_ext_case": false, + "extension": { + "list_rlp_bytes": "00000000000000000000000000000000000000000000000000000000000000000000" + }, + "branch": { + "modified_index": 6, + "drifted_index": 6, + "list_rlp_bytes": [ + "f891", + "f891" + ] + } + }, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a0aa6f12742de82c56b0091bd3c424a8d8e3f455cf704968d3f3e7bbdb86e97f7100", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a0ee9ac94d62c4c8cc79dd318661e827a072a08d1e72fc1ad61c3a34e22ec9b16300", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a0aa6f12742de82c56b0091bd3c424a8d8e3f455cf704968d3f3e7bbdb86e97f7100", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a0dae35f34d52d840f886acc959882bd4bc3efd964258348cc12ea17a3c798e3bf00", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a09c8b167e43eb32dffe9cb219d0851375a4aa157b0a6596c2bad23599575e586f00", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [ + "f8918080a0ee9ac94d62c4c8cc79dd318661e827a072a08d1e72fc1ad61c3a34e22ec9b163808080a0aa6f12742de82c56b0091bd3c424a8d8e3f455cf704968d3f3e7bbdb86e97f718080a0dae35f34d52d840f886acc959882bd4bc3efd964258348cc12ea17a3c798e3bf808080a09c8b167e43eb32dffe9cb219d0851375a4aa157b0a6596c2bad23599575e586f808080", + "f8918080a0ee9ac94d62c4c8cc79dd318661e827a072a08d1e72fc1ad61c3a34e22ec9b163808080a0aa6f12742de82c56b0091bd3c424a8d8e3f455cf704968d3f3e7bbdb86e97f718080a0dae35f34d52d840f886acc959882bd4bc3efd964258348cc12ea17a3c798e3bf808080a09c8b167e43eb32dffe9cb219d0851375a4aa157b0a6596c2bad23599575e586f808080" + ] + }, + { + "start": null, + "extension_branch": null, + "account": { + "address": "40efbf12580138bc623c95757286df4e24eb81c9", + "key": "0f266f5398c792c50d07f79e8dec3c1da167a9a305a781a8f9c263fbbc066c6e", + "list_rlp_bytes": [ + "f868", + "f868" + ], + "value_rlp_bytes": [ + "b846", + "b846" + ], + "value_list_rlp_bytes": [ + "f844", + "f844" + ], + "drifted_rlp_bytes": "00", + "wrong_rlp_bytes": "f868", + "is_mod_extension": [ + false, + false + ], + "mod_list_rlp_bytes": [ + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "storage": null, + "mod_extension": null, + "values": [ + "9f206f5398c792c50d07f79e8dec3c1da167a9a305a781a8f9c263fbbc066c6e0000", + "9f206f5398c792c50d07f79e8dec3c1da167a9a305a781a8f9c263fbbc066c6e0000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a0ff54dd129857d7eb12d75c536439aef73d55019a84c862bacec6888f5ef9c50500", + "a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "80000000000000000000000000000000000000000000000000000000000000000000", + "a0ff54dd129857d7eb12d75c536439aef73d55019a84c862bacec6888f5ef9c50500", + "a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "9f206f5398c792c50d07f79e8dec3c1da167a9a305a781a8f9c263fbbc066c6e0000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [ + "f8689f206f5398c792c50d07f79e8dec3c1da167a9a305a781a8f9c263fbbc066c6eb846f8448080a0ff54dd129857d7eb12d75c536439aef73d55019a84c862bacec6888f5ef9c505a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", + "f8689f206f5398c792c50d07f79e8dec3c1da167a9a305a781a8f9c263fbbc066c6eb846f8448080a0ff54dd129857d7eb12d75c536439aef73d55019a84c862bacec6888f5ef9c505a0c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", + "40efbf12580138bc623c95757286df4e24eb81c9" + ] + }, + { + "start": null, + "extension_branch": { + "is_extension": true, + "is_mod_extension": [ + false, + false + ], + "is_placeholder": [ + false, + false + ], + "is_last_level_and_wrong_ext_case": true, + "extension": { + "list_rlp_bytes": "e4" + }, + "branch": { + "modified_index": 7, + "drifted_index": 7, + "list_rlp_bytes": [ + "f90211", + "f90211" + ] + } + }, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b800", + "a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca7200", + "a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a500", + "a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae100", + "a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfd00", + "a0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aa00", + "a0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e222200", + "a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df800", + "a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b800", + "a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592a00", + "a00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e800", + "a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966c00", + "a05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb000", + "a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190b00", + "a0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ad00", + "a0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba3068200", + "a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912900", + "82112300000000000000000000000000000000000000000000000000000000000000", + "a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e3900", + "00000300000000000000000000000000000000000000000000000000000000000000", + "a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e3900" + ], + "keccak_data": [ + "f90211a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca72a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a5a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae1a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfda0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aaa0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e2222a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df8a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b8a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592aa00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e8a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966ca05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb0a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190ba0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ada0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba30682a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912980", + "f90211a0d7b22b8e48dd9330e69d637e6df090b836a701139d477ee26164dcdd7605ca72a0c31326fbf2b3872e7652b1d54e9ca7ab865f06e999a8dbb08322d7d55ffca8a5a0f2774bb6d1329eaca8efdacaac909b5e2c9a955cfd53960c04b0212e1924aae1a09c12a0fe0f9f84640970b262625d4c36bda63fdb2dc119eeda4eeb96ce43fcfda0644b63227aaa55ac8f3eac8e9adb2869a28871c2292681d369725e3e91f461aaa0e55eb109e222b49c21f977a34ac2daac5c5a0d2c16e7056448cb13c03e2e2222a00fafb334f454c569702bfc73ba4cedfb58053ec99d09079964e0caf9fab77df8a00ee5ef2d4b74276d2959c82b125ecc853eaf17c8445daa5f24e2e9b7426225b8a006c531c93927f8511ac40ba7e6f364df61261401e227b4a1accc4350addf592aa00383c3ce7c16cf0e8e5bd8874dca45013573df55345f2be3ed528a5f5d46e3e8a0626d4020c98ccddda401d13954d1f96c5765460c25a0728b1b9168823eb7966ca05b1121cf8ef31e6314ad1481bf3b9ebaae164de2838c384ac23544b0f9bd6cb0a027181df0ecbfedc34afffb3d13e8dab56f53457d46d087b651007d552615190ba0bff94cfcd9ac3a5f858a90f30957bffd1796d7ba99d61b11800a9acaca2bc1ada0ee931652744729ee54003e280099cd5ac2ea3dffcdc5370029efc5aedba30682a0166381de83a37328205ed261b58d4dad09b8d6a4322c8b71f1ff07d52b08912980", + "e4821123a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e39", + "e4821123a01878e8bf339547d494447a5bb5879c5258e73d54144731c8222c278380c05e39" + ] + }, + { + "start": null, + "extension_branch": null, + "account": null, + "storage": { + "address": "1277000000000000000000000000000000000000000000000000000000000000", + "key": "1277000000000000000000000000000000000000000000000000000000000000", + "list_rlp_bytes": [ + "e2", + "e2" + ], + "value_rlp_bytes": [ + "00", + "00" + ], + "drifted_rlp_bytes": "00", + "wrong_rlp_bytes": "e2", + "is_mod_extension": [ + false, + false + ], + "mod_list_rlp_bytes": [ + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ] + }, + "mod_extension": null, + "values": [ + "a1201277000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "a1201277000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "a1201277000000000000000000000000000000000000000000000000000000000000", + "a01127", + "00000700000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "a017000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000", + "00000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [ + "e2a120127700000000000000000000000000000000000000000000000000000000000000", + "e2a120127700000000000000000000000000000000000000000000000000000000000000", + "1277000000000000000000000000000000000000000000000000000000000000" + ] + }, + { + "start": { + "disable_preimage_check": false, + "proof_type": "Disabled" + }, + "extension_branch": null, + "account": null, + "storage": null, + "mod_extension": null, + "values": [ + "a0000000000000000000000000000000000000000000000000000000000000000000", + "a0000000000000000000000000000000000000000000000000000000000000000000" + ], + "keccak_data": [] + } +] \ No newline at end of file