Struct DefaultTranscript

pub struct DefaultTranscript<F: HasDefaultTranscript> { /* private fields */ }

Implementations

impl<F> DefaultTranscript<F>

where F: HasDefaultTranscript, FieldElement<F>: ByteConversion,

pub fn new(data: &[u8]) -> Self

pub fn sample(&mut self) -> [u8; 32]

Trait Implementations

impl<F> Default for DefaultTranscript<F>

where F: HasDefaultTranscript, FieldElement<F>: ByteConversion,

fn default() -> Self

Returns the “default value” for a type.

impl<F> IsTranscript<F> for DefaultTranscript<F>

where F: HasDefaultTranscript, FieldElement<F>: ByteConversion,

fn append_bytes(&mut self, new_bytes: &[u8])

Appends a bytes to the transcript.

fn append_field_element(&mut self, element: &FieldElement<F>)

Appends a field element to the transcript.

fn state(&self) -> [u8; 32]

Returns the inner state of the transcript that fully determines its outputs.

fn sample_field_element(&mut self) -> FieldElement<F>

Returns a random field element.

fn sample_u64(&mut self, upper_bound: u64) -> u64

Returns a random index between 0 and upper_bound.

fn sample_z_ood<S: IsSubFieldOf<F>>( &mut self, lde_roots_of_unity_coset: &[FieldElement<S>], trace_roots_of_unity: &[FieldElement<S>], ) -> FieldElement<F>

where FieldElement<F>: AsBytes,

Returns a field element not contained in lde_roots_of_unity_coset or trace_roots_of_unity.