From 24b85dec67c7d6ab549c2863d4da0debafc71657 Mon Sep 17 00:00:00 2001 From: therealyingtong Date: Wed, 14 Oct 2020 00:43:48 +0800 Subject: [PATCH] Remove q_evals.len() = rotations.len() check q_evals should now have the same length as point_sets, which is only constructed in the multiopen verifier. --- src/plonk/verifier.rs | 4 ---- 1 file changed, 4 deletions(-) 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() {