proof_of_sql/sql/proof_gadgets/
mod.rs

1//! This module contains shared proof logic for multiple `ProofExpr` / `ProofPlan` implementations.
2#[cfg(test)]
3mod divide_and_modulo_expr;
4mod filter_base;
5pub(crate) use filter_base::{final_round_evaluate_filter, verify_evaluate_filter};
6pub(crate) mod fold_log_expr;
7mod membership_check;
8mod monotonic;
9#[cfg_attr(not(test), expect(dead_code))]
10mod permutation_check;
11mod shift;
12pub(crate) use membership_check::{
13    final_round_evaluate_membership_check, first_round_evaluate_membership_check,
14    verify_membership_check,
15};
16#[cfg(test)]
17mod membership_check_test;
18#[expect(unused_imports)]
19use permutation_check::{final_round_evaluate_permutation_check, verify_permutation_check};
20#[cfg(test)]
21mod permutation_check_test;
22use shift::{final_round_evaluate_shift, first_round_evaluate_shift, verify_shift};
23mod sign_expr;
24pub(crate) use sign_expr::{
25    final_round_evaluate_sign, first_round_evaluate_sign, verifier_evaluate_sign,
26};
27#[cfg(feature = "blitzar")]
28#[cfg_attr(not(test), expect(dead_code))]
29mod range_check;
30#[cfg(all(test, feature = "blitzar"))]
31mod range_check_test;
32#[cfg(all(test, feature = "blitzar"))]
33mod sign_expr_test;
34pub(crate) use monotonic::{
35    final_round_evaluate_monotonic, first_round_evaluate_monotonic, verify_monotonic,
36};
37#[cfg(test)]
38mod monotonic_test;