Struct winter_prover::ConstraintCompositionCoefficients

pub struct ConstraintCompositionCoefficients<E>where
    E: FieldElement,{
    pub transition: Vec<(E, E), Global>,
    pub boundary: Vec<(E, E), Global>,
}

Coefficients used in construction of constraint composition polynomial.

These coefficients are created by the Air::get_constraint_composition_coefficients() function. In the interactive version of the protocol, the verifier draws these coefficients uniformly at random from the extension field of the protocol.

There are two coefficients for each constraint so that we can compute a random linear combination of constraints like so: $$ \sum_{i = 0}^k{C_i(x) \cdot (\alpha_i + \beta_i \cdot x^{d_i})} $$ where:

• $\alpha_i$ and $\beta_i$ are the coefficients for the $i$th constraint.
• $C_i(x)$ is an evaluation of the $i$th constraint at $x$.
• $d_i$ is the degree adjustment factor needed to normalize all constraints to the same degree.

The coefficients are separated into two lists: one for transition constraints and another one for boundary constraints. This separation is done for convenience only.

Fields

transition: Vec<(E, E), Global>

boundary: Vec<(E, E), Global>

Trait Implementations

impl<E> Clone for ConstraintCompositionCoefficients<E>where E: Clone + FieldElement,

fn clone(&self) -> ConstraintCompositionCoefficients<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E> Debug for ConstraintCompositionCoefficients<E>where E: Debug + FieldElement,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.