fix: address NITs

crates/proof-of-sql/src/base/proof/error.rs

@@ -6,7 +6,7 @@ pub enum ProofError {
     #[snafu(display("Verification error: {error}"))]
     /// This error occurs when a proof failed to verify.
     VerificationError { error: &'static str },
-    /// Unsupported error
-    #[snafu(display("Unsupported error: {error}"))]
-    UnsupportedError { error: &'static str },
+    /// This error occurs when a query plan is not supported.
+    #[snafu(display("Unsupported query plan: {error}"))]
+    UnsupportedQueryPlan { error: &'static str },
 }

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

@@ -286,7 +286,7 @@ pub(super) fn verify_filter<S: Scalar>(
 }
 
 #[allow(clippy::too_many_arguments, clippy::many_single_char_names)]
-pub(crate) fn prove_filter<'a, S: Scalar + 'a>(
+pub(super) fn prove_filter<'a, S: Scalar + 'a>(
     builder: &mut FinalRoundBuilder<'a, S>,
     alloc: &'a Bump,
     alpha: S,

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

@@ -16,7 +16,7 @@ mod projection_exec_test;
 pub(crate) mod test_utility;
 
 mod filter_exec;
-pub(super) use filter_exec::FilterExec;
+pub(crate) use filter_exec::FilterExec;
 #[cfg(test)]
 pub(crate) use filter_exec::OstensibleFilterExec;
 #[cfg(all(test, feature = "blitzar"))]

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

@@ -75,8 +75,8 @@ where
     ) -> Result<TableEvaluation<S>, ProofError> {
         // 1. columns
         // We do not support `GroupByExec` as input for now
-        if let DynProofPlan::GroupBy(_) = *self.input {
-            return Err(ProofError::UnsupportedError {
+        if matches!(*self.input, DynProofPlan::GroupBy(_)) {
+            return Err(ProofError::UnsupportedQueryPlan {
                 error: "GroupByExec as input for another plan is not supported",
             });
         }

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

@@ -540,7 +540,7 @@ fn we_cannot_prove_a_slice_exec_if_it_has_groupby_as_input_for_now() {
     assert!(matches!(
         res.verify(&expr, &accessor, &()),
         Err(QueryError::ProofError {
-            source: ProofError::UnsupportedError { .. }
+            source: ProofError::UnsupportedQueryPlan { .. }
         })
     ));
 }