Module proof_of_sql::sql::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.