Trait snarkvm_gadgets::traits::algorithms::signature::SignaturePublicKeyRandomizationGadget

pub trait SignaturePublicKeyRandomizationGadget<S: SignatureScheme, F: Field> {
    type ParametersGadget: AllocGadget<S::Parameters, F>;
    type PublicKeyGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<S::PublicKey, F> + Clone;
    type SignatureGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<S::Signature, F> + Clone;
    fn check_randomization_gadget<CS: ConstraintSystem<F>>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        public_key: &Self::PublicKeyGadget, 
        randomness: &[UInt8]
    ) -> Result<Self::PublicKeyGadget, SynthesisError>;
    fn verify<CS: ConstraintSystem<F>, PG: PRFGadget<Blake2s, F>>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        public_key: &Self::PublicKeyGadget, 
        message: &[UInt8], 
        signature: &Self::SignatureGadget
    ) -> Result<Boolean, SynthesisError>;
}

Associated Types

type ParametersGadget: AllocGadget<S::Parameters, F>

type PublicKeyGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<S::PublicKey, F> + Clone

type SignatureGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<S::Signature, F> + Clone

Required methods

fn check_randomization_gadget<CS: ConstraintSystem<F>>(
    cs: CS,
    parameters: &Self::ParametersGadget,
    public_key: &Self::PublicKeyGadget,
    randomness: &[UInt8]
) -> Result<Self::PublicKeyGadget, SynthesisError>

fn verify<CS: ConstraintSystem<F>, PG: PRFGadget<Blake2s, F>>(
    cs: CS,
    parameters: &Self::ParametersGadget,
    public_key: &Self::PublicKeyGadget,
    message: &[UInt8],
    signature: &Self::SignatureGadget
) -> Result<Boolean, SynthesisError>

Implementors

impl<G: Group + CanonicalSerialize + CanonicalDeserialize, GG: GroupGadget<G, F>, FG: FieldGadget<F, F>, D: Digest + Send + Sync, F: PrimeField> SignaturePublicKeyRandomizationGadget<Schnorr<G, D>, F> for SchnorrPublicKeyRandomizationGadget<G, F, GG, FG>