本文档是关于在电路中创建 Verkle Trie 数据结构的项目提案，旨在实现状态变更在 zk 电路中的高效证明，移除了主要瓶颈 Keccak-SHA3。项目目标是学习 Verkle Trie 中使用的密码学和数据结构，并使用 Halo2 库编写电路，通过对 VKT 和 MPT 电路进行基准测试，分析 VKT 在 EVM 兼容 L2 解决方案中的效率。
eth-protocol-fellows