Module proof 

This module provides the proof generation and verification infrastructure.

It contains builders for constructing proofs from SQL query plans and verifiers for checking the validity of generated proofs.

Structs

ProvableQueryResult

An intermediate form of a query result that can be transformed to either the finalized query result form or a query error

QueryData

The verified results of a query along with metadata produced by verification

QueryProof

The proof for a query.

VerifiableQueryResult

The result of an sql query along with a proof that the query is valid. The result and proof can be verified using commitments to database columns.

Enums

QueryError

Verifiable query errors

Traits

ProofPlan

Provable nodes in the provable AST.

Type Aliases

QueryResult

The result of a query – either an error or a table.