Trait halo2_proofs::transcript::TranscriptRead

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

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, Error>

Read a curve point from the prover.

fn read_scalar(&mut self) -> Result<<C as PrimeCurveAffine>::Scalar, Error>

Read a curve scalar from the prover.

Object Safety

This trait is not object safe.

Implementors

impl<R, C> TranscriptRead<C, Challenge255<C>> for Keccak256Read<R, C, Challenge255<C>>

where R: Read, C: CurveAffine, <C as PrimeCurveAffine>::Scalar: FromUniformBytes<64>,

impl<R, C> TranscriptRead<C, Challenge255<C>> for Blake2bRead<R, C, Challenge255<C>>

where R: Read, C: CurveAffine, <C as PrimeCurveAffine>::Scalar: FromUniformBytes<64>,