Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs - View it on GitHub