Struct LexicalRetrievalProof 

pub struct LexicalRetrievalProof { /* private fields */ }

Canonical lexical-retrieval proof with embedded request and outcome.

Implementations

impl LexicalRetrievalProof

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 lexical semantics version.

pub fn request(&self) -> &LexicalRequest

Returns the complete proven lexical request.

pub fn outcome(&self) -> &LexicalOutcome

Returns the complete proven lexical outcome.

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

Returns the digest of the canonical proof bytes.

impl LexicalRetrievalProof

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

Creates a canonical lexical 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 lexical proof bytes.

Errors

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

Trait Implementations

impl Clone for LexicalRetrievalProof

fn clone(&self) -> LexicalRetrievalProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LexicalRetrievalProof

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

Formats the value using the given formatter.

impl Eq for LexicalRetrievalProof

impl PartialEq for LexicalRetrievalProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LexicalRetrievalProof