Trait TranscriptRead

pub trait TranscriptRead<C, L>: Transcript<C, L>
where
    C: CurveAffine,
    L: Loader<C>,
{
    // Required methods
    fn read_scalar(&mut self) -> Result<L::LoadedScalar, Error>;
    fn read_ec_point(&mut self) -> Result<L::LoadedEcPoint, Error>;

    // Provided methods
    fn read_n_scalars(
        &mut self,
        n: usize,
    ) -> Result<Vec<L::LoadedScalar>, Error> { ... }
    fn read_n_ec_points(
        &mut self,
        n: usize,
    ) -> Result<Vec<L::LoadedEcPoint>, Error> { ... }
}

Transcript for verifier.

Required Methods

fn read_scalar(&mut self) -> Result<L::LoadedScalar, Error>

Read a scalar.

fn read_ec_point(&mut self) -> Result<L::LoadedEcPoint, Error>

Read a elliptic curve point.

Provided Methods

fn read_n_scalars(&mut self, n: usize) -> Result<Vec<L::LoadedScalar>, Error>

Read n scalar.

fn read_n_ec_points(&mut self, n: usize) -> Result<Vec<L::LoadedEcPoint>, Error>

Read n elliptic curve point.

Implementations on Foreign Types

impl<C: CurveAffine, R: Read> TranscriptRead<C, NativeLoader> for Blake2bRead<R, C, Challenge255<C>>

where C::Scalar: FromUniformBytes<64>,

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

fn read_ec_point(&mut self) -> Result<C, Error>

Implementors

impl<C> TranscriptRead<C, Rc<EvmLoader>> for EvmTranscript<C, Rc<EvmLoader>, usize, MemoryChunk>

where C: CurveAffine, C::Scalar: PrimeField<Repr = [u8; 32]>,

impl<C, R, EccChip, const T: usize, const RATE: usize, const R_F: usize, const R_P: usize> TranscriptRead<C, Rc<Halo2Loader<C, EccChip>>> for PoseidonTranscript<C, Rc<Halo2Loader<C, EccChip>>, R, T, RATE, R_F, R_P>

where C: CurveAffine, R: Read, EccChip: NativeEncoding<C>,

impl<C, R, const T: usize, const RATE: usize, const R_F: usize, const R_P: usize> TranscriptRead<C, NativeLoader> for PoseidonTranscript<C, NativeLoader, R, T, RATE, R_F, R_P>

where C: CurveAffine, R: Read,

impl<C, S> TranscriptRead<C, NativeLoader> for EvmTranscript<C, NativeLoader, S, Vec<u8>>

where C: CurveAffine, C::Scalar: PrimeField<Repr = [u8; 32]>, S: Read,