commonware
Honey, I Shrunk the Proofs!
By combining an
active-region-aware bagging policy, pyramid bagging, with the Merkle
Mountain Belt (MMB), our new scheme makes active-value proofs small and
predictable: within two digests of a balanced binary Merkle tree over
those values (without sacrificing append-only updates).