Struct OcsInclusionProof 

pub struct OcsInclusionProof {
    pub merkle_proof: MerkleProof,
    pub leaf_index: u64,
    pub tree_root: Digest,
}

Available on crate feature unstable only.

An OCS inclusion proof.

Proves that a specific ObjectReference appears at leaf_index in the modified-objects Merkle tree whose root is tree_root, and that tree_root is committed to by a CheckpointSummary’s CheckpointArtifacts commitment.

Fields

merkle_proof: MerkleProof

The Merkle inclusion proof for the leaf.

leaf_index: u64

The position of the leaf in the modified-objects tree.

tree_root: Digest

The 32-byte Merkle root of the modified-objects tree.

Implementations

impl OcsInclusionProof

pub fn verify( &self, summary: &CheckpointSummary, object_ref: &ObjectReference, ) -> Result<(), ProofError>

Verify that object_ref was written in the checkpoint described by summary.

The caller is responsible for ensuring that summary itself is trusted (i.e. its BLS aggregate signature has been verified against the epoch’s validator committee). This method only checks that the proof and the summary are consistent.

Trait Implementations

impl Clone for OcsInclusionProof

fn clone(&self) -> OcsInclusionProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OcsInclusionProof

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

Formats the value using the given formatter.

impl PartialEq for OcsInclusionProof

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for OcsInclusionProof

impl StructuralPartialEq for OcsInclusionProof