proof_of_sql/sql/
mod.rs

1//! This module contains the main logic for Proof of SQL.
2
3mod error;
4/// This module holds the [`EVMProofPlan`] struct and its implementation, which allows for EVM compatible serialization.
5pub mod evm_proof_plan;
6pub mod parse;
7/// [`AnalyzeError`] temporarily exists until we switch to using Datafusion Analyzer to handle type checking.
8pub use error::{AnalyzeError, AnalyzeResult};
9pub mod postprocessing;
10pub mod proof;
11pub mod proof_exprs;
12pub mod proof_gadgets;
13pub mod proof_plans;
14mod scale;
15pub use scale::scale_cast_binary_op;