From fe2716a4961cbfae9cd67189e0f3eb53e1e5aa80 Mon Sep 17 00:00:00 2001 From: jeanmon Date: Tue, 28 May 2024 10:11:51 +0000 Subject: [PATCH] Revert the quick shift fix for public inputs --- bberg/src/verifier_builder.rs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/bberg/src/verifier_builder.rs b/bberg/src/verifier_builder.rs index 85daccefa6..32f901a1ed 100644 --- a/bberg/src/verifier_builder.rs +++ b/bberg/src/verifier_builder.rs @@ -81,11 +81,7 @@ impl VerifierBuilder for BBFiles { // TODO(https://github.com/AztecProtocol/aztec-packages/issues/6361): we pad the points to the circuit size in order to get the correct evaluation. // This is not efficient, and will not be valid in production. std::vector new_points(circuit_size, 0); - - // We need to shift the points by one to match the public inputs column in the circuit. - // Namely, the latter is prepended with an extra first row to support shifted polynomials. - ASSERT(circuit_size > points.size()); - std::copy(points.begin(), points.end(), new_points.data() + 1); + std::copy(points.begin(), points.end(), new_points.data()); Polynomial polynomial(new_points); return polynomial.evaluate_mle(challenges);