Struct RangePageProof 

pub struct RangePageProof {
    pub root: Option<Cid>,
    pub after: Option<Vec<u8>>,
    pub end: Option<Vec<u8>>,
    pub path: Vec<Node>,
}

Proof for a resumable range page.

Unlike RangeProof, the lower bound is an optional exclusive cursor boundary. That lets the proof model exactly match RangeCursor semantics: a page proves every entry with key > after and key < end.

Fields

root: Option<Cid>

Root CID the node set claims to prove against, or None for an empty tree.

after: Option<Vec<u8>>

Exclusive cursor lower bound. None means start at the beginning of the keyspace.

end: Option<Vec<u8>>

Exclusive page upper bound. None means unbounded.

path: Vec<Node>

De-duplicated nodes needed to prove the page window.

Implementations

impl RangePageProof

pub fn verify(&self) -> RangePageProofVerification

Verify this page proof without consulting a store.

pub fn path_node_bytes(&self) -> Vec<Vec<u8>>

Return the de-duplicated proof nodes as deterministic encoded bytes.

pub fn from_node_bytes( root: Option<Cid>, after: Option<Vec<u8>>, end: Option<Vec<u8>>, path_node_bytes: Vec<Vec<u8>>, ) -> Result<Self, Error>

Rebuild a typed proof from encoded path nodes.

pub fn to_bundle_bytes(&self) -> Result<Vec<u8>, Error>

Serialize this page proof as a versioned, deterministic binary bundle.

pub fn from_bundle_bytes(bytes: &[u8]) -> Result<Self, Error>

Decode a proof from bytes produced by RangePageProof::to_bundle_bytes.

Trait Implementations

impl Clone for RangePageProof

fn clone(&self) -> RangePageProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RangePageProof

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

Formats the value using the given formatter.

impl PartialEq for RangePageProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RangePageProof