Append‑only variant of Merkle trees optimized for proofs over growing logs.