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;
6/// [`AnalyzeError`] temporarily exists until we switch to using Datafusion Analyzer to handle type checking.
7pub use error::{AnalyzeError, AnalyzeResult};
8pub mod proof;
9pub mod proof_exprs;
10pub mod proof_gadgets;
11pub mod proof_plans;
12mod scale;
13pub use scale::scale_cast_binary_op;