Module proof_of_sql::sql::proof

TODO: add docs

Structs

• QueryData
  The verified results of a query along with metadata produced by verification
• 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

• ProofExpr
  Provable nodes in the provable AST.

Type Aliases

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