diff --git a/src/plonk/verifier.rs b/src/plonk/verifier.rs index f7adbc0..2046140 100644 --- a/src/plonk/verifier.rs +++ b/src/plonk/verifier.rs @@ -201,10 +201,6 @@ impl<'a, C: CurveAffine> Proof { return Err(Error::IncompatibleParams); } - if self.opening.q_evals.len() != vk.cs.rotations.len() { - return Err(Error::IncompatibleParams); - } - // TODO: check h_evals if self.fixed_evals.len() != vk.cs.fixed_queries.len() {