Struct ConstraintCompositionCoefficients

pub struct ConstraintCompositionCoefficients<E>
where
    E: FieldElement,
{
    pub transition: Vec<E>,
    pub boundary: Vec<E>,
    pub lagrange: Option<LagrangeConstraintsCompositionCoefficients<E>>,
}

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 is one coefficient for each constraint so that we can compute a random linear combination of constraints as: $$ \sum_{i = 0}^k{\alpha_i \cdot C_i(x)} $$ where:

• $\alpha_i$ is the coefficient for the $i$th constraint.
• $C_i(x)$ is an evaluation of the $i$th constraint at $x$.

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>

boundary: Vec<E>

lagrange: Option<LagrangeConstraintsCompositionCoefficients<E>>

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.