Struct ValidatedBlockCertificate 

pub struct ValidatedBlockCertificate { /* private fields */ }

Certificate for a ValidatedBlock instance, certified in some round whose ValidatedBlock voters signed an unlocking round.

A validated block certificate means the block is valid (but not necessarily finalized yet). Since only one block per round is validated, there can be at most one such certificate in every round. It wraps the signed quorum and carries the justification chain that grounds the unlocking round the voters signed.

Implementations

impl ValidatedBlockCertificate

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

Creates a validated block certificate with an empty justification chain (unlocking round None).

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

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

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

Returns the signed quorum of ValidatedBlock votes.

pub fn justification(&self) -> &JustificationChain

Returns the chain of validated quorums in rounds below this certificate’s.

pub fn into_parts( self, ) -> (GenericCertificate<ValidatedBlock>, 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) -> ValidatedBlock

Consumes this certificate, returning the validated block it contains.

pub fn into_inner(self) -> ValidatedBlock

Consumes this certificate, returning the validated block it contains.

pub fn full_justification(&self) -> JustificationChain

Returns the full justification chain that a certificate certified in a higher round on top of this one would carry: the chain below it, with this certificate’s own quorum appended as the new top link.

pub fn full_justification_commitment(&self) -> CryptoHash

Returns the justification commitment that a vote citing this certificate signs: the hash of this certificate’s own quorum as a CommittedQuorum, which transitively commits to the chain below it. Equals full_justification’s commitment.

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

Verifies the certificate: its signatures, its justification chain, that the unlocking round matches the top of the chain, and that the chain lies in rounds strictly below this certificate’s. Delegates to LiteCertificate::check, the single source of truth for the quorum-to-chain binding.

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

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

Methods from Deref<Target = GenericCertificate<ValidatedBlock>>

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.

pub fn outgoing_message_count(&self) -> usize

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

pub fn block(&self) -> &Block

Returns reference to the Block contained in this certificate.

Trait Implementations

impl Allocative for ValidatedBlockCertificate

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

impl Certified for ValidatedBlockCertificate

type Value = ValidatedBlock

The kind of value this certificate certifies.

fn value(&self) -> &ValidatedBlock

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 ValidatedBlockCertificate

fn clone(&self) -> ValidatedBlockCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ValidatedBlockCertificate

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

Formats the value using the given formatter.

impl Deref for ValidatedBlockCertificate

type Target = GenericCertificate<ValidatedBlock>

The resulting type after dereferencing.

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

Dereferences the value.

impl<'de> Deserialize<'de> for ValidatedBlockCertificate

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ValidatedBlockCertificate> for Certificate

fn from(cert: ValidatedBlockCertificate) -> Certificate

Converts to this type from the input type.

impl PartialEq for ValidatedBlockCertificate

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

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

Serialize this value into the given Serde serializer.

impl TryFrom<Certificate> for ValidatedBlockCertificate

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 ValidatedBlockCertificate

impl StructuralPartialEq for ValidatedBlockCertificate