Trait halo2_proofs::transcript::TranscriptWrite

source · 
pub trait TranscriptWrite<C: CurveAffine, E: EncodedChallenge<C>>: Transcript<C, E> {
    // Required methods
    fn write_point(&mut self, point: C) -> Result<()>;
    fn write_scalar(&mut self, scalar: C::Scalar) -> Result<()>;
}
Expand description

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

Required Methods§

source

fn write_point(&mut self, point: C) -> Result<()>

Write a curve point to the proof and the transcript.

source

fn write_scalar(&mut self, scalar: C::Scalar) -> Result<()>

Write a scalar to the proof and the transcript.

Implementors§