feat: efficient range check

fix: docs

fix: tests

fix: subpolynomial type references

feat: tests and feedback

fix: make range check into a proof plan

feat: scalar evals for verification

feat: check scalar eval

fix: refactor alpha addition into verifier

fix: rebase to main

fix: dont commit to words + alpha, add alpha in verifier instead

docs: update docs

fix: remove unneeded commitment to row sums

fix: check that sum of word columns is equal to the column evaluation, completing range check

fix: idiomatic loops

fix: test

fix: move counts to test plan

fix: clippy

fix: remove counts and rebase to main

fix: error handling

docs: add panics docs

crates/proof-of-sql/src/sql/proof_exprs/mod.rs

@@ -84,6 +84,3 @@ mod column_expr;
 pub(crate) use column_expr::ColumnExpr;
 #[cfg(all(test, feature = "blitzar"))]
 mod column_expr_test;
-
-#[allow(dead_code, unused_variables)]
-mod range_check;

crates/proof-of-sql/src/sql/proof_plans/mod.rs

@@ -50,3 +50,7 @@ pub use dyn_proof_plan::DynProofPlan;
 
 #[cfg(test)]
 mod demo_mock_plan;
+
+pub mod range_check;
+#[cfg(all(test, feature = "blitzar"))]
+pub mod range_check_test_plan;