Trait halo2_proofs::transcript::EncodedChallenge

source ·

pub trait EncodedChallenge<C: CurveAffine> {
    type Input;

    // Required methods
    fn new(challenge_input: &Self::Input) -> Self;
    fn get_scalar(&self) -> C::Scalar;

    // Provided method
    fn as_challenge_scalar<T>(&self) -> ChallengeScalar<C, T> { ... }
}

Expand description

EncodedChallenge<C> defines a challenge encoding with a Self::Input that is used to derive the challenge encoding and get_challenge obtains the real C::Scalar that the challenge encoding represents.

Required Associated Types§

source

type Input

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].