From f1d12d4c71c36e1230de97ae6ca488b57c1de06c Mon Sep 17 00:00:00 2001 From: "dustin.ray" Date: Wed, 18 Dec 2024 15:01:33 -0800 Subject: [PATCH] fix: remove ones eval from range check --- crates/proof-of-sql/src/sql/proof_gadgets/range_check.rs | 1 - crates/proof-of-sql/src/sql/proof_gadgets/range_check_test.rs | 1 - 2 files changed, 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 index 7c2ecb397..5868d01b6 100644 --- 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 index 957f8e28c..ddfd16953 100644 --- 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>, ) -> 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() }