Struct winter_prover::AirContext

pub struct AirContext<B> where
    B: StarkField,  { /* fields omitted */ }

STARK parameters and trace properties for a specific execution of a computation.

Implementations

impl<B> AirContext<B> where
    B: StarkField, 

pub fn new(
    trace_info: TraceInfo,
    transition_constraint_degrees: Vec<TransitionConstraintDegree, Global>,
    options: ProofOptions
) -> AirContext<B>

Returns a new instance of AirContext instantiated from the specified parameters.

The list of transition constraint degrees defines the total number of transition constraints and their expected degrees. Constraint evaluations computed by Air::evaluate_transition() function are expected to be in the order defined by this list.

Panics

Panics if transition_constraint_degrees is an empty vector.

Trait Implementations

impl<B> Clone for AirContext<B> where
    B: Clone + StarkField, 

pub fn clone(&self) -> AirContext<B>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<B> PartialEq<AirContext<B>> for AirContext<B> where
    B: PartialEq<B> + StarkField, 

pub fn eq(&self, other: &AirContext<B>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &AirContext<B>) -> bool

This method tests for !=.

impl<B> Eq for AirContext<B> where
    B: Eq + StarkField, 

impl<B> StructuralEq for AirContext<B> where
    B: StarkField, 

impl<B> StructuralPartialEq for AirContext<B> where
    B: StarkField,