pub fn build_checkpoint_consistency_proof(
previous: &KernelCheckpoint,
current: &KernelCheckpoint,
) -> Result<CheckpointConsistencyProof, CheckpointError>Expand description
Build a deterministic consistency proof when current cleanly extends previous.