Trait snarkvm_gadgets::traits::algorithms::signature::SignatureGadget

pub trait SignatureGadget<S: SignatureScheme, F: Field>: AllocGadget<S, F> {
    type ComputeKeyGadget: ToBitsLEGadget<F> + Clone;
    type PublicKeyGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<S::PublicKey, F> + Clone;
    type SignatureGadget: ToBytesGadget<F> + EqGadget<F> + AllocGadget<S::Signature, F> + Clone;
    fn compute_key<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        signature: &Self::SignatureGadget
    ) -> Result<Self::ComputeKeyGadget, SynthesisError>;
    fn verify<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS, 
        public_key: &Self::PublicKeyGadget, 
        message: &[UInt8], 
        signature: &Self::SignatureGadget
    ) -> Result<Boolean, SynthesisError>;
}

Associated Types

type ComputeKeyGadget: ToBitsLEGadget<F> + Clone

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 compute_key<CS: ConstraintSystem<F>>(
    &self,
    cs: CS,
    signature: &Self::SignatureGadget
) -> Result<Self::ComputeKeyGadget, SynthesisError>

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

Implementors

impl<TE: TwistedEdwardsParameters<BaseField = F>, F: PrimeField + PoseidonDefaultParametersField> SignatureGadget<AleoSignatureScheme<TE>, F> for AleoSignatureSchemeGadget<TE, F>

type ComputeKeyGadget = AleoComputeKeyGadget

type PublicKeyGadget = AleoSignaturePublicKeyGadget<TE, F>

type SignatureGadget = AleoSignatureGadget<TE, F>