logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-04 14:53:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Replace genesis state trie check with TODO

Browse Source
This commit is contained in:
Linda Guiga 2023-09-06 15:12:00 +01:00
parent 6bd17e29c1
commit d4b71c5686
No known key found for this signature in database
1 changed files with 1 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
evm/src/fixed_recursive_verifier.rs
View File

@ -756,15 +756,7 @@ where
let gen_block_constr = builder.mul(has_not_parent_block, rhs.block_metadata.block_number);
builder.connect(gen_block_constr, zero);
// Check that the genesis block has empty state trie.
let initial_trie = HashedPartialTrie::from(Node::Empty).hash();
for (i, limb) in h256_limbs::<F>(initial_trie).into_iter().enumerate() {
let limb_target = builder.constant(limb);
let mut temp = builder.sub(rhs.trie_roots_before.state_root[i], limb_target);
temp = builder.mul(has_not_parent_block, temp);
builder.connect(temp, zero);
}
// TODO: Check that the genesis block has a predetermined state trie root.
}
fn connect_final_block_values_to_intermediary(