Struct winter_verifier::AuxTraceRandElements
source · pub struct AuxTraceRandElements<E>(_)
where
E: FieldElement;
Expand description
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
sourceimpl<E> AuxTraceRandElements<E>where
E: FieldElement,
impl<E> AuxTraceRandElements<E>where
E: FieldElement,
sourcepub fn new() -> AuxTraceRandElements<E>
pub fn new() -> AuxTraceRandElements<E>
Instantiates and returns an empty set of random elements.
sourcepub fn get_segment_elements(&self, aux_segment_idx: usize) -> &[E] ⓘ
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.
sourcepub fn add_segment_elements(&mut self, rand_elements: Vec<E, Global>)
pub fn add_segment_elements(&mut self, rand_elements: Vec<E, Global>)
Adds random elements for a new auxiliary segment to this set of random elements.
Trait Implementations
sourceimpl<E> Clone for AuxTraceRandElements<E>where
E: Clone + FieldElement,
impl<E> Clone for AuxTraceRandElements<E>where
E: Clone + FieldElement,
sourcefn clone(&self) -> AuxTraceRandElements<E>
fn clone(&self) -> AuxTraceRandElements<E>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl<E> Debug for AuxTraceRandElements<E>where
E: Debug + FieldElement,
impl<E> Debug for AuxTraceRandElements<E>where
E: Debug + FieldElement,
sourceimpl<E> Default for AuxTraceRandElements<E>where
E: FieldElement,
impl<E> Default for AuxTraceRandElements<E>where
E: FieldElement,
sourcefn default() -> AuxTraceRandElements<E>
fn default() -> AuxTraceRandElements<E>
Returns the “default value” for a type. Read more
Auto Trait Implementations
impl<E> RefUnwindSafe for AuxTraceRandElements<E>where
E: RefUnwindSafe,
impl<E> Send for AuxTraceRandElements<E>
impl<E> Sync for AuxTraceRandElements<E>
impl<E> Unpin for AuxTraceRandElements<E>where
E: Unpin,
impl<E> UnwindSafe for AuxTraceRandElements<E>where
E: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more