Struct JustificationChain 

pub struct JustificationChain { /* private fields */ }

The chain of ValidatedBlock quorums that justifies a validated or confirmed block, from the round where the block was first validated up to the certifying round.

Links are ordered by strictly increasing round. The quorum in link i was cast with unlocking round links[i - 1].round — i.e. it is justified by the previous, lower link — and the first link (index 0) was cast with unlocking round 0 (None), the fresh proposal that grounds the chain. An empty chain means the block was confirmed in the fast round, which needs no validation.

Implementations

impl JustificationChain

pub fn new(links: Vec<JustificationLink>) -> Self

Creates a justification chain from its links, ordered by increasing round.

pub fn links(&self) -> &[JustificationLink]

Returns the links, ordered by increasing round.

pub fn append( &self, round: Round, signatures: Vec<(ValidatorPublicKey, ValidatorSignature)>, ) -> Self

Returns a new chain with the given quorum appended as a new top link in round, i.e. the highest, certifying round. The existing links must all be in lower rounds.

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

Returns the unlocking round that a certificate sitting on top of this chain signed: the round of the highest link, or None if the chain is empty.

pub fn commitment(&self, value_hash: CryptoHash) -> Option<CryptoHash>

Returns the justification commitment that a vote sitting on top of this chain signs (see VoteValue): the hash of the top link as a CommittedQuorum, which transitively commits to every link below. None iff the chain is empty.

pub fn verify( &self, value_hash: CryptoHash, ) -> Result<Option<CryptoHash>, ChainError>

Verifies the chain structurally — rounds strictly increase, so each link sits in a higher round than the one justifying it — and returns its justification commitment.

Link signatures are deliberately not verified here. The quorum built on top of this chain signs the chain’s commitment, so a single signature check over that quorum attests every link below it: each link’s voters verified the quorum beneath them before signing over its hash. Signing over an invalid quorum is itself an attributable fault, so link signatures are only re-checked when auditing a chain to blame the validators that attested an invalid link.

The chain length needs no explicit cap: strictly increasing rounds mean a chain of n links spans n distinct rounds, and each link must carry a genuine quorum, so a longer chain necessarily reaches a higher round and cannot be inflated cheaply. The observed length is recorded as a metric so real contention shows up in monitoring.

Trait Implementations

impl Allocative for JustificationChain

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

impl Clone for JustificationChain

fn clone(&self) -> JustificationChain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for JustificationChain

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

Formats the value using the given formatter.

impl Default for JustificationChain

fn default() -> JustificationChain

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for JustificationChain

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for JustificationChain

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for JustificationChain

impl StructuralPartialEq for JustificationChain