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

//! This module contains the main logic for Proof of SQL.

mod error;
/// This module holds the [`EVMProofPlan`] struct and its implementation, which allows for EVM compatible serialization.
pub mod evm_proof_plan;
/// [`AnalyzeError`] temporarily exists until we switch to using Datafusion Analyzer to handle type checking.
pub use error::{AnalyzeError, AnalyzeResult};
pub mod proof;
pub mod proof_exprs;
pub mod proof_gadgets;
pub mod proof_plans;
mod scale;
pub use scale::scale_cast_binary_op;