An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses - View it on GitHub