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

Apply comments.

Browse Source
This commit is contained in:
Linda Guiga 2023-09-26 12:21:29 -04:00
parent 3983969ce9
commit 75c0e47a30
No known key found for this signature in database
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
evm/src/fixed_recursive_verifier.rs
View File

@ -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);

2
evm/src/proof.rs
View File

@ -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.