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() }