diff --git a/src/fri/recursive_verifier.rs b/src/fri/recursive_verifier.rs index 5ad9429f..4cfd837a 100644 --- a/src/fri/recursive_verifier.rs +++ b/src/fri/recursive_verifier.rs @@ -43,11 +43,11 @@ impl, const D: usize> CircuitBuilder { // The answer is gotten by interpolating {(x*g^i, P(x*g^i))} and evaluating at beta. let points = g .powers() - .zip(evals) - .map(|(y, v)| { + .map(|y| { let yc = self.constant(y); - (self.mul(coset_start, yc), v) + self.mul(coset_start, yc) }) + .zip(evals) .collect::>(); self.interpolate(&points, beta)