Struct ReadIOP 

pub struct ReadIOP<'a, F: Field> { /* private fields */ }

Implementations

impl<'a, F: Field> ReadIOP<'a, F>

pub fn new(proof: &'a [u32], rng: &dyn RngFactory<F>) -> Self

pub fn read_u32s(&mut self, n: usize) -> &'a [u32]

pub fn read_field_elem_slice<T: Elem>(&mut self, n: usize) -> &'a [T]

Read some field elements from this IOP, and check to make sure they’re not INVALID.

pub fn read_pod_slice<T: Pod>(&mut self, n: usize) -> &'a [T]

Read some plain old data from this IOP without doing any validation. Prefer to use read_field_elem_slice if reading field elements.

pub fn commit(&mut self, digest: &Digest)

pub fn verify_complete(&self)

Checks that the entire data of the IOP has been read.

pub fn random_bits(&mut self, bits: usize) -> u32

Get a cryptographically uniform u32

pub fn random_elem(&mut self) -> F::Elem

Get a cryptographically uniform field element

pub fn random_ext_elem(&mut self) -> F::ExtElem

Get a cryptographically uniform extension field element