Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
sai-deng committed Oct 3, 2024
1 parent a36c5f7 commit 640bae1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion evm_arithmetization/src/verifier.rs
Original file line number Diff line number Diff line change
Expand Up @@ -126,7 +126,7 @@ fn verify_proof<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const
stark_challenges,
ctl_challenges,
} = all_proof
.get_challenges(config, all_proof.use_keccak_tables)
.get_challenges(config)
.map_err(|_| anyhow::Error::msg("Invalid sampling of proof challenges."))?;

let num_lookup_columns = all_stark.num_lookups_helper_columns(config);
Expand Down

0 comments on commit 640bae1

Please sign in to comment.