Trait Variant

pub trait Variant:
    Clone
    + Send
    + Sync
    + Hash
    + Eq
    + Debug
    + 'static {
    type Public: Point + FixedSize + Debug + Hash + Copy + AsRef<Self::Public>;
    type Signature: Point + FixedSize + Debug + Hash + Copy + AsRef<Self::Signature>;

    const PROOF_OF_POSSESSION: DST;
    const MESSAGE: DST;

    // Required methods
    fn verify(
        public: &Self::Public,
        hm: &Self::Signature,
        signature: &Self::Signature,
    ) -> Result<(), Error>;
    fn batch_verify<R: RngCore + CryptoRng>(
        rng: &mut R,
        publics: &[Self::Public],
        hms: &[Self::Signature],
        signatures: &[Self::Signature],
    ) -> Result<(), Error>;
}

A specific instance of a signature scheme.

Required Associated Constants

const PROOF_OF_POSSESSION: DST

The domain separator tag (DST) for a proof of possession.

const MESSAGE: DST

The domain separator tag (DST) for a message.

Required Associated Types

type Public: Point + FixedSize + Debug + Hash + Copy + AsRef<Self::Public>

The public key type.

type Signature: Point + FixedSize + Debug + Hash + Copy + AsRef<Self::Signature>

The signature type.

Required Methods

fn verify( public: &Self::Public, hm: &Self::Signature, signature: &Self::Signature, ) -> Result<(), Error>

Verify the signature from the provided public key and pre-hashed message.

fn batch_verify<R: RngCore + CryptoRng>( rng: &mut R, publics: &[Self::Public], hms: &[Self::Signature], signatures: &[Self::Signature], ) -> Result<(), Error>

Verify a batch of signatures from the provided public keys and pre-hashed messages.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Variant for MinPk

const PROOF_OF_POSSESSION: DST = G2_PROOF_OF_POSSESSION

const MESSAGE: DST = G2_MESSAGE

type Public = G1

type Signature = G2

impl Variant for MinSig

const PROOF_OF_POSSESSION: DST = G1_PROOF_OF_POSSESSION

const MESSAGE: DST = G1_MESSAGE

type Public = G2

type Signature = G1