Expand description

Data structures used by a polynomial commitment scheme.

Structs

A commitment along with information about its degree bound (if any).

A polynomial along with information about its degree bound (if any), and the maximum number of queries that will be made to it. This latter number determines the amount of protection that will be provided to a commitment for this polynomial.

A labeled linear combinations of polynomials.

Stores a polynomial in coefficient form.

Enums

A term in a linear combination.

Traits

Defines the minimal interface of commitments for any polynomial commitment scheme.

Defines the minimal interface of committer keys for any polynomial commitment scheme.

Defines the minimal interface of evaluation proofs for any polynomial commitment scheme.

Defines the minimal interface of commitment randomness for any polynomial commitment scheme.

Defines the minimal interface for public params for any polynomial commitment scheme.

Defines the minimal interface of verifier keys for any polynomial commitment scheme.

Type Definitions

Labels a LabeledPolynomial or a LabeledCommitment.