proof-of-sql 0.129.0

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

mod composite_polynomial;
pub use composite_polynomial::CompositePolynomial;
#[cfg(test)]
mod composite_polynomial_test;

mod interpolate;
#[cfg(test)]
mod interpolate_test;
#[expect(unused_imports)]
pub use interpolate::{interpolate_evaluations_to_reverse_coefficients, interpolate_uni_poly};

mod evaluation_vector;
pub use evaluation_vector::compute_evaluation_vector;
#[cfg(test)]
mod evaluation_vector_test;

mod lagrange_basis_evaluation;
pub use lagrange_basis_evaluation::{
    compute_rho_eval, compute_truncated_lagrange_basis_inner_product,
    compute_truncated_lagrange_basis_sum,
};
#[cfg(test)]
mod lagrange_basis_evaluation_test;

mod multilinear_extension;
pub use multilinear_extension::MultilinearExtension;
#[cfg(test)]
mod multilinear_extension_test;