Module checkpoint 

Merkle-committed receipt batch checkpointing.

Produces signed kernel checkpoint statements that commit a batch of receipts to a Merkle root. Inclusion proofs allow verifying that a specific receipt was part of a batch without replaying the entire log.

Issuance schema: “chio.checkpoint_statement.v2”

Structs

CheckpointChainFrontier

Append-only frontier of the checkpoint-chain Merkle tree.

CheckpointConsistencyProof

A Merkle consistency proof between two checkpoint-chain commitments.

CheckpointEquivocation

A deterministic conflict record derived from multiple checkpoint statements.

CheckpointPublication

A deterministic publication record derived from a signed checkpoint.

CheckpointTransparencySummary

Derived transparency records for a set of checkpoints.

CheckpointWitness

A deterministic witness record derived from a checkpoint’s predecessor digest.

KernelCheckpoint

A signed kernel checkpoint statement.

KernelCheckpointBody

The signed body of a kernel checkpoint statement.

ReceiptInclusionProof

A Merkle inclusion proof for a receipt within a checkpoint batch.

Enums

CheckpointConsistencyAnchor

What ties the prefix below a consistency proof’s earlier endpoint to a history the verifier accepts.

CheckpointEquivocationKind

Classifies a conflicting checkpoint observation.

CheckpointError

Error type for checkpoint operations.

Constants

CHECKPOINT_CONSISTENCY_PROOF_SCHEMA

Schema used for new consistency-proof issuance.

CHECKPOINT_CONSISTENCY_PROOF_SCHEMA_V1

Legacy metadata-only continuity record.

CHECKPOINT_CONSISTENCY_PROOF_SCHEMA_V2

Cryptographic checkpoint-chain consistency proof.

CHECKPOINT_EQUIVOCATION_SCHEMA

CHECKPOINT_PUBLICATION_SCHEMA

CHECKPOINT_SCHEMA

Schema used for new checkpoint issuance.

CHECKPOINT_SCHEMA_V1

Legacy checkpoint statement without a checkpoint-chain commitment.

CHECKPOINT_SCHEMA_V2

Checkpoint statement that may carry the signed checkpoint-chain commitment.

CHECKPOINT_WITNESS_SCHEMA

Functions

bind_checkpoint_publication_trust_anchor

Attach a validated trust-anchor binding to an already-derived publication.

build_checkpoint

Build a signed kernel checkpoint from a batch of canonical receipt bytes.

build_checkpoint_consistency_proof

Build a Merkle consistency proof showing that current’s chain commitment is an append-only extension of previous’s.

build_checkpoint_publication

Build a deterministic publication record from a signed checkpoint.

build_checkpoint_transparency

Derive publication, witness, and equivocation records from a checkpoint set.

build_checkpoint_with_chain_frontier

Build a signed kernel checkpoint from the chain frontier rather than from every prior leaf.

build_checkpoint_with_previous

Build a signed kernel checkpoint that explicitly links to the previous checkpoint when provided.

build_checkpoint_witness

Build a deterministic witness record when witness_checkpoint cites checkpoint.

build_inclusion_proof

Build an inclusion proof for a leaf in an already-built MerkleTree.

build_trust_anchored_checkpoint_publication

Build a deterministic publication record that is explicitly bound to declared trust-anchor verifier material.

checkpoint_body_sha256

Return the canonical SHA-256 digest for a checkpoint body.

checkpoint_chain_leaf_hash

RFC 6962 leaf hash of a checkpoint body’s chain-commitment leaf.

checkpoint_chain_leaf_hash_from_parts

RFC 6962 leaf hash of one checkpoint’s chain-commitment leaf.

checkpoint_chain_root

Chain-commitment root over an ordered, gap-free run of chain leaves starting at checkpoint_seq 1.

checkpoint_log_id

checkpoint_log_tree_size

describe_checkpoint_equivocation

Render a checkpoint conflict as a stable, human-readable description.

detect_checkpoint_equivocation

Detect whether two checkpoints conflict under Chio transparency semantics.

is_supported_checkpoint_schema

validate_checkpoint

Validate the integrity of a single checkpoint statement.

validate_checkpoint_predecessor

Validate that checkpoint cleanly extends predecessor.

validate_checkpoint_transparency

Validate that a checkpoint set is transparency-safe, fork-free, and connected to checkpoint 1.

verify_checkpoint_consistency_proof

Verify a genesis-anchored consistency proof against two signed checkpoints.

verify_checkpoint_consistency_proof_with_anchor

Verify a consistency proof against two signed checkpoints and an anchor for the prefix below the earlier endpoint.

verify_checkpoint_continuity

Verify that current explicitly extends previous.

verify_checkpoint_signature

Verify the signature on a KernelCheckpoint.

verify_checkpoint_transparency_records

Verify that supplied transparency records match the signed checkpoint set.