[−][src]Trait snarkos_models::gadgets::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;
    fn check_randomization_gadget<CS: ConstraintSystem<F>>(
        cs: CS, 
        parameters: &Self::ParametersGadget, 
        public_key: &Self::PublicKeyGadget, 
        randomness: &[UInt8]
    ) -> Result<Self::PublicKeyGadget, SynthesisError>;
}

Associated Types

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

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

Loading content...

Required methods

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

Loading content...

Implementors

Loading content...