Module proof 

TODO: add docs

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.