Trait TranscriptWrite

pub trait TranscriptWrite<C: CurveAffine>: Transcript<C, NativeLoader> {
    // Required methods
    fn write_scalar(&mut self, scalar: C::Scalar) -> Result<(), Error>;
    fn write_ec_point(&mut self, ec_point: C) -> Result<(), Error>;
}

Transcript for prover.

Required Methods

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

Write a scalar.

fn write_ec_point(&mut self, ec_point: C) -> Result<(), Error>

Write a elliptic curve point.

Implementations on Foreign Types

impl<C: CurveAffine> TranscriptWrite<C> for Blake2bWrite<Vec<u8>, C, Challenge255<C>>

where C::Scalar: FromUniformBytes<64>,

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

fn write_ec_point(&mut self, ec_point: C) -> Result<(), Error>

Implementors

impl<C, W, const T: usize, const RATE: usize, const R_F: usize, const R_P: usize> TranscriptWrite<C> for PoseidonTranscript<C, NativeLoader, W, T, RATE, R_F, R_P>

where C: CurveAffine, W: Write,