Module proof_of_sql::sql

source ·
Expand description

This module contains the main logic for Proof of SQL.

Modules§

  • 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_plans
    This module proves provable execution plans.