Module commitment 

This module implements Dlog-based polynomial commitment schema. The following functionality is implemented

1. Commit to polynomial with its max degree
2. Open polynomial commitment batch at the given evaluation point and scaling factor scalar producing the batched opening proof
3. Verify batch of batched opening proofs

Modules

caml

Structs

BatchEvaluationProof

Contains the batch evaluation

BlindedCommitment

A commitment to a polynomial with some blinding factors.

Evaluation

Contains the evaluation of a polynomial commitment at a set of points.

PolyComm

Represent a polynomial commitment when the type is instantiated with a curve.

Traits

CommitmentCurve

A useful trait extending [AffineRepr] for commitments.

EndoCurve

A trait extending CommitmentCurve for endomorphisms.

Functions

absorb_commitment

b_poly

Evaluates the challenge polynomial b(X) at point x.

b_poly_coefficients

Computes the coefficients of the challenge polynomial b(X).

combine_commitments

Populates the parameters scalars and points.

combined_inner_product

Computes the linearization of evaluations.

shift_scalar

Inside the circuit, we have a specialized scalar multiplication which computes either

squeeze_challenge

squeeze_prechallenge