Struct ConfirmedBlockCertificate 

pub struct ConfirmedBlockCertificate { /* private fields */ }

Certificate for a ConfirmedBlock instance, certified in some round by a quorum of ConfirmedBlock votes (which carry no unlocking round).

A confirmed block certificate means that the block is finalized: it is the agreed block at that height on that chain. It wraps the signed quorum and carries the full chain of validated quorums for the block, making it self-contained evidence for fault attribution.

Implementations

impl ConfirmedBlockCertificate

pub fn new( value: ConfirmedBlock, round: Round, signatures: Vec<(ValidatorPublicKey, ValidatorSignature)>, ) -> Self

Creates a confirmed block certificate with an empty justification chain (first round).

pub fn from_parts( quorum: GenericCertificate<ConfirmedBlock>, justification: JustificationChain, ) -> Self

Creates a confirmed block certificate from a signed quorum and its justification chain.

pub fn quorum(&self) -> &GenericCertificate<ConfirmedBlock>

Returns the signed quorum of ConfirmedBlock votes.

pub fn justification(&self) -> &JustificationChain

Returns the full chain of validated quorums for the block.

pub fn into_parts( self, ) -> (GenericCertificate<ConfirmedBlock>, JustificationChain)

Consumes this certificate, returning the signed quorum and the justification chain.

pub fn round(&self) -> Round

Returns the round in which the value was certified.

pub fn into_value(self) -> ConfirmedBlock

Consumes this certificate, returning the confirmed block it contains.

pub fn into_inner(self) -> ConfirmedBlock

Consumes this certificate, returning the confirmed block it contains.

pub fn check(&self, committee: &Committee) -> Result<(), ChainError>

Verifies the certificate’s signatures and justification chain: the quorum of ConfirmedBlock votes, that the justification chain is itself a valid chain of quorums, and that — if present — it heads at the confirmation round. Delegates to LiteCertificate::check, the single source of truth for the quorum-to-chain binding.

An absent chain is accepted only when the quorum carries the first-round attestation (a fast-round confirmation always does, since the fast round is a chain’s first round): the attestation asserts that no lower round exists, so any conflicting confirmation is attributable without this block’s chain — via the other block’s chain if it is higher, or via the attestation itself if it is lower (see EquivocationProof::FirstRoundViolation). The attestation is also sanity-checked against the round — it can only be set in a round that could be a chain’s first one. Whether it is the actual first round depends on the chain’s ownership at that height, which a committee-only check cannot know; that, and the obligation of a later-round block to carry its chain, rest on honest block construction (see finalize_block), full-execution verification, and the per-signature justifications retained by the commitment scheme.

pub fn lite_certificate(&self) -> LiteCertificate<'_>

Returns the LiteCertificate corresponding to this certificate, borrowing the chain.

Methods from Deref<Target = GenericCertificate<ConfirmedBlock>>

pub fn block(&self) -> &Block

Returns reference to the Block contained in this certificate.

pub fn message_bundles_for( &self, recipient: ChainId, ) -> impl Iterator<Item = (Epoch, MessageBundle)> + '_

Returns the bundles of messages sent to the specified recipient. Messages originating from different transactions of the original block are kept in separate bundles.

pub fn outgoing_message_count(&self) -> usize

Returns the total number of outgoing messages in the certified block.

pub fn round(&self) -> Round

Returns the round in which the value was certified.

pub fn unlocking_round(&self) -> Option<Round>

Returns the unlocking round the ValidatedBlock voters signed, if any.

pub fn first_round(&self) -> bool

Returns the first-round attestation the ConfirmedBlock voters signed.

pub fn justification_commitment(&self) -> Option<CryptoHash>

Returns the justification commitment the voters signed, if any.

pub fn value(&self) -> &T

Returns a reference to the Hashed value contained in this certificate.

pub fn inner(&self) -> &T

Returns reference to the value contained in this certificate.

pub fn hash(&self) -> CryptoHash

Returns the certified value’s hash.

pub fn signatures(&self) -> &Vec<(ValidatorPublicKey, ValidatorSignature)>

Returns the list of signatures on the certified value.

pub fn is_signed_by(&self, validator_name: &ValidatorPublicKey) -> bool

Returns whether the validator is among the signatories of this certificate.

pub fn check(&self, committee: &Committee) -> Result<(), ChainError>

where T: CertificateValue,

Verifies the certificate.

pub fn lite_certificate_without_justification(&self) -> LiteCertificate<'_>

where T: CertificateValue,

Returns the LiteCertificate corresponding to this certificate, without the value and with an empty justification chain.

Named explicitly because a block certificate’s real chain lives on its wrapper (ConfirmedBlockCertificate/ValidatedBlockCertificate), not on the inner quorum: calling this on the quorum would silently produce a chainless lite certificate that fails verification at the receiver. The wrappers use it and then attach their chain; Timeout certificates carry no chain, so for them it is complete on its own.

Trait Implementations

impl Allocative for ConfirmedBlockCertificate

fn visit<'allocative_a, 'allocative_b: 'allocative_a>( &self, visitor: &'allocative_a mut Visitor<'allocative_b>, )

impl Certified for ConfirmedBlockCertificate

type Value = ConfirmedBlock

The kind of value this certificate certifies.

fn value(&self) -> &ConfirmedBlock

Returns a reference to the certified value.

fn round(&self) -> Round

Returns the round in which the value was certified.

fn unlocking_round(&self) -> Option<Round>

Returns the unlocking round the ValidatedBlock voters signed, if any.

fn signatures(&self) -> &Vec<(ValidatorPublicKey, ValidatorSignature)>

Returns the validator signatures certifying this value.

fn lite_certificate(&self) -> LiteCertificate<'_>

Returns the LiteCertificate corresponding to this certificate, without the value but with the justification chain.

fn check(&self, committee: &Committee) -> Result<(), ChainError>

Verifies the certificate, including its justification chain.

fn hash(&self) -> CryptoHash

Returns the certified value’s hash.

fn is_signed_by(&self, validator_name: &ValidatorPublicKey) -> bool

Returns whether the validator is among the signatories of this certificate.

impl Clone for ConfirmedBlockCertificate

fn clone(&self) -> ConfirmedBlockCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConfirmedBlockCertificate

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

Formats the value using the given formatter.

impl Deref for ConfirmedBlockCertificate

type Target = GenericCertificate<ConfirmedBlock>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'de> Deserialize<'de> for ConfirmedBlockCertificate

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&ConfirmedBlockCertificate> for Certificate

fn from(cert: &ConfirmedBlockCertificate) -> Certificate

Converts to this type from the input type.

impl From<ConfirmedBlockCertificate> for Certificate

fn from(cert: ConfirmedBlockCertificate) -> Certificate

Converts to this type from the input type.

impl PartialEq for ConfirmedBlockCertificate

fn eq(&self, other: &ConfirmedBlockCertificate) -> 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 Serialize for ConfirmedBlockCertificate

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<Certificate> for ConfirmedBlockCertificate

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from(cert: Certificate) -> Result<Self, Self::Error>

Performs the conversion.

impl Eq for ConfirmedBlockCertificate

impl StructuralPartialEq for ConfirmedBlockCertificate