向量承诺

本文详细介绍了以太坊即将进行的“Verge”升级及其核心概念——Verkle树。Verkle树是基于向量承诺和Merkle树的结合，旨在减少证明大小，提高以太坊状态的存储效率。通过对Merkle树的局限性进行分析，文章展示了Verkle树如何解决核心问题，并为以太坊生态系统提供更高效的存储方案。

本文详细阐述了如何在零知识证明（ZKP）中通过递归折叠的方法，减少向验证者传输的数据量，从而高效地证明内积和向量的承诺。文章包括算法的详细描述、数学推导和代码实现。

本文定义了向量承诺（VC）方案，并详细介绍了相关的算法和结构，包括Vanilla VCs、SVCs以及交叉聚合SVCs的具体实现与验证过程。内容包括算法的工作流程以及认证数据的用法，还涉及了相关算法的应用场景，为理解向量承诺提供了深入的技术资料。

本文档主要介绍了以太坊的Verkle树，Verkle树结合了向量承诺和Merkle树的优点，旨在解决无状态客户端的问题，减小证明的大小、降低硬件要求、加快新节点同步，并提高与zk-EVM的兼容性。文档包含了Verkle树的介绍、常见问题解答、开发进度、测试网信息、相关资源链接以及客户端实现的状态。

本文介绍了理解Project Tachyon中集合非包含累加器的先决数学知识，回顾了群论、循环群以及离散对数问题在密码学中的应用。同时，文章详细解释了Pedersen承诺方案的隐藏和绑定特性，并展示了如何在Rust中实现这些承诺，最后说明了Pedersen承诺在隐私保护协议和简洁证明中的应用。