Trait halo2_backend::transcript::TranscriptWrite

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<()>;
}

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

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

Write a curve point to the proof and the transcript.

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

Write a scalar to the proof and the transcript.

Object Safety

This trait is not object safe.

Implementors

impl<W: Write, C: CurveAffine> TranscriptWrite<C, Challenge255<C>> for Blake2bWrite<W, C, Challenge255<C>>

where C::Scalar: FromUniformBytes<64>,

impl<W: Write, C: CurveAffine> TranscriptWrite<C, Challenge255<C>> for Keccak256Write<W, C, Challenge255<C>>

where C::Scalar: FromUniformBytes<64>,