Fields§
§proof: Vec<u32>
§rng: ShaRng<S>
Implementations§
source§impl<S: Sha> WriteIOP<S>
impl<S: Sha> WriteIOP<S>
pub fn get_sha(&self) -> &S
sourcepub fn write_u32_slice(&mut self, slice: &[u32])
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.
sourcepub fn write_field_elem_slice<T: Elem>(&mut self, slice: &[T])
pub fn write_field_elem_slice<T: Elem>(&mut self, slice: &[T])
Write some field elements to this IOP.
sourcepub fn write_pod_slice<T: Pod>(&mut self, slice: &[T])
pub fn write_pod_slice<T: Pod>(&mut self, slice: &[T])
Write some plain old data to this IOP.