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 membership_check;
5mod monotonic;
6#[cfg_attr(not(test), expect(dead_code))]
7mod permutation_check;
8mod shift;
9pub(crate) use membership_check::{
10    final_round_evaluate_membership_check, first_round_evaluate_membership_check,
11    verify_membership_check,
12};
13#[cfg(test)]
14mod membership_check_test;
15#[expect(unused_imports)]
16use permutation_check::{final_round_evaluate_permutation_check, verify_permutation_check};
17#[cfg(test)]
18mod permutation_check_test;
19use shift::{final_round_evaluate_shift, first_round_evaluate_shift, verify_shift};
20#[cfg(test)]
21mod shift_test;
22mod sign_expr;
23pub(crate) use sign_expr::{
24    final_round_evaluate_sign, first_round_evaluate_sign, verifier_evaluate_sign,
25};
26#[cfg(feature = "blitzar")]
27#[cfg_attr(not(test), expect(dead_code))]
28mod range_check;
29#[cfg(all(test, feature = "blitzar"))]
30mod range_check_test;
31#[cfg(all(test, feature = "blitzar"))]
32mod sign_expr_test;
33pub(crate) use monotonic::{
34    final_round_evaluate_monotonic, first_round_evaluate_monotonic, verify_monotonic,
35};
36#[cfg(test)]
37mod monotonic_test;