proof_of_sql/sql/
mod.rs

1//! This module contains the main logic for Proof of SQL.
2
3/// This module holds the [`EVMProofPlan`] struct and its implementation, which allows for EVM compatible serialization.
4pub mod evm_proof_plan;
5pub mod logical_plans;
6pub mod parse;
7pub mod postprocessing;
8pub mod proof;
9pub mod proof_exprs;
10pub mod proof_gadgets;
11pub mod proof_plans;