fix: remove ones eval from range check

spaceandtimelabs · Dec 18, 2024 · f1d12d4 · f1d12d4
1 parent cc0d7e9
commit f1d12d4
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/crates/proof-of-sql/src/sql/proof_gadgets/range_check.rs b/crates/proof-of-sql/src/sql/proof_gadgets/range_check.rs
@@ -389,7 +389,6 @@ where
         .rho_256_evaluation
         .ok_or(ProofSizeMismatch::TooFewSumcheckVariables)?;
     // Ensures that we have enough sumcheck variables
-    let _ = builder.try_consume_one_evaluation()?;
     let word_vals_plus_alpha_inv = builder.try_consume_mle_evaluation()?;
     let word_value_constraint = word_vals_plus_alpha_inv * (word_vals_eval + alpha);
 

diff --git a/crates/proof-of-sql/src/sql/proof_gadgets/range_check_test.rs b/crates/proof-of-sql/src/sql/proof_gadgets/range_check_test.rs
@@ -27,7 +27,6 @@ impl ProverEvaluate for RangeCheckTestPlan {
         table_map: &IndexMap<TableRef, Table<'a, S>>,
     ) -> Table<'a, S> {
         builder.request_post_result_challenges(1);
-        builder.produce_one_evaluation_length(256);
         builder.update_range_length(256);
         table_map[&self.column.table_ref()].clone()
     }