halo2_axiom::transcript

Trait 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.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§