Module akd::auditor

Code for an auditor of a authenticated key directory

Functions

• audit_verify
  Verifies an audit proof, given start and end hashes for a merkle patricia tree.
• verify_consecutive_append_only
  Helper for audit, verifies an append-only proof