Struct ChallengeEvm

pub struct ChallengeEvm<C>(/* private fields */)
where
    C: CurveAffine,
    C::Scalar: PrimeField<Repr = [u8; 32]>;

EncodedChallenge implemented for verifier on EVM, which use input in big-endian as the challenge.

Trait Implementations

impl<C> Debug for ChallengeEvm<C>

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

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<C> EncodedChallenge<C> for ChallengeEvm<C>

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

type Input = [u8; 32]

The Input type used to derive the challenge encoding. For example, an input from the Poseidon hash would be a base field element; an input from the Blake2b hash would be a [u8; 64].

fn new(challenge_input: &[u8; 32]) -> Self

Get an encoded challenge from a given input challenge.

fn get_scalar(&self) -> C::Scalar

Get a scalar field element from an encoded challenge.

fn as_challenge_scalar<T>(&self) -> ChallengeScalar<C, T>

Cast an encoded challenge as a typed ChallengeScalar.

impl<C, S> Transcript<C, ChallengeEvm<C>> for EvmTranscript<C, NativeLoader, S, Vec<u8>>

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

fn squeeze_challenge(&mut self) -> ChallengeEvm<C>

Squeeze an encoded verifier challenge from the transcript.

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

Writing the point to the transcript without writing it to the proof, treating it as a common input.

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

Writing the scalar to the transcript without writing it to the proof, treating it as a common input.

fn squeeze_challenge_scalar<T>(&mut self) -> ChallengeScalar<C, T>

Squeeze a typed challenge (in the scalar field) from the transcript.

impl<C, R: Read> TranscriptRead<C, ChallengeEvm<C>> for EvmTranscript<C, NativeLoader, R, Vec<u8>>

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

fn read_point(&mut self) -> Result<C>

Read a curve point from the prover.

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

Read a curve scalar from the prover.

impl<C, R: Read> TranscriptReadBuffer<R, C, ChallengeEvm<C>> for EvmTranscript<C, NativeLoader, R, Vec<u8>>

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

fn init(reader: R) -> Self

Initialize a transcript given an input buffer.

impl<C, W: Write> TranscriptWrite<C, ChallengeEvm<C>> for EvmTranscript<C, NativeLoader, W, Vec<u8>>

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

fn write_point(&mut self, ec_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.

impl<C, W: Write> TranscriptWriterBuffer<W, C, ChallengeEvm<C>> for EvmTranscript<C, NativeLoader, W, Vec<u8>>

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

fn init(writer: W) -> Self

Initialize a transcript given an output buffer.

fn finalize(self) -> W

Conclude the interaction and return the output buffer (writer).