Struct akd::proof_structs::HistoryProof

pub struct HistoryProof<H: Hasher> {
    pub update_proofs: Vec<UpdateProof<H>>,
    pub next_few_vrf_proofs: Vec<Vec<u8>>,
    pub non_existence_of_next_few: Vec<NonMembershipProof<H>>,
    pub future_marker_vrf_proofs: Vec<Vec<u8>>,
    pub non_existence_of_future_markers: Vec<NonMembershipProof<H>>,
}

This proof is an array of UpdateProofs and proofs of non-membership of future entries

Fields

update_proofs: Vec<UpdateProof<H>>

For each version v = 1…n of a user’s key, include a proof that the previous version was retired at the same time as this version was added. (for version 1, it’s just a mem proof).

next_few_vrf_proofs: Vec<Vec<u8>>

VRF Proofs for the labels of the next few values, these are values in the set [latest_version + 1, …, 2^(log(latest_version+1))-1]

non_existence_of_next_few: Vec<NonMembershipProof<H>>

Proof that the next few values did not exist at this time

future_marker_vrf_proofs: Vec<Vec<u8>>

VRF proofs for the labels of future marker entries, these are values with version numbers [2^(log(latest_version+1)), …, 2^(log(latest_epoch))]

non_existence_of_future_markers: Vec<NonMembershipProof<H>>

Proof that future markers did not exist

Trait Implementations

impl<H: Hasher> Clone for HistoryProof<H>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<H: Debug + Hasher> Debug for HistoryProof<H>

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

Formats the value using the given formatter.

impl<H: PartialEq + Hasher> PartialEq<HistoryProof<H>> for HistoryProof<H>

fn eq(&self, other: &HistoryProof<H>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<H: Eq + Hasher> Eq for HistoryProof<H>

impl<H: Hasher> StructuralEq for HistoryProof<H>

impl<H: Hasher> StructuralPartialEq for HistoryProof<H>