Module verify 

Verification routines.

Implements RFC 6962 §2.1.1 (inclusion) and §2.1.2 (consistency) proof verification. These are the same routines a real-world monitor would run on every proof it sees.

Functions

hash_pair 🔒

verify_consistency

RFC 6962 §2.1.2 consistency proof verification. Given the old root, the old size, the new (claimed) head, and the consistency proof from the server, verify that the new head is a valid append-only continuation of the old tree.

verify_inclusion

RFC 6962 §2.1.1 inclusion proof verification. Given the leaf hash, the proof steps, and the claimed root, verify the leaf is actually in the tree under that root.