Struct winter_verifier::EvaluationFrame

pub struct EvaluationFrame<E>where
    E: FieldElement,{ /* private fields */ }

A set of execution trace rows required for evaluation of transition constraints.

In the current implementation, an evaluation frame always contains two consecutive rows of the execution trace. It is passed in as one of the parameters into Air::evaluate_transition() function.

Implementations

impl<E> EvaluationFrame<E>where
    E: FieldElement,

pub fn new(num_columns: usize) -> EvaluationFrame<E>

Returns a new evaluation frame instantiated with the specified number of columns.

Panics

Panics if num_columns is zero.

pub fn from_rows(
    current: Vec<E, Global>,
    next: Vec<E, Global>
) -> EvaluationFrame<E>

Returns a new evaluation frame instantiated from the provided rows.

Panics

Panics if:

• Lengths of the provided rows are zero.
• Lengths of the provided rows are not the same.

pub fn current(&self) -> &[E]

Returns a reference to the current row.

pub fn current_mut(&mut self) -> &mut [E]

Returns a mutable reference to the current row.

pub fn next(&self) -> &[E]

Returns a reference to the next row.

pub fn next_mut(&mut self) -> &mut [E]

Returns a mutable reference to the next row.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.