本文档是关于在电路中创建 Verkle Trie 数据结构的项目提案,旨在实现状态变更在 zk 电路中的高效证明,移除了主要瓶颈 Keccak-SHA3。项目目标是学习 Verkle Trie 中使用的密码学和数据结构,并使用 Halo2 库编写电路,通过对 VKT 和 MPT 电路进行基准测试,分析 VKT 在 EVM 兼容 L2 解决方案中的效率。
以太坊协议开发者在合并后几个月取得了多项进展,包括提款、danksharding、EOF、verkle tries等。为了推进这些进展,客户端团队成员在奥地利举行了为期一周的互操作性活动Edelweiss。活动主要关注Shapella和ProtoDanksharding网络升级,以及EVM对象格式(EOF)等其他开放问题,并启动了一个新的Verkle Trie测试网。