Struct risc0_zkp::prove::write_iop::WriteIOP

pub struct WriteIOP<S: Sha> {
    pub proof: Vec<u32>,
    pub rng: ShaRng<S>,
    /* private fields */
}

Fields

proof: Vec<u32>

rng: ShaRng<S>

Implementations

impl<S: Sha> WriteIOP<S>

pub fn new(sha: &S) -> Self

Create a new empty proof

pub fn get_sha(&self) -> &S

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).