pub struct ConstraintCompositionCoefficients<E>where
E: FieldElement,{
pub transition: Vec<(E, E), Global>,
pub boundary: Vec<(E, E), Global>,
}
Expand description
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
sourceimpl<E> Clone for ConstraintCompositionCoefficients<E>where
E: Clone + FieldElement,
impl<E> Clone for ConstraintCompositionCoefficients<E>where
E: Clone + FieldElement,
sourcefn clone(&self) -> ConstraintCompositionCoefficients<E>
fn clone(&self) -> ConstraintCompositionCoefficients<E>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreAuto Trait Implementations
impl<E> RefUnwindSafe for ConstraintCompositionCoefficients<E>where
E: RefUnwindSafe,
impl<E> Send for ConstraintCompositionCoefficients<E>
impl<E> Sync for ConstraintCompositionCoefficients<E>
impl<E> Unpin for ConstraintCompositionCoefficients<E>where
E: Unpin,
impl<E> UnwindSafe for ConstraintCompositionCoefficients<E>where
E: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more