在這裡，我們報告了 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 優化，將證明速度提高 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： 他們探討了 Entangled 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 堆疊的重大更新： 此次發布增加了部分執行證明的延續性，為基於瀏覽器的 zk 證明提供了客戶端 WASM API，並改善了 Rust/LLVM 工具鏈的支持。 它還包括 x86 和 ARM 的 Docker 映像，對 Secp256k1 和 memcpy 的早期支持，以及 Reva，一個 @ethereum 區塊執行器。

OpenVM @openvm_org 已經發布了 1.3.0 版本，推出了重新設計的來賓庫，將低層綁定與高層 API 清晰分開： 此次更新包括一個新的 Rust 庫，用於驗證 STARK 證明，CLI 增強支持 Cargo 選項，以及針對 k256 和 p256 等加密庫的修補程序。沒有發生電路變更。鼓勵開發者遷移到新的庫。