From 75c0e47a3007d33681620c845bf8fc15bcd04f6c Mon Sep 17 00:00:00 2001 From: Linda Guiga Date: Tue, 26 Sep 2023 12:21:29 -0400 Subject: [PATCH] Apply comments. --- evm/src/fixed_recursive_verifier.rs | 5 ++++- evm/src/proof.rs | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/evm/src/fixed_recursive_verifier.rs b/evm/src/fixed_recursive_verifier.rs index 0e77e571..dffbd245 100644 --- a/evm/src/fixed_recursive_verifier.rs +++ b/evm/src/fixed_recursive_verifier.rs @@ -659,6 +659,9 @@ where for (&limb0, &limb1) in pvs.genesis_state_root.iter().zip(&rhs.genesis_state_root) { builder.connect(limb0, limb1); } + for (&limb0, &limb1) in pvs.genesis_state_root.iter().zip(&lhs.genesis_state_root) { + builder.connect(limb0, limb1); + } // Connect the transaction number in public values to the lhs and rhs values correctly. builder.connect(pvs.txn_number_before, lhs.txn_number_before); @@ -820,7 +823,7 @@ where let zero = builder.zero(); let has_not_parent_block = builder.sub(one, has_parent_block.target); - // Chack that the genesis block number is 0. + // Check that the genesis block number is 0. let gen_block_constr = builder.mul(has_not_parent_block, rhs.block_metadata.block_number); builder.connect(gen_block_constr, zero); diff --git a/evm/src/proof.rs b/evm/src/proof.rs index 71b2feb4..b3020fe6 100644 --- a/evm/src/proof.rs +++ b/evm/src/proof.rs @@ -118,7 +118,7 @@ pub struct BlockMetadata { /// unlike `BlockMetadata`. #[derive(Debug, Clone, Default, Deserialize, Serialize)] pub struct ExtraBlockData { - /// The state trie digest of the gensis block. + /// The state trie digest of the genesis block. pub genesis_state_root: H256, /// The transaction count prior execution of the local state transition, starting /// at 0 for the initial transaction of a block.