pub fn verify_checkpoint_consistency_proof(
previous: &KernelCheckpoint,
current: &KernelCheckpoint,
proof: &CheckpointConsistencyProof,
) -> Result<bool, CheckpointError>Expand description
Verify a genesis-anchored consistency proof against two signed checkpoints.
The earlier endpoint must be checkpoint 1; a pair that starts later carries
a prefix this input set cannot judge, so it is an error here. Mid-chain
pairs go through verify_checkpoint_consistency_proof_with_anchor.