Struct akd_client::UpdateProof
source · [−]pub struct UpdateProof {
pub epoch: u64,
pub plaintext_value: AkdValue,
pub version: u64,
pub existence_vrf_proof: Vec<u8>,
pub existence_at_ep: MembershipProof,
pub previous_val_vrf_proof: Option<Vec<u8>>,
pub previous_val_stale_at_ep: Option<MembershipProof>,
pub non_existence_before_ep: Option<NonMembershipProof>,
pub next_few_vrf_proofs: Vec<Vec<u8>>,
pub non_existence_of_next_few: Vec<NonMembershipProof>,
pub future_marker_vrf_proofs: Vec<Vec<u8>>,
pub non_existence_of_future_markers: Vec<NonMembershipProof>,
}
Expand description
A vector of UpdateProofs are sent as the proof to a history query for a particular key. For each version of the value associated with the key, the verifier must check that:
- the version was included in the claimed epoch,
- the previous version was retired at this epoch,
- the version did not exist prior to this epoch,
- the next few versions (up until the next marker), did not exist at this epoch,
- the future marker versions did not exist at this epoch.
Fields
epoch: u64
Epoch of this update
plaintext_value: AkdValue
Value at this update
version: u64
Version at this update
existence_vrf_proof: Vec<u8>
VRF proof for the label for the current version
existence_at_ep: MembershipProof
Membership proof to show that the key was included in this epoch
previous_val_vrf_proof: Option<Vec<u8>>
VRF proof for the label for the previous version which became stale
previous_val_stale_at_ep: Option<MembershipProof>
Proof that previous value was set to old at this epoch
non_existence_before_ep: Option<NonMembershipProof>
Proof that this value didn’t exist prior to this ep
next_few_vrf_proofs: Vec<Vec<u8>>
VRF Proofs for the labels of the next few values
non_existence_of_next_few: Vec<NonMembershipProof>
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
non_existence_of_future_markers: Vec<NonMembershipProof>
Proof that future markers did not exist
Trait Implementations
sourceimpl Clone for UpdateProof
impl Clone for UpdateProof
sourcefn clone(&self) -> UpdateProof
fn clone(&self) -> UpdateProof
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Debug for UpdateProof
impl Debug for UpdateProof
sourceimpl PartialEq<UpdateProof> for UpdateProof
impl PartialEq<UpdateProof> for UpdateProof
sourcefn eq(&self, other: &UpdateProof) -> bool
fn eq(&self, other: &UpdateProof) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &UpdateProof) -> bool
fn ne(&self, other: &UpdateProof) -> bool
This method tests for !=
.
impl Eq for UpdateProof
impl StructuralEq for UpdateProof
impl StructuralPartialEq for UpdateProof
Auto Trait Implementations
impl RefUnwindSafe for UpdateProof
impl Send for UpdateProof
impl Sync for UpdateProof
impl Unpin for UpdateProof
impl UnwindSafe for UpdateProof
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more