verkle 树

该项目提出了一种新的基于 Verkle 树的状态过期方案，用于解决以太坊的状态膨胀问题。该方案将过期不活跃的状态值（如账户余额、nonce、合约代码等），并通过提交 Verkle 证明来恢复它们。该方案旨在减少节点存储需求，提高网络性能，并促进以太坊的无状态性和状态过期。

本文描述了将 Reth 以太坊执行客户端从 Merkle 树迁移到 Verkle 树，并使其成为无状态客户端的 PoC 项目。该项目旨在集成 rust-verkle 密码学原语到 reth，并实现无状态客户端功能，从而支持以太坊的去中心化和与 Zk-EVM 的兼容性。主要工作包括构造区块执行的见证(witness)、传播见证以进行无状态验证，以及从 Verkle 区块见证获取预状态。

对比默克尔树，沃克尔树是非常强大的升级，它使我们可以做出小得多的证据。

EIP-X 旨在构建一个能消费 ZKP 的极轻量级客户端，应对以太坊网络中传统轻客户端的局限性，通过witness生成器、ZKEVM 模块生成 ZKP 并分发到轻客户端节点，从而实现高效的状态验证。该方案能支持 Flashbots 的无 Gas 交易，并结合零知识证明解决抢跑交易和三明治攻击等问题，从而提高区块链数据的效率、安全性和可访问性。

以太坊无状的一个关键是，让证明数据足够小

探索 Verkle Trie 结构

介绍了以太坊未来的数据存储技术，Verkle Tree，并与现有的 Merkle Tree 进行了对比。