Struct WriteIOP 

pub struct WriteIOP<F: Field> {
    pub proof: Vec<u32>,
    pub rng: Box<dyn Rng<F>>,
}

Available on crate feature prove only.

Fields

proof: Vec<u32>

rng: Box<dyn Rng<F>>

Implementations

impl<F: Field> WriteIOP<F>

pub fn new(rng: &dyn RngFactory<F>) -> Self

Create a new empty proof

pub fn write_u32_slice(&mut self, slice: &[u32])

Called by the prover to write some data.

This data is not cryptographically verifiable on its own, but is typically committed by a later hash which includes it.

pub fn write_field_elem_slice<T: Elem>(&mut self, slice: &[T])

Write some field elements to this IOP.

pub fn write_pod_slice<T: Pod>(&mut self, slice: &[T])

Write some plain old data to this IOP.

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

Called by the prover to commit to some hash (usually data written earlier or a Merkle root).

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