proof_of_sql::sql

Module proof_plans

Source
Expand description

This module proves provable execution plans.

Modules§

  • range_check
    Implements a cryptographic range check using logarithmic derivatives to decompose a column of scalars into a matrix of words. This method leverages the properties of logarithmic derivatives to efficiently verify range proofs in a zero-knowledge setting by performing word-wise decompositions, intermediate MLEs, and modular inversions.

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§