Trait halo2_proofs::transcript::TranscriptRead

source · 
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>;
}
Expand description

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§

source

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

Read a curve point from the prover.

source

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

Read a curve scalar from the prover.

Implementors§