Trait halo2_backend::transcript::TranscriptRead

pub trait TranscriptRead<C: CurveAffine, E: EncodedChallenge<C>>: Transcript<C, E> {
    // Required methods
    fn read_point(&mut self) -> Result<C>;
    fn read_scalar(&mut self) -> Result<C::Scalar>;
}

Transcript view from the perspective of a verifier that has access to an input stream of data from the prover to the verifier.

Required Methods

fn read_point(&mut self) -> Result<C>

Read a curve point from the prover.

fn read_scalar(&mut self) -> Result<C::Scalar>

Read a curve scalar from the prover.

Object Safety

This trait is not object safe.

Implementors

impl<R: Read, C: CurveAffine> TranscriptRead<C, Challenge255<C>> for Blake2bRead<R, C, Challenge255<C>>

where C::Scalar: FromUniformBytes<64>,

impl<R: Read, C: CurveAffine> TranscriptRead<C, Challenge255<C>> for Keccak256Read<R, C, Challenge255<C>>

where C::Scalar: FromUniformBytes<64>,