本文档是关于在电路中创建 Verkle Trie 数据结构的项目提案，旨在实现状态变更在 zk 电路中的高效证明，移除了主要瓶颈 Keccak-SHA3。项目目标是学习 Verkle Trie 中使用的密码学和数据结构，并使用 Halo2 库编写电路，通过对 VKT 和 MPT 电路进行基准测试，分析 VKT 在 EVM 兼容 L2 解决方案中的效率。
本文介绍了Pedersen承诺方案，该方案使用椭圆曲线点来表示向量，同时隐藏关于向量的信息。Pedersen承诺具有同态可加性，适用于零知识证明，可以将多个点编码成一个点，并可用于向量承诺，具有zk友好的特性，可以在zk电路中高效实现。
eth-protocol-fellows
BTCStudy