Enum LeafProofHint 

pub enum LeafProofHint<'a, Q> {
    Quorum(&'a Q),
    Assumption(&'a Leaf2),
}

A hint that allows a verifier to verify a proof.

The hint should be supplied by the verifier (e.g. the light client). It represents the root of trust for this proof.

Variants

Quorum(&'a Q)

The root of trust is a quorum for a particular epoch.

This quorum can be used to verify the Certificates that make up a HotStuff or HotStuff2 FinalityProof.

Assumption(&'a Leaf2)

The root of trust is an existing leaf that is already known by the verifier to be finalized.

This can be used to check that the leaf chain in a LeafProof leads up to a leaf that is finalized, and thus the whole chain is finalized.

Implementations

impl<'a> LeafProofHint<'a, StakeTableQuorum<EpochMembership<SeqTypes>>>

pub fn assumption(leaf: &'a Leaf2) -> Self

Construct a LeafProofHint from a known-finalized leaf, where the quorum type doesn’t matter.

If the quorum type matters (even though it will not be used in verification whenever the known-finalized leaf is used), use LeafProofHint::<Q>::Assumption(leaf) to specify the quorum type Q explicitly.

Trait Implementations

impl<'a, Q: Clone> Clone for LeafProofHint<'a, Q>

fn clone(&self) -> LeafProofHint<'a, Q>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, Q: Copy> Copy for LeafProofHint<'a, Q>

impl<'a, Q: Debug> Debug for LeafProofHint<'a, Q>

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

Formats the value using the given formatter.