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.

logical_plans

This module contains the logical plan representation used in both proof generation and postprocessing.

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.