Trait snarkvm_wasm::traits::algorithms::SignaturePublicKeyRandomizationGadget

pub trait SignaturePublicKeyRandomizationGadget<S, F> where
    S: SignatureScheme,
    F: Field, {
    type ParametersGadget: AllocGadget<<S as SignatureScheme>::Parameters, F>;
    type PublicKeyGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<<S as SignatureScheme>::PublicKey, F> + Clone;
    fn check_randomization_gadget<CS>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        public_key: &Self::PublicKeyGadget, 
        randomness: &[UInt8]
    ) -> Result<Self::PublicKeyGadget, SynthesisError>
    where
        CS: ConstraintSystem<F>;
}

Associated Types

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

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

Required methods

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

Implementors

impl<G, GG, D, F> SignaturePublicKeyRandomizationGadget<SchnorrSignature<G, D>, F> for SchnorrPublicKeyRandomizationGadget<G, F, GG> where
    G: Group + CanonicalSerialize + CanonicalDeserialize,
    D: Digest + Send + Sync,
    F: Field,
    GG: GroupGadget<G, F>, 

type ParametersGadget = SchnorrParametersGadget<G, F, D>

type PublicKeyGadget = SchnorrPublicKeyGadget<G, F, GG>

pub fn check_randomization_gadget<CS>(
    cs: CS,
    parameters: &<SchnorrPublicKeyRandomizationGadget<G, F, GG> as SignaturePublicKeyRandomizationGadget<SchnorrSignature<G, D>, F>>::ParametersGadget,
    public_key: &<SchnorrPublicKeyRandomizationGadget<G, F, GG> as SignaturePublicKeyRandomizationGadget<SchnorrSignature<G, D>, F>>::PublicKeyGadget,
    randomness: &[UInt8]
) -> Result<<SchnorrPublicKeyRandomizationGadget<G, F, GG> as SignaturePublicKeyRandomizationGadget<SchnorrSignature<G, D>, F>>::PublicKeyGadget, SynthesisError> where
    CS: ConstraintSystem<F>,