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};
20mod sign_expr;
21pub(crate) use sign_expr::{
22    final_round_evaluate_sign, first_round_evaluate_sign, verifier_evaluate_sign,
23};
24#[cfg(feature = "blitzar")]
25#[cfg_attr(not(test), expect(dead_code))]
26mod range_check;
27#[cfg(all(test, feature = "blitzar"))]
28mod range_check_test;
29#[cfg(all(test, feature = "blitzar"))]
30mod sign_expr_test;
31pub(crate) use monotonic::{
32    final_round_evaluate_monotonic, first_round_evaluate_monotonic, verify_monotonic,
33};
34#[cfg(test)]
35mod monotonic_test;