proof_of_sql/sql/
mod.rs

1
2
3
4
5
6
7
8
9
10
//! This module contains the main logic for Proof of SQL.

/// This module holds the [`EVMProofPlan`] struct and its implementation, which allows for EVM compatible serialization.
pub mod evm_proof_plan;
pub mod parse;
pub mod postprocessing;
pub mod proof;
pub mod proof_exprs;
pub mod proof_gadgets;
pub mod proof_plans;