From d4b71c56864809b5039687359ecf31c29ec1c1f2 Mon Sep 17 00:00:00 2001 From: Linda Guiga Date: Wed, 6 Sep 2023 15:12:00 +0100 Subject: [PATCH] Replace genesis state trie check with TODO --- evm/src/fixed_recursive_verifier.rs | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/evm/src/fixed_recursive_verifier.rs b/evm/src/fixed_recursive_verifier.rs index 41c1d217..59b60263 100644 --- a/evm/src/fixed_recursive_verifier.rs +++ b/evm/src/fixed_recursive_verifier.rs @@ -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::(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(