Module audit 

PunkGo cryptographic audit trail — Merkle tree proofs and checkpoints.

This crate implements the append-only verification layer using Google’s tlog algorithm:

• AuditLog::append_leaf — add event hash to the Merkle tree
• AuditLog::make_checkpoint — generate C2SP-compatible signed tree head
• AuditLog::inclusion_proof — RFC 6962 proof that an event exists in the tree
• AuditLog::consistency_proof — RFC 6962 proof that the tree is append-only

These proofs enable whitepaper invariants §3.5 (append-only provable) and §3.7 (independently verifiable). Any third party can verify history integrity using only the checkpoint and proof hashes.

Structs

AuditCheckpoint

A persisted Signed Tree Head (checkpoint).

AuditLog

Audit log: maintains the Merkle tree of event hashes and generates C2SP-compatible checkpoints and proofs using Google’s tlog algorithm.

Enums

AuditError