Merkle树

将本地存储开销降为 $O(1)$，通信函数开销为 $O(\log n)$