Struct LeafProof 

pub struct LeafProof {
    leaves: Vec<Leaf2>,
    proof: FinalityProof,
}

A proof that a leaf is finalized.

Fields

leaves: Vec<Leaf2>

A chain of leaves from the requested leaf to a provably finalized leaf.

The chain is in chronological order, so leaves[0] is the requested leaf and leaves.last() is a leaf which is known or can be proven to be finalized. The chain is joined by parent_commitment, so it can be validated by recomputing the commitment of each leaf and comparing to the parent commitment of the next.

proof: FinalityProof

Some extra data proving finality for the last leaf in leaves.

Implementations

impl LeafProof

pub async fn verify( &self, hint: LeafProofHint<'_, impl Quorum>, ) -> Result<LeafQueryData<SeqTypes>>

Verify the proof.

If successful, returns the leaf which is proven finalized.

pub fn push(&mut self, new_leaf: LeafQueryData<SeqTypes>) -> bool

Append a new leaf to the proof’s chain.

Returns true if and only if we have enough data to prove at least the first leaf in the chain finalized.

pub fn add_certificate( &mut self, cert2: Arc<Certificate2<SeqTypes>>, leaf_qc: QuorumCertificate2<SeqTypes>, )

Complete a finality proof using the new protocol Certificate2.

pub fn proof(&self) -> &FinalityProof

Inspect the raw finality proof within the larger proof.

pub fn leaves(&self) -> &[Leaf2]

Inspect the leaf chain, requested leaf first, without verifying it.

pub fn epoch(&self, epoch_height: u64) -> Result<Option<EpochNumber>>

The epoch number whose quorum is needed to verify this proof.

This determines the kind of LeafProofHint needed to verify the proof. If Some, then a LeafProofHint::Quorum is needed with a quorum from this epoch. If None, then a LeafProofHint::Assumption is needed.

Trait Implementations

impl Clone for LeafProof

fn clone(&self) -> LeafProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeafProof

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

Formats the value using the given formatter.

impl Default for LeafProof

fn default() -> LeafProof

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for LeafProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LeafProof

impl PartialEq for LeafProof

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LeafProof

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LeafProof