Module sql

This module contains the main logic for Proof of SQL.

Modules

evm_proof_plan

This module holds the [EVMProofPlan] struct and its implementation, which allows for EVM compatible serialization.

parse

This module contains conversion of intermediate AST to provable AST and a non-provable component if necessary.

postprocessing

This module contains new lightweight postprocessing for non-provable components.

proof

TODO: add docs

proof_exprs

This module proves provable expressions.

proof_gadgets

This module contains shared proof logic for multiple ProofExpr / ProofPlan implementations.

proof_plans

This module proves provable execution plans.

Enums

AnalyzeError

AnalyzeError temporarily exists until we switch to using Datafusion Analyzer to handle type checking. Errors related to queries that can not be run due to invalid column references, data types, etc. Will be replaced once we fully switch to the planner.

Functions

scale_cast_binary_op

Scale cast one side so that both sides have the same scale

Type Aliases

AnalyzeResult

AnalyzeError temporarily exists until we switch to using Datafusion Analyzer to handle type checking. Result type for analyze errors