Struct ExactRetrievalProof 

pub struct ExactRetrievalProof { /* private fields */ }

Canonical exact-retrieval proof with embedded request and outcome.

Implementations

impl ExactRetrievalProof

pub fn anchor(&self) -> &RetrievalProofAnchor

Returns the exact snapshot/log anchor.

pub fn anchor_digest(&self) -> [u8; 32]

Returns the caller-pinnable anchor digest.

pub fn semantics_version(&self) -> u16

Returns the bound exact-retrieval semantics version.

pub fn request(&self) -> &ExactRetrievalRequest

Returns the complete proven request.

pub fn outcome(&self) -> &ExactRetrievalOutcome

Returns the complete proven outcome.

pub fn proof_digest(&self) -> [u8; 32]

Returns the digest of the complete canonical proof bytes.

impl ExactRetrievalProof

pub fn new( snapshot: &SnapshotInfo, request: ExactRetrievalRequest, outcome: ExactRetrievalOutcome, ) -> Result<Self, RetrievalProofError>

Creates a canonical exact proof over a format-2 snapshot.

Errors

Returns an error for a legacy witness, invalid model, or proof bound.

pub fn to_bytes(&self) -> Result<Vec<u8>, RetrievalProofError>

Encodes the complete proof into canonical portable bytes.

Errors

Returns an error for an invalid model or exceeded hard bound.

pub fn from_bytes(encoded: &[u8]) -> Result<Self, RetrievalProofError>

Verifies and decodes canonical proof bytes.

Errors

Returns a framing, version, canonicality, checksum, or digest error.

Trait Implementations

impl Clone for ExactRetrievalProof

fn clone(&self) -> ExactRetrievalProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExactRetrievalProof

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

Formats the value using the given formatter.

impl Eq for ExactRetrievalProof

impl PartialEq for ExactRetrievalProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExactRetrievalProof