Struct winter_prover::EvaluationFrame

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

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_registers: usize) -> EvaluationFrame<E>

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

Panics

Panics if num_registers 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, 

pub 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, 

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

Formats the value using the given formatter.