proof_of_sql

Module 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.