proof_of_sql::sql

Module proof_plans

Source
Expand description

This module proves provable execution plans.

Structs§

  • EmptyExec
    Source ProofPlan for (sub)queries without table source such as SELECT "No table here" as msg; Inspired by DataFusion EmptyExec
  • TableExec
    Source ProofPlan for (sub)queries with table source such as SELECT col from tab; Inspired by DataFusion data source [ExecutionPlan]s such as [ArrowExec] and [CsvExec]. Note that we only need to load the columns we use.

Enums§