在生产中有任何基于实心的稀疏默克尔树的实现吗？

Question

在L2系统中，稀疏默克尔树似乎是有用的证明。当环顾四周时，可以发现许多项目实现稀疏Merkle树来验证状态树或帐户树。

出于安全考虑，我对稀疏Merkle树的审定版本感兴趣。是否有一个稀疏的Merkle树实现的稳固性，已经运行和管理了大量的生产价值在implementation上？如果是的话，它的实现是否是开源的，例如在GitHub上？

Answer 1

ETH 2存款合同实现了一个稀疏的Merkle树，它在编写这个答案时保存了140亿美元。