diff --git a/halo2_proofs/src/plonk.rs b/halo2_proofs/src/plonk.rs index ad0e80362..72305731e 100644 --- a/halo2_proofs/src/plonk.rs +++ b/halo2_proofs/src/plonk.rs @@ -228,7 +228,8 @@ impl VerifyingKey { + self.permutation.bytes_length(format) + self.selectors.len() * (self - .selectors.first() + .selectors + .first() .map(|selector| (selector.len() + 7) / 8) .unwrap_or(0)) } diff --git a/halo2_proofs/src/plonk/mv_lookup.rs b/halo2_proofs/src/plonk/mv_lookup.rs index d66983c4b..c8a947f88 100644 --- a/halo2_proofs/src/plonk/mv_lookup.rs +++ b/halo2_proofs/src/plonk/mv_lookup.rs @@ -55,11 +55,8 @@ impl Argument { input_degree }; - let inputs_expressions_degree: usize = self - .inputs_expressions - .iter() - .map(expr_degree) - .sum(); + let inputs_expressions_degree: usize = + self.inputs_expressions.iter().map(expr_degree).sum(); let mut table_degree = 0; for expr in self.table_expressions.iter() { diff --git a/halo2_proofs/src/plonk/mv_lookup/prover.rs b/halo2_proofs/src/plonk/mv_lookup/prover.rs index 74e8d0070..abf3a6327 100644 --- a/halo2_proofs/src/plonk/mv_lookup/prover.rs +++ b/halo2_proofs/src/plonk/mv_lookup/prover.rs @@ -20,7 +20,6 @@ use group::{ }; use rustc_hash::FxHashMap as HashMap; - use std::{ iter, ops::{Mul, MulAssign},