Trait halo2_proofs::transcript::TranscriptWrite

pub trait TranscriptWrite<C, E>: Transcript<C, E>
where
    C: CurveAffine,
    E: EncodedChallenge<C>,
{
    // Required methods
    fn write_point(&mut self, point: C) -> Result<(), Error>;
    fn write_scalar(
        &mut self,
        scalar: <C as PrimeCurveAffine>::Scalar
    ) -> Result<(), Error>;
}

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

Write a curve point to the proof and the transcript.

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

Write a scalar to the proof and the transcript.

Object Safety

This trait is not object safe.

Implementors

impl<W, C> TranscriptWrite<C, Challenge255<C>> for Keccak256Write<W, C, Challenge255<C>>

where W: Write, C: CurveAffine, <C as PrimeCurveAffine>::Scalar: FromUniformBytes<64>,

impl<W, C> TranscriptWrite<C, Challenge255<C>> for Blake2bWrite<W, C, Challenge255<C>>

where W: Write, C: CurveAffine, <C as PrimeCurveAffine>::Scalar: FromUniformBytes<64>,