Struct winter_prover::DefaultConstraintEvaluator

pub struct DefaultConstraintEvaluator<'a, A: Air, E: FieldElement<BaseField = A::BaseField>> { /* private fields */ }

Default implementation of the ConstraintEvaluator trait.

This implementation iterates over all evaluation frames of an extended execution trace and evaluates constraints over these frames one-by-one. Constraint evaluations are merged together using random linear combinations and in the end, only a single column is returned.

When concurrent feature is enabled, the extended execution trace is split into sets of sequential evaluation frames (called fragments), and frames in each fragment are evaluated in separate threads.

Implementations

impl<'a, A, E> DefaultConstraintEvaluator<'a, A, E>

where A: Air, E: FieldElement<BaseField = A::BaseField>,

pub fn new( air: &'a A, aux_rand_elements: AuxTraceRandElements<E>, composition_coefficients: ConstraintCompositionCoefficients<E> ) -> Self

Returns a new evaluator which can be used to evaluate transition and boundary constraints over extended execution trace.

Trait Implementations

impl<'a, A, E> ConstraintEvaluator<E> for DefaultConstraintEvaluator<'a, A, E>

where A: Air, E: FieldElement<BaseField = A::BaseField>,

type Air = A

AIR constraints for the computation described by this evaluator.

fn evaluate<T: TraceLde<E>>( self, trace: &T, domain: &StarkDomain<<E as FieldElement>::BaseField> ) -> CompositionPolyTrace<E>

Evaluates constraints against the provided extended execution trace, combines them into evaluations of a single polynomial, and returns these evaluations.