Struct reverie::transcript::ProverTranscript
source · Implementations
Trait Implementations
sourceimpl<D: Domain, I: Iterator<Item = D::Recon>> Transcript<D> for ProverTranscript<D, I>
impl<D: Domain, I: Iterator<Item = D::Recon>> Transcript<D> for ProverTranscript<D, I>
const IS_PROVER: bool = true
fn input(&mut self) -> Wire<D>
sourcefn online_hash(&self) -> [Hash; 8]
fn online_hash(&self) -> [Hash; 8]
Return the commitment to the online phase
sourcefn preprocess_hash(&self) -> [Hash; 8]
fn preprocess_hash(&self) -> [Hash; 8]
Return the commitment to the preprocessing phase
sourcefn reconstruct(&mut self, mask: D::Share) -> D::Recon
fn reconstruct(&mut self, mask: D::Share) -> D::Recon
Reconstructs the share: Read more
sourcefn correction(&mut self, corr: D::Recon) -> D::Recon
fn correction(&mut self, corr: D::Recon) -> D::Recon
Record correction: Read more
sourcefn zero_check(&mut self, recon: D::Recon)
fn zero_check(&mut self, recon: D::Recon)
Record if the reconstructed value is zero Read more
fn new_mask(&mut self) -> D::Share
fn hash(&self) -> [Hash; 8]
Auto Trait Implementations
impl<D, I> RefUnwindSafe for ProverTranscript<D, I>where
D: RefUnwindSafe,
I: RefUnwindSafe,
<D as Domain>::Batch: RefUnwindSafe,
<D as Domain>::Recon: RefUnwindSafe,
<D as Domain>::Share: RefUnwindSafe,
impl<D, I> Send for ProverTranscript<D, I>where
D: Send,
I: Send,
<D as Domain>::Batch: Send,
<D as Domain>::Recon: Send,
<D as Domain>::Share: Send,
impl<D, I> Sync for ProverTranscript<D, I>where
D: Sync,
I: Sync,
<D as Domain>::Batch: Sync,
<D as Domain>::Recon: Sync,
<D as Domain>::Share: Sync,
impl<D, I> Unpin for ProverTranscript<D, I>where
I: Unpin,
<D as Domain>::Recon: Unpin,
<D as Domain>::Share: Unpin,
impl<D, I> UnwindSafe for ProverTranscript<D, I>where
D: UnwindSafe,
I: UnwindSafe,
<D as Domain>::Batch: UnwindSafe,
<D as Domain>::Recon: UnwindSafe,
<D as Domain>::Share: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
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