Efficient Sparse Merkle Trees: Caching Strategies and Secure (Non-)Membership Proofs
Verifiable random functions