From bd738399dddefe2a3b95430befcafeaa321f7cc9 Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Thu, 26 May 2022 20:44:59 +0200 Subject: [PATCH] Clippy --- evm/src/all_stark.rs | 2 +- evm/src/cross_table_lookup.rs | 2 +- evm/src/permutation.rs | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/evm/src/all_stark.rs b/evm/src/all_stark.rs index 280d32ce..0448ab52 100644 --- a/evm/src/all_stark.rs +++ b/evm/src/all_stark.rs @@ -122,7 +122,7 @@ mod tests { let proof = prove::( &all_stark, - &config, + config, vec![cpu_trace, keccak_trace], vec![vec![]; 2], &mut TimingTree::default(), diff --git a/evm/src/cross_table_lookup.rs b/evm/src/cross_table_lookup.rs index 10f6fd3d..d29958be 100644 --- a/evm/src/cross_table_lookup.rs +++ b/evm/src/cross_table_lookup.rs @@ -413,7 +413,7 @@ pub(crate) fn verify_cross_table_lookups_circuit< let challenge = challenges.challenges[i % inner_config.num_challenges]; let default = default .into_iter() - .map(|x| builder.constant(x.into())) + .map(|x| builder.constant(x)) .collect::>(); let combined_default = challenge.combine_base_circuit(builder, &default); diff --git a/evm/src/permutation.rs b/evm/src/permutation.rs index 994ad6b9..a951489b 100644 --- a/evm/src/permutation.rs +++ b/evm/src/permutation.rs @@ -69,7 +69,7 @@ impl GrandProductChallenge { } impl GrandProductChallenge { - pub(crate) fn combine_circuit<'a, F: RichField + Extendable, const D: usize>( + pub(crate) fn combine_circuit, const D: usize>( &self, builder: &mut CircuitBuilder, terms: &[ExtensionTarget], @@ -80,7 +80,7 @@ impl GrandProductChallenge { builder.add_extension(reduced, self.gamma.to_ext_target(zero)) } - pub(crate) fn combine_base_circuit<'a, F: RichField + Extendable, const D: usize>( + pub(crate) fn combine_base_circuit, const D: usize>( &self, builder: &mut CircuitBuilder, terms: &[Target],