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.
This commit is contained in:
therealyingtong 2020-10-14 00:43:48 +08:00
parent b62d113031
commit 24b85dec67

View file

@ -201,10 +201,6 @@ impl<'a, C: CurveAffine> Proof<C> {
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() {