Module 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.

DuplicateIdents

Cannot create commitments with duplicate ident.

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.

CommittableColumn

Column data in “committable form”.

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 idents to column metadata used to associate metadata with commitments.

QueryCommitments

The commitments for all of the tables in a query.