Struct OcsNonInclusionProof 

pub struct OcsNonInclusionProof {
    pub non_inclusion_proof: MerkleNonInclusionProof<ObjectReference>,
    pub tree_root: Digest,
}

Available on crate feature unstable only.

An OCS non-inclusion proof.

Proves that no leaf with a given object id appears in the modified-objects Merkle tree whose root is tree_root — for a tree built over ObjectReferences in sorted order — and that tree_root is committed to by a CheckpointSummary’s CheckpointArtifacts commitment.

Object-id non-inclusion is strictly stronger than reference non-inclusion: the OCS keys leaves by (object_id, version, digest) triples, and verifying that one specific triple is absent leaves open the possibility that a different triple with the same object id is in the tree. The bracketing check enforces that the left and right neighbour leaves have object ids that strictly flank the target id, which combined with the neighbours being at adjacent indices in the sorted tree proves that no leaf under the target id can be in the tree.

Fields

non_inclusion_proof: MerkleNonInclusionProof<ObjectReference>

The Merkle non-inclusion proof, holding inclusion proofs for the bracketing neighbours of the target object id.

tree_root: Digest

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

Implementations

impl OcsNonInclusionProof

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

Verify that no leaf with object_id appears in the OCS Merkle tree committed to by summary.

As with OcsInclusionProof::verify, the caller is responsible for ensuring summary itself is trusted.

Stronger than verifying that a single (object_id, version, digest) triple is absent: the bracketing neighbours’ object ids must strictly flank object_id, which combined with the neighbours being at adjacent indices in the sorted tree proves that no leaf with any version or digest under object_id is in the tree.

Trait Implementations

impl Clone for OcsNonInclusionProof

fn clone(&self) -> OcsNonInclusionProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OcsNonInclusionProof

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

Formats the value using the given formatter.

impl PartialEq for OcsNonInclusionProof

fn eq(&self, other: &OcsNonInclusionProof) -> 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 OcsNonInclusionProof

impl StructuralPartialEq for OcsNonInclusionProof