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.

Schema: “chio.checkpoint_statement.v1”

Structs

CheckpointConsistencyProof

A deterministic prefix-growth proof derived from checkpoint continuity.

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

CheckpointEquivocationKind

Classifies a conflicting checkpoint observation.

CheckpointError

Error type for checkpoint operations.

Constants

CHECKPOINT_CONSISTENCY_PROOF_SCHEMA

CHECKPOINT_EQUIVOCATION_SCHEMA

CHECKPOINT_PUBLICATION_SCHEMA

CHECKPOINT_SCHEMA

CHECKPOINT_WITNESS_SCHEMA

Functions

build_checkpoint

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

build_checkpoint_consistency_proof

Build a deterministic consistency proof when current cleanly extends previous.

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_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_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 and fork-free.

verify_checkpoint_consistency_proof

Verify that a consistency proof matches a concrete checkpoint extension.

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.