Module proof_of_sql::base::commitment

Types for creation and utilization of cryptographic commitments to proof-of-sql data.

Structs

• BackendConfig
  Struct to hold configuration values about the chosen backend.
• ColumnCommitmentMetadata
  Anonymous metadata associated with a column commitment.
• ColumnCommitments
  Commitments for a collection of columns with some metadata.
• DuplicateIdentifiers
  Cannot create commitments with duplicate identifier.
• InnerProductProof
  InnerProductProof construct
• MixedLengthColumns
  Cannot create a TableCommitment from columns of mixed length.
• NegativeBounds
  Cannot construct bounds where min is greater than max.
• NegativeRange
  Cannot create a TableCommitment with a negative range.
• NumColumnsMismatch
  Cannot update commitment collections with different column counts
• TableCommitment
  Commitment for an entire table, with column and table metadata.

Enums

• AppendColumnCommitmentsError
  Errors that can occur when attempting to append rows to ColumnCommitments.
• AppendTableCommitmentError
  Errors that can occur when attempting to append rows to a TableCommitment.
• Bounds
  Minimum and maximum values (inclusive) of a collection of data, with some other variants for edge cases.
• ColumnBounds
  Column metadata storing the bounds for column types that have order.
• ColumnCommitmentsMismatch
  During commitment operation, metadata indicates that operand tables cannot be the same.
• TableCommitmentArithmeticError
  Errors that can occur when performing arithmetic on TableCommitments.
• TableCommitmentFromColumnsError
  Errors that can occur when trying to create or extend a TableCommitment from columns.

Traits

• ColumnCommitmentMetadataMapExt
  Extension trait intended for ColumnCommitmentMetadataMap.
• Commitment
  A trait for using commitment schemes generically.
• CommitmentEvaluationProof
  A trait for using commitment schemes generically. Specifically, this trait is for the evaluation proof of a commitment scheme.
• QueryCommitmentsExt
  A trait for extending the functionality of the QueryCommitments alias.
• VecCommitmentExt
  Extension trait intended for collections of commitments.

Functions

• init_backend
  Responsible for initializing the C++ commitment backend.
• init_backend_with_config
  Responsible for initializing the C++ commitment backend and producing a specified number of generators.

Type Aliases

• ColumnCommitmentMetadataMap
  Mapping of column identifiers to column metadata used to associate metadata with commitments.
• QueryCommitments
  The commitments for all of the tables in a query.