Struct ProofBundleVerification

Source

pub struct ProofBundleVerification {
    pub summary: ProofBundleSummary,
    pub valid: bool,
    pub exists_count: usize,
    pub absence_count: usize,
    pub entry_count: usize,
    pub diff_count: usize,
    pub next_cursor: Option<RangeCursor>,
}

Expand description

Store-independent verification result for opaque canonical proof bundle bytes.

This result is intentionally aggregate-level: it proves whether the decoded bundle verifies and reports counts that are useful for routing, logging, and sync protocols. Call the typed verifier after routing when callers need full values, range entries, or diff payloads.

Fields§

§summary: ProofBundleSummary

Lightweight decoded bundle metadata.

§valid: bool

Whether the decoded typed proof verifies.

§exists_count: usize

Number of verified existing keys for key and multi-key proofs.

§absence_count: usize

Number of verified absent keys for key and multi-key proofs.

§entry_count: usize

Number of verified entries for range and range-page proofs.

§diff_count: usize

Number of verified diffs for diff-page proofs.

§next_cursor: Option<RangeCursor>

Continuation cursor proved by a diff-page proof, when present.

Struct ProofBundleVerification Copy item path

Fields§

Implementations§

impl ProofBundleVerification

pub fn kind_name(&self) -> &'static str

Trait Implementations§

impl Clone for ProofBundleVerification

fn clone(&self) -> ProofBundleVerification

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

impl Debug for ProofBundleVerification

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

impl Eq for ProofBundleVerification

impl PartialEq for ProofBundleVerification

fn eq(&self, other: &ProofBundleVerification) -> bool

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

impl StructuralPartialEq for ProofBundleVerification

Auto Trait Implementations§

impl Freeze for ProofBundleVerification

impl RefUnwindSafe for ProofBundleVerification

impl Send for ProofBundleVerification

impl Sync for ProofBundleVerification

impl Unpin for ProofBundleVerification

impl UnsafeUnpin for ProofBundleVerification

impl UnwindSafe for ProofBundleVerification

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<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> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

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 = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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 ProofBundleVerification

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<T> CloneToUninit for T
where T: Clone,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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>,