Skip to content

Commit

Permalink
Minor
Browse files Browse the repository at this point in the history
  • Loading branch information
wborgeaud committed Aug 31, 2023
1 parent c34d871 commit 0027f06
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions evm/src/recursive_verifier.rs
Original file line number Diff line number Diff line change
Expand Up @@ -509,7 +509,7 @@ pub(crate) fn get_memory_extra_looking_products_circuit<
let mut product = builder.one();

// Add metadata writes.
let block_fields_without_arrays = [
let block_fields_scalars = [
(
GlobalMetadata::BlockTimestamp as usize,
public_values.block_metadata.block_timestamp,
Expand Down Expand Up @@ -540,7 +540,7 @@ pub(crate) fn get_memory_extra_looking_products_circuit<
&public_values.block_metadata.block_beneficiary,
);

block_fields_without_arrays.map(|(field, target)| {
block_fields_scalars.map(|(field, target)| {
// Each of those fields fit in 32 bits, hence in a single Target.
product = add_metadata_write(builder, challenge, product, field, &[target]);
});
Expand All @@ -549,15 +549,16 @@ pub(crate) fn get_memory_extra_looking_products_circuit<
builder,
challenge,
product,
GlobalMetadata::BlockBaseFee as usize,
&public_values.block_metadata.block_base_fee,
GlobalMetadata::BlockRandom as usize,
&public_values.block_metadata.block_random,
);

product = add_metadata_write(
builder,
challenge,
product,
GlobalMetadata::BlockRandom as usize,
&public_values.block_metadata.block_random,
GlobalMetadata::BlockBaseFee as usize,
&public_values.block_metadata.block_base_fee,
);

// Add trie roots writes.
Expand Down

0 comments on commit 0027f06

Please sign in to comment.