Struct ProofVerification

Source

pub struct ProofVerification {
    pub proof_index: usize,
    pub reconstructed_root: Option<[u8; 32]>,
    pub root_reconstruction: InspectionFinding,
    pub attached_root_equality: InspectionFinding,
    pub ts_signature: InspectionFinding,
    pub inclusion: InspectionFinding,
    pub verifying_key_indices: Vec<usize>,
}

Expand description

Root reconstruction alone is explicitly not inclusion authentication.

Fields§

§proof_index: usize§reconstructed_root: Option<[u8; 32]>§root_reconstruction: InspectionFinding§attached_root_equality: InspectionFinding§ts_signature: InspectionFinding§inclusion: InspectionFinding§verifying_key_indices: Vec<usize>

Indices into ReceiptVerificationReport::candidate_keys.

ProofVerification

Struct ProofVerification Copy item path

Fields§

Trait Implementations§

impl Clone for ProofVerification

fn clone(&self) -> Self

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

impl Debug for ProofVerification

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

Auto Trait Implementations§

impl Freeze for ProofVerification

impl RefUnwindSafe for ProofVerification

impl Send for ProofVerification

impl Sync for ProofVerification

impl Unpin for ProofVerification

impl UnsafeUnpin for ProofVerification

impl UnwindSafe for ProofVerification

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DTwhere ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DTwhere ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Read<Exclusive, BecauseExclusive> for Twhere T: ?Sized,

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = !

fn try_from(value: U) -> Result<T, !>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct ProofVerification

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,