Plonky3

一直对zkVM比较感兴趣。zkVM将零知识证明技术应用带入一个新的时代。几年前，应用零知识证明技术需要理解复杂的零知识证明算法，并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM，业务开发人员可以采用熟悉的高级语言轻松完成证明业务的描述。目前市面上zkVM层出不穷。先看

本文是一篇关于在Plonky3框架中构建Merkle树AIR脚本的教程。作者首先介绍了Merkle树的基本概念和验证过程，然后详细讲解了如何定义AIR脚本的内存布局、约束条件（如哈希输入顺序、布尔标志、根匹配等），并通过SubAirBuilder集成Poseidon2哈希AIR。最后展示了如何生成证明迹并配置ZK系统。文章包含清晰的代码示例和图表，适合对零知识证明和STARK有基础了解的开发者。

本文档描述了基于哈希的签名聚合的不同方法，包括使用zkVM（如succinctlabs/sp1和openvm-org/openvm）以及直接使用电路（plonky3）。重点介绍了每种方法的源代码位置，以及电路方法的AIR traces的划分和作用。通过将电路分解为多个AIR traces，并使用lookup连接输入/输出，有效地处理非均匀计算，并提供了基准测试结果用于评估性能。

本文是关于 Plonky3 和 Valida 项目进展的透明更新，目标是为开发者社区提供信息。文章介绍了 Plonky3 和 Valida 的 MVP 开发进度，以及对功能完整性、Partiality、异常处理、浮点数使用、渐近复杂度和系统支持等方面的审查标准。此外，还提到了 Valida LLVM 编译器的详细说明，并考虑启动早期访问计划，以获取用户反馈并完善系统。

本文对比了三种零知识虚拟机（zkVM）的领域特定语言（DSL）：Halo2、Zirgen 和 Plonky3，它们分别代表了不同的零知识系统开发哲学，从高级抽象到低级数学原语，通过比较它们的架构、数据模型和Fibonacci示例的实际应用，帮助开发者理解零知识证明领域，并根据特定需求选择合适的工具。

Veridise 与 Succinct 合作，使用 Veridise 的工具 Picus 来验证 Succinct 的 RISC-V zkVM，SP1 电路的确定性。通过将 Plonky3 电路转换为 LLZK，成功验证了多个 SP1 电路的确定性。同时，也发现了 Plonky3 到 LLZK 转换管道的局限性，并提出了改进方向，未来计划扩展 Picus 以验证 SP1 中的所有电路。

Succinct 发布了第一代零知识虚拟机 SP1，它能验证任意 Rust 程序的执行。SP1 性能比现有 zkVM 提高了一个数量级，某些程序的 alpha 版本速度已提高 28 倍，且与基于电路的方法相比具有竞争力。SP1 是一个完全开源、鼓励贡献的公共产品，旨在为 rollups、coprocessors 和其他 ZKP 应用构建最佳 zkVM。

这篇文章介绍了 Polygon Labs 选择使用 Succinct 的 SP1 zkVM 来实现 AggLayer 的关键安全组件“pessimistic proof”，以支持以太坊生态内 rollup 之间的统一流动性和可信互操作。