Enum Activity 

pub enum Activity<S: Scheme, D: Digest> {
    Notarize(Notarize<S, D>),
    Notarization(Notarization<S, D>),
    Nullify(Nullify<S>),
    Nullification(Nullification<S>),
    Finalize(Finalize<S, D>),
    Finalization(Finalization<S, D>),
    ConflictingNotarize(ConflictingNotarize<S, D>),
    ConflictingFinalize(ConflictingFinalize<S, D>),
    NullifyFinalize(NullifyFinalize<S, D>),
}

Activity represents all possible activities that can occur in the consensus protocol. This includes both regular consensus messages and fault evidence.

Verification

Some activities issued by consensus are not guaranteed to be cryptographically verified (i.e. if not needed to produce a minimum quorum certificate). Use Activity::verified to check if an activity may not be verified, and Activity::verify to perform verification.

Activity Filtering

For non-attributable schemes like crate::simplex::signing_scheme::bls12381_threshold, exposing per-validator activity as fault evidence is not safe: with threshold cryptography, any t valid partial signatures can be used to forge a partial signature for any player.

Use crate::simplex::signing_scheme::reporter::AttributableReporter to automatically filter and verify activities based on Scheme::is_attributable.

Variants

Notarize(Notarize<S, D>)

A validator’s notarize vote over a proposal.

Notarization(Notarization<S, D>)

A recovered certificate for a notarization (scheme-specific).

Nullify(Nullify<S>)

A validator’s nullify vote used to skip the current view.

Nullification(Nullification<S>)

A recovered certificate for a nullification (scheme-specific).

Finalize(Finalize<S, D>)

A validator’s finalize vote over a proposal.

Finalization(Finalization<S, D>)

A recovered certificate for a finalization (scheme-specific).

ConflictingNotarize(ConflictingNotarize<S, D>)

Evidence of a validator sending conflicting notarizes (Byzantine behavior).

ConflictingFinalize(ConflictingFinalize<S, D>)

Evidence of a validator sending conflicting finalizes (Byzantine behavior).

NullifyFinalize(NullifyFinalize<S, D>)

Evidence of a validator sending both nullify and finalize for the same view (Byzantine behavior).

Implementations

impl<S: Scheme, D: Digest> Activity<S, D>

pub fn verified(&self) -> bool

Indicates whether the activity is guaranteed to have been verified by consensus.

pub fn verify<R: Rng + CryptoRng>( &self, rng: &mut R, scheme: &S, namespace: &[u8], ) -> bool

Verifies the validity of this activity against the signing scheme.

This method always performs verification regardless of whether the activity has been previously verified. Callers can use Activity::verified to check if verification is necessary before calling this method.

Trait Implementations

impl<S: Clone + Scheme, D: Clone + Digest> Clone for Activity<S, D>

fn clone(&self) -> Activity<S, D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug + Scheme, D: Debug + Digest> Debug for Activity<S, D>

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

Formats the value using the given formatter.

impl<S: Scheme, D: Digest> EncodeSize for Activity<S, D>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

impl<S: Scheme, D: Digest> Epochable for Activity<S, D>

type Epoch = u64

Epoch is the type used to indicate a contiguous sequence of views in which the set of validators is constant.

fn epoch(&self) -> Epoch

Returns the epoch associated with this object.

impl<S: Scheme, D: Digest> Hash for Activity<S, D>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<S: Scheme, D: Digest> PartialEq for Activity<S, D>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Scheme, D: Digest> Read for Activity<S, D>

type Cfg = <<S as Scheme>::Certificate as Read>::Cfg

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

fn read_cfg(reader: &mut impl Buf, cfg: &Self::Cfg) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<S: Scheme, D: Digest> Viewable for Activity<S, D>

type View = u64

View is the type used to indicate the in-progress consensus decision.

fn view(&self) -> View

Returns the view associated with this object.

impl<S: Scheme, D: Digest> Write for Activity<S, D>

fn write(&self, writer: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

impl<S: Scheme, D: Digest> Eq for Activity<S, D>