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