proof-of-sql 0.129.1

High performance zero knowledge (ZK) prover for SQL.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

//! This module contains shared proof logic for multiple `ProofExpr` / `ProofPlan` implementations.
#[cfg(test)]
mod divide_and_modulo_expr;
mod filter_base;
pub(crate) use filter_base::{final_round_evaluate_filter, verify_evaluate_filter};
pub(crate) mod fold_log_expr;
mod membership_check;
mod monotonic;
#[cfg_attr(not(test), expect(dead_code))]
mod permutation_check;
mod shift;
pub(crate) use membership_check::{
    final_round_evaluate_membership_check, first_round_evaluate_membership_check,
    verify_membership_check,
};
#[cfg(test)]
mod membership_check_test;
#[expect(unused_imports)]
use permutation_check::{final_round_evaluate_permutation_check, verify_permutation_check};
#[cfg(test)]
mod permutation_check_test;
use shift::{final_round_evaluate_shift, first_round_evaluate_shift, verify_shift};
mod sign_expr;
pub(crate) use sign_expr::{
    final_round_evaluate_sign, first_round_evaluate_sign, verifier_evaluate_sign,
};
#[cfg(feature = "blitzar")]
#[cfg_attr(not(test), expect(dead_code))]
mod range_check;
#[cfg(all(test, feature = "blitzar"))]
mod range_check_test;
#[cfg(all(test, feature = "blitzar"))]
mod sign_expr_test;
pub(crate) use monotonic::{
    final_round_evaluate_monotonic, first_round_evaluate_monotonic, verify_monotonic,
};
#[cfg(test)]
mod monotonic_test;