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

Commit

Permalink
Short ext. node is branch case implemented
Browse files Browse the repository at this point in the history
  • Loading branch information
@miha-stopar
miha-stopar committed Nov 9, 2023
1 parent 688e611 commit 2c73d0b
Show file tree
Hide file tree
Showing 3 changed files with 12 additions and 8 deletions.
17 changes: 10 additions & 7 deletions zkevm-circuits/src/mpt_circuit/mod_extension.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,7 @@ impl<F: Field> ModExtensionGadget<F> {
.rlc_chain_rev(rlp_value[1].rlc_chain_data());
let node_rlc = vec![node_rlc_s.expr(), node_rlc_c.expr()];

// TODO: make it boolean
let is_short_not_branch = node_rlc_s.expr() - node_rlc_c.expr();

for is_s in [true, false] {
Expand Down Expand Up @@ -156,16 +157,18 @@ impl<F: Field> ModExtensionGadget<F> {
} elsex {
if is_s {
ifx!{or::expr(&[parent_data[is_s.idx()].is_root.expr(), not!(is_not_hashed)]) => {
// Hashed branch hash in long extension is in parent branch
require!(vec![1.expr(), rlc.expr(), num_bytes.expr(), parent_data_lo[is_s.idx()].clone(), parent_data_hi[is_s.idx()].clone()] => @KECCAK);
} elsex {
// Non-hashed branch hash in parent branch
require!(rlc => parent_data_rlc);
}}
} else {
let branch_rlp_rlc = rlp_value[0].rlc_rlp();
// TODO:
// require!(branch_rlp_rlc => parent_data[1].rlc);
ifx!{or::expr(&[parent_data[is_s.idx()].is_root.expr(), not!(is_not_hashed)]) => {
let branch_rlp_word = rlp_value[1].word();
require!(branch_rlp_word.lo() => parent_data_lo[1]);
require!(branch_rlp_word.hi() => parent_data_hi[1]);
} elsex {
require!(rlp_value[1].rlc_rlp() => parent_data_rlc);
}}
}
}}
}
Expand All @@ -189,7 +192,7 @@ impl<F: Field> ModExtensionGadget<F> {

let data1 = [key_items[1].clone(), key_nibbles[1].clone()];

let rlc_after_short = middle_key_rlc + ext_key_rlc_expr(
let rlc_after_short = middle_key_rlc.clone() + ext_key_rlc_expr(
cb,
config.rlp_key[1].key_value.clone(),
middle_key_mult,
Expand All @@ -207,7 +210,7 @@ impl<F: Field> ModExtensionGadget<F> {
ifx! {is_short_not_branch => {
require!(rlc_after_short => nibbles_rlc_long);
} elsex {
// TODO
require!(middle_key_rlc => nibbles_rlc_long);
}}
});

Expand Down
1 change: 1 addition & 0 deletions zkevm-circuits/src/mpt_circuit/tests/ExtNodeDeletedExtShortIsBranchFirstLevel.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
[{"start":{"disable_preimage_check":true,"proof_type":"StorageChanged"},"extension_branch":null,"account":null,"storage":null,"values":[[160,175,199,51,27,156,13,68,237,27,135,191,171,159,9,208,52,181,4,244,210,174,49,163,38,67,2,223,174,141,226,209,40,0],[160,51,176,150,181,51,110,107,44,247,72,103,248,234,134,105,123,251,201,100,135,111,176,189,12,54,35,12,55,97,83,101,45,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":13,"drifted_index":13,"list_rlp_bytes":[[249,1,17],[249,1,17]]}},"account":null,"storage":null,"values":[[160,180,206,245,186,122,74,66,176,230,188,35,215,10,200,210,7,117,72,46,202,162,186,30,147,37,194,88,9,139,56,124,18,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],[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,93,94,172,89,220,115,70,151,66,163,74,61,56,217,80,1,102,3,191,204,142,10,161,245,105,175,119,17,184,106,227,35,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,155,3,252,45,227,201,54,50,155,142,132,235,171,214,51,237,42,150,18,39,116,35,112,5,230,179,231,26,18,0,46,252,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,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,128,160,93,94,172,89,220,115,70,151,66,163,74,61,56,217,80,1,102,3,191,204,142,10,161,245,105,175,119,17,184,106,227,35,128,128,160,155,3,252,45,227,201,54,50,155,142,132,235,171,214,51,237,42,150,18,39,116,35,112,5,230,179,231,26,18,0,46,252,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,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,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,128,160,93,94,172,89,220,115,70,151,66,163,74,61,56,217,80,1,102,3,191,204,142,10,161,245,105,175,119,17,184,106,227,35,128,128,160,180,206,245,186,122,74,66,176,230,188,35,215,10,200,210,7,117,72,46,202,162,186,30,147,37,194,88,9,139,56,124,18,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]]},{"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":14,"drifted_index":14,"list_rlp_bytes":[[248,81],[248,81]]}},"account":null,"storage":null,"values":[[160,117,25,102,72,147,17,163,221,77,168,209,116,199,70,248,0,251,188,90,1,79,249,91,168,162,102,147,69,72,120,106,69,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],[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],[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,237,47,186,19,31,173,234,222,177,8,47,86,95,255,22,206,176,8,246,147,5,110,49,64,32,71,22,192,115,156,241,224,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],[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],[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],[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,221,13,0,193,127,196,174,235,241,138,16,177,195,139,198,61,183,197,7,132,90,221,184,155,56,251,150,141,224,190,194,183,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":[[248,81,128,128,128,128,128,160,237,47,186,19,31,173,234,222,177,8,47,86,95,255,22,206,176,8,246,147,5,110,49,64,32,71,22,192,115,156,241,224,128,128,128,128,128,128,128,128,160,221,13,0,193,127,196,174,235,241,138,16,177,195,139,198,61,183,197,7,132,90,221,184,155,56,251,150,141,224,190,194,183,128,128],[248,81,128,128,128,128,128,160,237,47,186,19,31,173,234,222,177,8,47,86,95,255,22,206,176,8,246,147,5,110,49,64,32,71,22,192,115,156,241,224,128,128,128,128,128,128,128,128,160,117,25,102,72,147,17,163,221,77,168,209,116,199,70,248,0,251,188,90,1,79,249,91,168,162,102,147,69,72,120,106,69,128,128]]},{"start":null,"extension_branch":null,"account":{"address":[80,239,191,18,88,1,56,188,98,60,149,117,114,134,223,78,36,235,129,201],"key":[222,120,246,184,198,61,33,45,197,58,196,129,133,210,48,128,228,223,90,105,143,227,55,221,219,111,227,231,120,76,129,184],"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],"mod_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],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]]},"storage":null,"values":[[160,32,120,246,184,198,61,33,45,197,58,196,129,133,210,48,128,228,223,90,105,143,227,55,221,219,111,227,231,120,76,129,184,0],[160,32,120,246,184,198,61,33,45,197,58,196,129,133,210,48,128,228,223,90,105,143,227,55,221,219,111,227,231,120,76,129,184,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,11,178,105,91,249,11,245,235,73,205,84,200,65,160,192,2,220,110,88,124,202,18,249,152,34,52,28,126,135,113,207,58,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],[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,246,102,30,54,237,94,249,251,154,244,204,174,188,224,179,80,174,42,63,102,185,183,29,212,54,224,9,177,195,133,1,240,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,32,120,246,184,198,61,33,45,197,58,196,129,133,210,48,128,228,223,90,105,143,227,55,221,219,111,227,231,120,76,129,184,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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":[[248,105,160,32,120,246,184,198,61,33,45,197,58,196,129,133,210,48,128,228,223,90,105,143,227,55,221,219,111,227,231,120,76,129,184,184,70,248,68,128,128,160,11,178,105,91,249,11,245,235,73,205,84,200,65,160,192,2,220,110,88,124,202,18,249,152,34,52,28,126,135,113,207,58,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,32,120,246,184,198,61,33,45,197,58,196,129,133,210,48,128,228,223,90,105,143,227,55,221,219,111,227,231,120,76,129,184,184,70,248,68,128,128,160,246,102,30,54,237,94,249,251,154,244,204,174,188,224,179,80,174,42,63,102,185,183,29,212,54,224,9,177,195,133,1,240,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],[80,239,191,18,88,1,56,188,98,60,149,117,114,134,223,78,36,235,129,201]]},{"start":null,"extension_branch":{"is_extension":true,"is_mod_extension":[false,true],"is_placeholder":[false,true],"extension":{"list_rlp_bytes":[229]},"branch":{"modified_index":1,"drifted_index":6,"list_rlp_bytes":[[248,81],[248,81]]}},"account":null,"storage":null,"values":[[160,2,50,10,210,25,36,152,83,55,125,18,76,94,70,238,236,89,90,43,64,67,25,196,176,175,54,98,252,160,226,12,227,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,2,50,10,210,25,36,152,83,55,125,18,76,94,70,238,236,89,90,43,64,67,25,196,176,175,54,98,252,160,226,12,227,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],[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,129,192,229,237,130,154,179,104,181,83,253,103,165,58,166,155,63,205,243,18,23,19,189,98,206,188,9,148,157,63,149,146,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],[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],[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],[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],[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],[131,0,35,69,0,0,0,0,0,0,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,61,172,83,98,253,152,165,46,168,80,232,39,36,48,38,133,237,59,55,252,167,22,238,61,238,39,151,175,241,101,129,169,0],[0,0,3,5,0,0,0,0,0,0,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,61,172,83,98,253,152,165,46,168,80,232,39,36,48,38,133,237,59,55,252,167,22,238,61,238,39,151,175,241,101,129,169,0]],"keccak_data":[[248,81,128,160,2,50,10,210,25,36,152,83,55,125,18,76,94,70,238,236,89,90,43,64,67,25,196,176,175,54,98,252,160,226,12,227,128,128,128,128,160,129,192,229,237,130,154,179,104,181,83,253,103,165,58,166,155,63,205,243,18,23,19,189,98,206,188,9,148,157,63,149,146,128,128,128,128,128,128,128,128,128,128],[248,81,128,160,2,50,10,210,25,36,152,83,55,125,18,76,94,70,238,236,89,90,43,64,67,25,196,176,175,54,98,252,160,226,12,227,128,128,128,128,160,129,192,229,237,130,154,179,104,181,83,253,103,165,58,166,155,63,205,243,18,23,19,189,98,206,188,9,148,157,63,149,146,128,128,128,128,128,128,128,128,128,128],[229,131,0,35,69,160,61,172,83,98,253,152,165,46,168,80,232,39,36,48,38,133,237,59,55,252,167,22,238,61,238,39,151,175,241,101,129,169],[229,131,0,35,69,160,61,172,83,98,253,152,165,46,168,80,232,39,36,48,38,133,237,59,55,252,167,22,238,61,238,39,151,175,241,101,129,169]]},{"start":null,"extension_branch":null,"account":null,"storage":{"address":[35,69,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"key":[35,69,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"list_rlp_bytes":[[248,65],[224]],"value_rlp_bytes":[[161],[0]],"drifted_rlp_bytes":[0],"wrong_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],"is_mod_extension":[false,true],"mod_list_rlp_bytes":[[229],[229]]},"values":[[158,48,0,0,0,0,0,0,0,0,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,187,239,170,18,88,1,56,188,38,60,149,117,120,38,223,78,36,235,129,201,170,170,170,170,170,170,170,170,170,170,170,171,0],[158,48,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[131,18,52,86,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4,6,0,0,0,0,0,0,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,129,192,229,237,130,154,179,104,181,83,253,103,165,58,166,155,63,205,243,18,23,19,189,98,206,188,9,148,157,63,149,146,0],[131,18,52,86,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,4,6,0,0,0,0,0,0,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,129,192,229,237,130,154,179,104,181,83,253,103,165,58,166,155,63,205,243,18,23,19,189,98,206,188,9,148,157,63,149,146,0]],"keccak_data":[[248,65,158,48,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,161,160,187,239,170,18,88,1,56,188,38,60,149,117,120,38,223,78,36,235,129,201,170,170,170,170,170,170,170,170,170,170,170,171],[248,65,158,48,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,161,160,187,239,170,18,88,1,56,188,38,60,149,117,120,38,223,78,36,235,129,201,170,170,170,170,170,170,170,170,170,170,170,171],[35,69,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[229,131,18,52,86,160,129,192,229,237,130,154,179,104,181,83,253,103,165,58,166,155,63,205,243,18,23,19,189,98,206,188,9,148,157,63,149,146],[]]},{"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":[]}]
Loading

0 comments on commit 2c73d0b

Please sign in to comment.