Struct CheckpointConsistencyProof 

pub struct CheckpointConsistencyProof {

    pub schema: String,
    pub log_id: String,
    pub from_checkpoint_seq: u64,
    pub to_checkpoint_seq: u64,
    pub from_checkpoint_sha256: String,
    pub to_checkpoint_sha256: String,
    pub from_log_tree_size: u64,
    pub to_log_tree_size: u64,
    pub appended_entry_start_seq: u64,
    pub appended_entry_end_seq: u64,
    pub from_chain_root: Option<Hash>,
    pub to_chain_root: Option<Hash>,
    pub chain_proof_hashes: Vec<Hash>,
    pub from_leaf_inclusion: Option<MerkleProof>,
    pub to_leaf_inclusion: Option<MerkleProof>,
}

A Merkle consistency proof between two checkpoint-chain commitments.

Proves, with RFC 6962 node hashes, that the checkpoint chain committed by to_chain_root is an append-only extension of the chain committed by from_chain_root. The chain tree has one leaf per checkpoint, so the tree sizes are the checkpoint sequences themselves.

Fields

schema: String

Schema identifier for consistency proof records.

log_id: String

Local log identity derived from the checkpoint signing key.

from_checkpoint_seq: u64

Earlier checkpoint sequence in the proven prefix chain.

to_checkpoint_seq: u64

Later checkpoint sequence in the proven prefix chain.

from_checkpoint_sha256: String

Canonical SHA-256 digest of the earlier checkpoint body.

to_checkpoint_sha256: String

Canonical SHA-256 digest of the later checkpoint body.

from_log_tree_size: u64

Cumulative log size before the append.

to_log_tree_size: u64

Cumulative log size after the append.

appended_entry_start_seq: u64

First entry sequence appended by the later checkpoint.

appended_entry_end_seq: u64

Last entry sequence appended by the later checkpoint.

from_chain_root: Option<Hash>

Signed chain commitment of the earlier checkpoint. Absent on legacy v1 metadata-only records.

to_chain_root: Option<Hash>

Signed chain commitment of the later checkpoint. Absent on legacy v1 metadata-only records.

chain_proof_hashes: Vec<Hash>

RFC 6962 consistency path from the earlier chain tree to the later chain tree.

from_leaf_inclusion: Option<MerkleProof>

Inclusion proof binding the earlier checkpoint’s own chain leaf to from_chain_root at the last position of that tree.

to_leaf_inclusion: Option<MerkleProof>

Inclusion proof binding the later checkpoint’s own chain leaf to to_chain_root at the last position. Without both endpoints bound, a key holder could commit chain trees whose leaves are unrelated to the bodies the proof names and still produce a verifying consistency path.

Trait Implementations

impl Clone for CheckpointConsistencyProof

fn clone(&self) -> CheckpointConsistencyProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckpointConsistencyProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CheckpointConsistencyProof

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for CheckpointConsistencyProof

impl PartialEq for CheckpointConsistencyProof

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for CheckpointConsistencyProof

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CheckpointConsistencyProof