Struct winter_prover::AuxTraceRandElements

pub struct AuxTraceRandElements<E>(/* private fields */)
where
    E: FieldElement;

Random elements used in construction of auxiliary trace segments.

These elements are generated by the Air::get_aux_trace_segment_random_elements() function for each auxiliary trace segment. In the interactive version of the protocol, the verifier draws these elements uniformly at random from the extension field of the protocol after the prover commits to a previous trace segment.

Implementations

impl<E> AuxTraceRandElements<E>

where E: FieldElement,

pub fn new() -> AuxTraceRandElements<E>

Instantiates and returns an empty set of random elements.

pub fn get_segment_elements(&self, aux_segment_idx: usize) -> &[E]

Returns a list of random elements for an auxiliary segment with the specified index.

pub fn add_segment_elements(&mut self, rand_elements: Vec<E>)

Adds random elements for a new auxiliary segment to this set of random elements.

Trait Implementations

impl<E> Clone for AuxTraceRandElements<E>

where E: Clone + FieldElement,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E> Debug for AuxTraceRandElements<E>

where E: Debug + FieldElement,

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

Formats the value using the given formatter.

impl<E> Default for AuxTraceRandElements<E>

where E: FieldElement,

fn default() -> AuxTraceRandElements<E>

Returns the “default value” for a type.