Struct HybridRetrievalProof 

pub struct HybridRetrievalProof { /* private fields */ }

Canonical hybrid-retrieval proof with both complete branch executions.

Implementations

impl HybridRetrievalProof

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

pub fn lexical_request(&self) -> &LexicalRequest

Returns the complete proven lexical branch request.

pub fn lexical_outcome(&self) -> &LexicalOutcome

Returns the complete proven lexical branch outcome.

pub fn vector_request(&self) -> &ExactRetrievalRequest

Returns the complete proven exact-vector branch request.

pub fn vector_outcome(&self) -> &ExactRetrievalOutcome

Returns the complete proven exact-vector branch outcome.

pub fn fusion_request(&self) -> &HybridRequest

Returns the deterministic fusion request.

pub fn outcome(&self) -> &HybridOutcome

Returns the complete proven hybrid outcome.

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

Returns the digest of the canonical proof bytes.

impl HybridRetrievalProof

pub fn new( snapshot: &SnapshotInfo, lexical_request: LexicalRequest, lexical_outcome: LexicalOutcome, vector_request: ExactRetrievalRequest, vector_outcome: ExactRetrievalOutcome, fusion_request: HybridRequest, outcome: HybridOutcome, ) -> Result<Self, RetrievalProofError>

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

Errors

Returns an error for a legacy witness, invalid branch/fusion 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 hybrid proof bytes.

Errors

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

Trait Implementations

impl Clone for HybridRetrievalProof

fn clone(&self) -> HybridRetrievalProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HybridRetrievalProof

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

Formats the value using the given formatter.

impl Eq for HybridRetrievalProof

impl PartialEq for HybridRetrievalProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for HybridRetrievalProof