Struct risc0_zkp_verify::read_iop::ReadIOP
source · [−]pub struct ReadIOP<'a, S: Sha> { /* private fields */ }
Implementations
sourceimpl<'a, S: Sha> ReadIOP<'a, S>
impl<'a, S: Sha> ReadIOP<'a, S>
pub fn new(sha: &'a S, proof: &'a [u32]) -> Self
pub fn get_sha(&self) -> &S
pub fn read_u32s(&mut self, x: &mut [u32])
pub fn read_fps(&mut self, x: &mut [Fp])
pub fn read_fp4s(&mut self, x: &mut [Fp4])
pub fn read_digests(&mut self, x: &mut [Digest])
pub fn commit(&mut self, digest: &Digest)
pub fn verify_complete(&self)
Trait Implementations
Auto Trait Implementations
impl<'a, S> RefUnwindSafe for ReadIOP<'a, S> where
S: RefUnwindSafe,
<S as Sha>::DigestPtr: RefUnwindSafe,
impl<'a, S> Send for ReadIOP<'a, S> where
S: Send,
<S as Sha>::DigestPtr: Send,
impl<'a, S> Sync for ReadIOP<'a, S> where
S: Sync,
<S as Sha>::DigestPtr: Sync,
impl<'a, S> Unpin for ReadIOP<'a, S> where
S: Unpin,
<S as Sha>::DigestPtr: Unpin,
impl<'a, S> UnwindSafe for ReadIOP<'a, S> where
S: UnwindSafe,
<S as Sha>::DigestPtr: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<R> Rng for R where
R: RngCore + ?Sized,
impl<R> Rng for R where
R: RngCore + ?Sized,
sourcefn gen<T>(&mut self) -> T where
Standard: Distribution<T>,
fn gen<T>(&mut self) -> T where
Standard: Distribution<T>,
sourcefn gen_range<T, R>(&mut self, range: R) -> T where
T: SampleUniform,
R: SampleRange<T>,
fn gen_range<T, R>(&mut self, range: R) -> T where
T: SampleUniform,
R: SampleRange<T>,
Generate a random value in the given range. Read more
sourcefn sample<T, D>(&mut self, distr: D) -> T where
D: Distribution<T>,
fn sample<T, D>(&mut self, distr: D) -> T where
D: Distribution<T>,
Sample a new value, using the given distribution. Read more
sourcefn sample_iter<T, D>(self, distr: D) -> DistIter<D, Self, T> where
D: Distribution<T>,
fn sample_iter<T, D>(self, distr: D) -> DistIter<D, Self, T> where
D: Distribution<T>,
Create an iterator that generates values using the given distribution. Read more
sourcefn gen_bool(&mut self, p: f64) -> bool
fn gen_bool(&mut self, p: f64) -> bool
Return a bool with a probability p
of being true. Read more
sourcefn gen_ratio(&mut self, numerator: u32, denominator: u32) -> bool
fn gen_ratio(&mut self, numerator: u32, denominator: u32) -> bool
Return a bool with a probability of numerator/denominator
of being
true. I.e. gen_ratio(2, 3)
has chance of 2 in 3, or about 67%, of
returning true. If numerator == denominator
, then the returned value
is guaranteed to be true
. If numerator == 0
, then the returned
value is guaranteed to be false
. Read more