Enum Generic 

pub enum Generic<P: PublicKey, V: Variant, N: Namespace> {
    Signer {
        participants: Set<P>,
        polynomial: Sharing<V>,
        share: Share,
        namespace: N,
    },
    Verifier {
        participants: Set<P>,
        polynomial: Sharing<V>,
        namespace: N,
    },
    CertificateVerifier {
        identity: V::Public,
        namespace: N,
    },
}

Generic BLS12-381 threshold signature implementation.

This enum contains the core cryptographic operations without protocol-specific context types. It can be reused across different protocols (simplex, aggregation, etc.) by wrapping it with protocol-specific trait implementations via the macro.

A node can play one of the following roles: a signer (with its share), a verifier (with evaluated public polynomial), or an external verifier that only checks recovered certificates.

Variants

Signer

Fields

participants: Set<P>

Participants in the committee.

polynomial: Sharing<V>

The public polynomial, used for the group identity, and partial signatures.

share: Share

Local share used to generate partial signatures.

namespace: N

Pre-computed namespace(s) for this subject type.

Verifier

Fields

participants: Set<P>

Participants in the committee.

polynomial: Sharing<V>

The public polynomial, used for the group identity, and partial signatures.

namespace: N

Pre-computed namespace(s) for this subject type.

CertificateVerifier

Fields

identity: V::Public

Public identity of the committee (constant across reshares).

namespace: N

Pre-computed namespace(s) for this subject type.

Implementations

impl<P: PublicKey, V: Variant, N: Namespace> Generic<P, V, N>

pub fn signer( namespace: &[u8], participants: Set<P>, polynomial: Sharing<V>, share: Share, ) -> Option<Self>

Constructs a signer instance with a private share and evaluated public polynomial.

The participant identity keys are used for committee ordering and indexing. The polynomial can be evaluated to obtain public verification keys for partial signatures produced by committee members.

Returns None if the share’s public key does not match any participant.

• namespace - base namespace for domain separation
• participants - ordered set of participant identity keys
• polynomial - public polynomial for threshold verification
• share - local threshold share for signing

pub fn verifier( namespace: &[u8], participants: Set<P>, polynomial: Sharing<V>, ) -> Self

Produces a verifier that can authenticate signatures but does not hold signing state.

The participant identity keys are used for committee ordering and indexing. The polynomial can be evaluated to obtain public verification keys for partial signatures produced by committee members.

• namespace - base namespace for domain separation
• participants - ordered set of participant identity keys
• polynomial - public polynomial for threshold verification

pub fn certificate_verifier(namespace: &[u8], identity: V::Public) -> Self

Creates a verifier that only checks recovered certificates.

This lightweight verifier can authenticate recovered threshold certificates but cannot verify individual signatures or partial signatures.

• namespace - base namespace for domain separation
• identity - public identity of the committee (constant across reshares)

pub fn participants(&self) -> &Set<P>

Returns the ordered set of participant public identity keys in the committee.

pub fn identity(&self) -> &V::Public

Returns the public identity of the committee (constant across reshares).

pub const fn share(&self) -> Option<&Share>

Returns the local share if this instance can generate partial signatures.

pub const fn me(&self) -> Option<Participant>

Returns the index of “self” in the participant set, if available.

pub fn sign<'a, S, D>( &self, subject: S::Subject<'a, D>, ) -> Option<Attestation<S>>

where S: Scheme<Signature = V::Signature>, S::Subject<'a, D>: Subject<Namespace = N>, D: Digest,

Signs a subject and returns the attestation.

pub fn verify_attestation<'a, S, D>( &self, subject: S::Subject<'a, D>, attestation: &Attestation<S>, ) -> bool

where S: Scheme<Signature = V::Signature>, S::Subject<'a, D>: Subject<Namespace = N>, D: Digest,

Verifies a single attestation from a signer.

pub fn verify_attestations<'a, S, R, D, I, T>( &self, rng: &mut R, subject: S::Subject<'a, D>, attestations: I, strategy: &T, ) -> Verification<S>

where S: Scheme<Signature = V::Signature>, S::Subject<'a, D>: Subject<Namespace = N>, R: CryptoRngCore, D: Digest, I: IntoIterator<Item = Attestation<S>>, T: Strategy,

Batch-verifies attestations and returns verified attestations and invalid signers.

pub fn assemble<S, I, T, M>( &self, attestations: I, strategy: &T, ) -> Option<V::Signature>

where S: Scheme<Signature = V::Signature>, I: IntoIterator<Item = Attestation<S>>, T: Strategy, M: Faults,

Assembles a certificate from a collection of attestations.

pub fn verify_certificate<'a, S, R, D, M>( &self, _rng: &mut R, subject: S::Subject<'a, D>, certificate: &V::Signature, ) -> bool

where S: Scheme, S::Subject<'a, D>: Subject<Namespace = N>, R: CryptoRngCore, D: Digest, M: Faults,

Verifies a certificate.

pub fn verify_certificates<'a, S, R, D, I, T, M>( &self, rng: &mut R, certificates: I, strategy: &T, ) -> bool

where S: Scheme, S::Subject<'a, D>: Subject<Namespace = N>, R: CryptoRngCore, D: Digest, I: Iterator<Item = (S::Subject<'a, D>, &'a V::Signature)>, T: Strategy, M: Faults,

Verifies multiple certificates in a batch.

pub const fn is_attributable() -> bool

pub const fn is_batchable() -> bool

pub const fn certificate_codec_config(&self)

pub const fn certificate_codec_config_unbounded()

Trait Implementations

impl<P: Clone + PublicKey, V: Clone + Variant, N: Clone + Namespace> Clone for Generic<P, V, N>

where V::Public: Clone,

fn clone(&self) -> Generic<P, V, N>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug + PublicKey, V: Debug + Variant, N: Debug + Namespace> Debug for Generic<P, V, N>

where V::Public: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.