在这里，我们报告了zkVM生态系统中领先建设者的进展，记录了最近的重要发布、技术突破和一般更新。 特色：@SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc 和 @openvm_org 👇

Succinct 🔹 技术 🔹 @SuccinctLabs 推出了 SP1-CC，这是一个针对 @ethereum 的 ZK 协处理器，允许开发者读取历史区块链状态，运行复杂的链外计算，并通过单个证明在链上验证结果： SP1-CC 消除了燃气限制和 EVM 限制，而无需更改 L1 代码，从而在治理、DeFi、空投和安全披露等新用例中实现了可能性。像 @eigenlayer 这样的团队已经在使用它来降低成本并增加灵活性。 🔹 合作伙伴关系 🔹 该项目最近宣布了一系列新的合作伙伴关系，包括： 🔹 @Snarkify_ZKP：作为早期证明团队加入 Succinct Prover Network，带来了一个针对实时 ZKP 生成在 GPU 和 FPGA 上优化的自定义 SP1-SRT 证明引擎，帮助减少网络的延迟和成本： 🔹 @a41_allforone：作为多节点证明者集成到网络中，配备一个协调数百个 GPU 的调度器，以及一个针对 Python 优化的后端，使得高吞吐量证明成为可能，适用于游戏、AI 和 Rollups 等应用： 🔹 @cysic_xyz：作为硬件加速的证明者加入网络，运行大型 GPU 集群，并准备推出针对 zkVM 工作负载的自定义 ASIC，贡献来自 ZPRIZE 的深厚专业知识和生产级 ZK 基础设施： 🔹 @worldcoin：合作证明 World Chain 上的所有交易，使用 OP Succinct，进行为期 7 天的主网实验，进行并行证明验证，并展示了针对最大 OP Stack 链之一的快速、成本高效的有效性证明： 🔹 @Mantle_Official：支持 Mantle Network 在测试网向 OP Succinct 的过渡，与他们的路线图保持一致，以增强安全性和去中心化，提供 ZK 驱动的故障证明和模块化基础设施： 🔹 @zan_team：作为多节点证明者加入，由 @AntChainOpenLab 提供支持，贡献硬件加速基础设施和基于 FPGA 的 SP1 优化，使证明速度比 CPU 提高 20 倍，帮助降低网络成本并为 ZK ASIC 的发展铺平道路： 🔹 媒体 🔹 最后，Succinct 联合创始人 @pumatheuma 最近在 'Succinct Special' 中与 @alicelingl 一起讨论了 Succinct 的最新进展和所有 ZK 相关内容：

ZKM 🔹 技术 🔹 @ProjectZKM 推出了 Ziren - 一种具有分布式证明的 GPU 加速 zkVM，之前称为 zkMIPS： 基于 zk 高效的 MIPS32r2 架构，Ziren 已经在 @GOATRollup 等现实世界应用中发挥作用，并显著减少了与之前版本相比的证明生成时间。 🔹 研究 🔹 ZKM 发布了多篇新文章，突出了其 ZK 证明栈的最新进展： 🔹 第一篇文章介绍了 Ziren 重新品牌所带来的升级 - GPU 加速、分布式证明和各种约束优化： 🔹 第二篇解释了 Ziren 系统框架，涵盖了从高级代码到链上证明的完整流程。它详细说明了如何将基于 MIPS 的执行轨迹转换为 STARKs，递归聚合与 PLONK，并最终转化为 Groth16 以实现高效验证： 🔹 第三篇文章完成了 ZKM 的 ISA 系列三部曲，重点讲述了 ZKM 为什么选择 MIPS32r2 而不是 RISC-V。它强调了电路的稳定性和证明的持久性，解释了 MIPS 如何提供一个固定、不变的 ISA，确保证明在多年内保持有效而无需返工： 🔹 在最近的文章中，ZKM 介绍了 Jagged Polynomial Commitments - 一种处理 zkVM 中不规则矩阵的方法。通过使用稀疏到密集的转换和求和检查协议，它使得在动态证明结构中实现可扩展、高效的承诺成为可能： 🔹 媒体 🔹 最后，@DacEconomy (ZKM 首席科学家) 和 @sd_eigen (GOAT Network 核心贡献者) 加入 @alicelingl 讨论 ZKM 的 zkVM 如何为 GOAT Network 的 Bitcoin L2 提供支持： 他们探讨了纠缠 Rollup 基础设施、实时和聚合证明生成，以及用数学确定性替代验证者信任 - 突出了 GOAT 在 Bitcoin 可扩展性方面的架构和安全模型。

RISC Zero/Boundless 🔹 技术 🔹 @boundless_xyz 由 @RiscZero 在 @base 上推出了其主网测试版，将 ZKP 应用于现实世界： “信号”被引入 - 一个开源的 ZK 客户端，将 @ethereum 的最终性压缩为一个单一的证明，实现跨链验证。通过将执行与共识分离，Boundless 允许可扩展计算而不牺牲安全性。证明是无权限的，已经在 Base 上运行的真实激励和实时应用支持。 🔹 合作伙伴关系 🔹 Boundless 的信号现在得到了 @eigenlayer、@unichain、@LineaBuild、@wormhole、@Optimism、@StellarOrg、@RiscZero、@build_on_bob、@anoma、@alt_layer、@conduitxyz、@taikoxyz、@Alchemy、@hyli_org、@celestia、@AragonProject 和 @union_build 的支持。 这些网络共同使基于 ZK 的 @ethereum 最终性成为跨链应用的通用、可验证原语 - 无需预言机、桥接或信任假设：

在最新的 Ethproofs 会议上，@succinct_li 来自 @brevis_zk 分享了关于 Brevis 自家 zkVM Pico 的更新：（时间戳 11:06） Brevis 的基于 GPU 的证明器 Pico v1.0 相比他们的 CPU 版本提供了高达 20 倍的速度提升，并且在性能上超越了领先竞争对手约 25-27%。 团队计划在八月底之前发布 Pico v2.0，目标是实现实时证明。他们还打算在未来几个月完成多 GPU 和多机器支持后开源 GPU 代码。

Lita @0xLita 发布了 Valida 0.10.0，这是其 zkVM 堆栈的重大更新： 此次发布增加了用于部分执行证明的 Continuations、用于基于浏览器的 zk 证明的客户端 WASM API，以及改进的 Rust/LLVM 工具链支持。 它还包括适用于 x86 和 ARM 的 Docker 镜像、对 Secp256k1 和 memcpy 的早期支持，以及 Reva，一个 @ethereum 区块执行器。

OpenVM @openvm_org 发布了 1.3.0 版本，引入了重新设计的来宾库，干净地将低级绑定与高级 API 分开： 此次更新包括一个用于验证 STARK 证明的新 Rust 库，支持 Cargo 选项的 CLI 增强，以及针对 k256 和 p256 等加密库的补丁。没有发生电路更改。鼓励开发者迁移到新库。