Trait halo2_proofs::transcript::Transcript
source · pub trait Transcript<C, E>where
C: CurveAffine,
E: EncodedChallenge<C>,{
// Required methods
fn squeeze_challenge(&mut self) -> E;
fn common_point(&mut self, point: C) -> Result<(), Error>;
fn common_scalar(
&mut self,
scalar: <C as PrimeCurveAffine>::Scalar
) -> Result<(), Error>;
// Provided method
fn squeeze_challenge_scalar<T>(&mut self) -> ChallengeScalar<C, T> { ... }
}Expand description
Generic transcript view (from either the prover or verifier’s perspective)
Required Methods§
sourcefn squeeze_challenge(&mut self) -> E
fn squeeze_challenge(&mut self) -> E
Squeeze an encoded verifier challenge from the transcript.
sourcefn common_point(&mut self, point: C) -> Result<(), Error>
fn common_point(&mut self, point: C) -> Result<(), Error>
Writing the point to the transcript without writing it to the proof, treating it as a common input.
sourcefn common_scalar(
&mut self,
scalar: <C as PrimeCurveAffine>::Scalar
) -> Result<(), Error>
fn common_scalar( &mut self, scalar: <C as PrimeCurveAffine>::Scalar ) -> Result<(), Error>
Writing the scalar to the transcript without writing it to the proof, treating it as a common input.
Provided Methods§
sourcefn squeeze_challenge_scalar<T>(&mut self) -> ChallengeScalar<C, T>
fn squeeze_challenge_scalar<T>(&mut self) -> ChallengeScalar<C, T>
Squeeze a typed challenge (in the scalar field) from the transcript.
Object Safety§
This trait is not object safe.