Struct DiffPageProof 

pub struct DiffPageProof {
    pub base: RangePageProof,
    pub other: RangePageProof,
    pub lookahead_base: Option<KeyProof>,
    pub lookahead_other: Option<KeyProof>,
    pub requested_end: Option<Vec<u8>>,
    pub limit: usize,
}

Proof for a resumable diff page.

The proof verifies the base and other entries for the page key window, then recomputes the diff offline. When another diff exists after the page, the optional lookahead key proofs prove the first omitted diff key so the verifier can derive the same continuation cursor as Prolly::diff_page.

Fields

base: RangePageProof

Range-page proof over the base tree for the verified key window.

other: RangePageProof

Range-page proof over the other tree for the verified key window.

lookahead_base: Option<KeyProof>

Base-tree key proof for the first omitted diff key when there is another page.

lookahead_other: Option<KeyProof>

Other-tree key proof for the first omitted diff key when there is another page.

requested_end: Option<Vec<u8>>

Original exclusive upper bound requested by the caller.

limit: usize

Original page limit requested by the caller.

Implementations

impl DiffPageProof

pub fn verify(&self) -> DiffPageProofVerification

Verify this diff-page proof without consulting a store.

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

Serialize this diff-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 DiffPageProof::to_bundle_bytes.

Trait Implementations

impl Clone for DiffPageProof

fn clone(&self) -> DiffPageProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiffPageProof

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

Formats the value using the given formatter.

impl PartialEq for DiffPageProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DiffPageProof