Struct DefaultConstraintCommitment

pub struct DefaultConstraintCommitment<E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, V: VectorCommitment<H>> { /* private fields */ }

Constraint evaluation commitment.

The commitment consists of two components:

• Evaluations of composition polynomial columns over the LDE domain.
• Vector commitment where each vector element corresponds to the digest of a row in the composition polynomial evaluation matrix.

Implementations

impl<E, H, V> DefaultConstraintCommitment<E, H, V>

where E: FieldElement, H: ElementHasher<BaseField = E::BaseField>, V: VectorCommitment<H>,

pub fn new( composition_poly_trace: CompositionPolyTrace<E>, num_constraint_composition_columns: usize, domain: &StarkDomain<E::BaseField>, partition_options: PartitionOptions, ) -> (Self, CompositionPoly<E>)

Creates a new constraint evaluation commitment from the provided composition polynomial evaluations and the corresponding vector commitment.

Trait Implementations

impl<E, H, V> ConstraintCommitment<E> for DefaultConstraintCommitment<E, H, V>

where E: FieldElement, H: ElementHasher<BaseField = E::BaseField> + Sync, V: VectorCommitment<H> + Sync,

fn commitment(&self) -> H::Digest

Returns the commitment.

fn query(self, positions: &[usize]) -> Queries

Returns constraint evaluations at the specified positions along with a batch opening proof against the vector commitment.

type HashFn = H

The hash function used for hashing the rows of trace segment LDEs.

type VC = V

The vector commitment scheme used for commiting to the trace.