Struct akd::LookupProof

pub struct LookupProof {
    pub epoch: u64,
    pub value: AkdValue,
    pub version: u64,
    pub existence_vrf_proof: Vec<u8, Global>,
    pub existence_proof: MembershipProof,
    pub marker_vrf_proof: Vec<u8, Global>,
    pub marker_proof: MembershipProof,
    pub freshness_vrf_proof: Vec<u8, Global>,
    pub freshness_proof: NonMembershipProof,
    pub commitment_nonce: Vec<u8, Global>,
}

Proof that a given label was at a particular state at the given epoch. This means we need to show that the state and version we are claiming for this node must have been:

• committed in the tree,
• not too far ahead of the most recent marker version,
• not stale when served. This proof is sent in response to a lookup query for a particular key.

Fields

epoch: u64

The epoch of this record

value: AkdValue

The plaintext value in question

version: u64

The version of the record

existence_vrf_proof: Vec<u8, Global>

VRF proof for the label corresponding to this version

existence_proof: MembershipProof

Record existence proof

marker_vrf_proof: Vec<u8, Global>

VRF proof for the marker preceding (less than or equal to) this version

marker_proof: MembershipProof

Existence at specific marker

freshness_vrf_proof: Vec<u8, Global>

VRF proof for the label corresponding to this version being stale

freshness_proof: NonMembershipProof

Freshness proof (non member at previous epoch)

commitment_nonce: Vec<u8, Global>

Proof for commitment value derived from raw AkdLabel and AkdValue

Trait Implementations

impl Clone for LookupProof

fn clone(&self) -> LookupProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LookupProof

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

Formats the value using the given formatter.

impl From<&LookupProof> for LookupProof

fn from(input: &LookupProof) -> LookupProof

Converts to this type from the input type.

impl PartialEq<LookupProof> for LookupProof

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

type Error = ConversionError

The type returned in the event of a conversion error.

fn try_from( input: &LookupProof ) -> Result<LookupProof, <LookupProof as TryFrom<&LookupProof>>::Error>

Performs the conversion.

impl Eq for LookupProof

impl StructuralEq for LookupProof

impl StructuralPartialEq for LookupProof