zkVM 最新消息 在這裡，我們報告 zkVM 生態系統中領先建設者的進展，記錄最近的重要發布、技術突破和一般更新。 特色：@brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, 及 @ProjectZKM。 🔹 訪問以獲取來自行業的更多報告 🔹

Brevis 🔹 ProverNet 白皮書 🔹 @brevis_zk 發布了其 ProverNet 白皮書，概述了一個去中心化的市場，應用程序請求 ZK 證明能力，專業的證明者競爭提供這些能力： 該系統使用真實的在線雙重拍賣機制，將異質工作負載與合適的資源匹配，同時通過經濟激勵來強化服務質量。 ProverNet 引入了 BREV 代幣用於支付、質押和治理，並計劃很快推出一個簡化拍賣的測試主網。 🔹 媒體 🔹 在最近的一集 @HouseofZK Radio 中，@no89thkey，Brevis 的聯合創始人，介紹了團隊如何從 DeFi 起源轉向構建可驗證計算和近實時證明： 他談到了 Pico zkVM、用於 @Ethereum 區塊證明的 Pico Prism 分佈式證明者，以及 Brevis 的模塊化協處理器架構如何支持鏈上忠誠度、簡化獎勵和 CEX/DEX 橋接整合。 完整播客： 🔹 活動 🔹 Brevis 在 @EFDevcon 期間主辦並參加了幾個關鍵會議，帶來了對可驗證計算和向離鏈、基於證明的執行模型轉變的實際觀點： • Brevis 舉辦了 ZKONNECT，與 House of ZK 共同主辦，專注於 zkVM、ZK 協處理器、zkML 和 zkTLS 如何從概念轉向生產。 該計劃突出了可驗證計算的實際部署、跨鏈數據訪問和 AI 推理，以及幾個主題演講和討論，概述了團隊如何將 ZK 基礎設施應用於實際應用。 • Michael 在由 House of ZK 組織並由 Brevis 共同主辦的 Verifying Intelligence 3.0 上發表了主題演講： 他概述了為什麼大多數區塊鏈計算將遷移到離鏈並通過 ZKP 進行驗證，將 Brevis 呈現為執行重邏輯的無限計算層，並返回簡潔、可驗證的輸出。 演講涵蓋了 Pico zkVM、實時以太坊證明、Brevis 的模塊化架構以及當前推動智能 DeFi、隱私保護的證明和持續激勵系統的整合。 🔹 合作夥伴關係 🔹 最後，Brevis 和 @vana 提出了使用私有數據進行 AI 的聯合模型，通過將經過身份驗證的輸入與不揭示原始信息的本地計算相結合： Brevis zkTLS 證明數據來源，而 Pico zkVM 在用戶的設備上處理它。Vana 管理同意和獎勵，為開發者提供經過驗證的指標，並允許用戶完全控制他們的數據。 🔹 訪問以獲取來自行業各地的更多報告 🔹

Jolt (@a16zcrypto) 🔹 Ethproofs 會議 🔹 @SuccinctJT，來自 @a16zcrypto 的研究員，在最近的 @eth_proofs 會議上發表了演講。他強調了當前的 zkVM 如何通過將痕跡分割成塊並遞歸聚合證明來控制證明者的記憶體，但這增加了複雜性、錯誤風險和性能成本。 時間戳 - 32:30: Justin 接著解釋了 Jolt 如何旨在用流式方法取代這一點，將證明者的記憶體限制在幾個 GB 附近，無論循環計數如何。 大約二十個所需的 Sumcheck 組件中已有兩個在進行流式處理，其餘工作預計很快完成。 🔹 研究 🔹 Justin 還發表了一篇基於調查結果的論文，重點在於現代 SNARK 設計如何通過集中於 sum-check 協議來實現快速證明： 該論文概述了為什麼批量評估、查找論據、虛擬多項式和小值保留等技術能夠減少證明者的工作和承諾成本。 以 Jolt 作為主要案例研究，顯示了如何利用重複的計算結構來實現高效的 zkVM 並指導未來的性能改進。 🔹 訪問以獲取來自行業的更多報告 🔹

Miden 🔹 測試網 v0.12 🔹 @0xMiden 發布了其測試網 v0.12，帶來了隱私流程、密鑰管理、地址處理和開發者工具的重大更新： 此版本新增了一種支持加密的新地址格式，與 @Nethermind 的私密註解傳輸層，通過預編譯進行 ECDSA 簽名，以及對節點數據處理的改進。 它還包括交易數據可見性的基本保護措施，新的 midenup 安裝程序以簡化入門，專用的開發網絡以進行實驗，以及多個 VM 層級的增強功能以支持組合性和調試。 🔹 出版物 🔹 該項目發表了一篇文章，解釋了如何通過一個名為私密狀態管理的新系統使私密多簽成為可行，該系統與 @OpenZeppelin 共同開發： 該文章概述了為什麼傳統的多簽依賴於共享的公共狀態，Miden 的隱私模型如何使協調變得複雜，以及 PSM 的同步、協調和身份驗證層如何保持私密賬戶的一致性。文章最後舉例說明了實際用例，並指出早期的概念驗證已經可用。 🔹 活動 🔹 在 @EFDevcon 上，Miden 主辦並參加了幾個活動，包括： • 隱私沙龍，這是一個由 Miden 組織的活動，聚集了建設者、研究人員和創始人，進行短小的、以思想為驅動的演講和關於隱私、去中心化系統以及加密、web3 和傳統金融之間不斷演變的交集的公開討論。 • 驗證智能 3.0，由 @HouseofZK 組織，@huitseeker，Miden 的工程負責人，講述了 zkVM 在 zkML 中的角色，解釋了推理和訓練之間的區別、TEE 的局限性，以及 Miden 的設計如何支持實際的、抗對抗的 AI 驗證場景。 時間戳 - 02:50:12: 🔹 整合 🔹 該項目介紹了兩個新的合作夥伴關係，擴展了其在隱私、入門和基礎設施方面的生態系統，包括： • @get_para：集成了 Para 的嵌入式錢包和分佈式 MPC 身份驗證，以實現 Miden 應用程序的無縫、非託管入門。這次合作引入了無密碼登錄、即時錢包創建和流暢的用戶流程，將 Para 的用戶體驗堆棧與 Miden 的合規隱私模型對齊，以支持基於 ZK 執行的私密 DeFi、金融科技、遊戲和機構應用： • @gateway_eth：與 合作，提供企業級基礎設施以支持 Miden 的可擴展、以隱私為重點的區塊鏈網絡。這項合作確保了高可用性、快速數據訪問和運營可靠性，隨著 Miden 的擴展，Gateway 運行核心組件，如本地橋接、證明者和區塊瀏覽器，以支持 Miden 邊緣執行架構的推出： 🔹 訪問 獲取來自行業的更多報告 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs 發布了其去中心化永久期貨交易所的 Alpha 版本，作為其 Testnet III 的一部分，提供了一個基於可驗證基礎設施的簡化非保管 CLOB 平台： 此次發布專注於核心交易功能、簡化的入門流程和測試資金，而非真實資產。儘管界面簡約，但底層訂單簿經過設計以實現低延遲性能，並將隨著社區驅動的反饋和逐步引入的加密證明而擴展。 🔹 網絡狀態 🔹 Nexus 發布了其 11 月的網絡報告： 重點包括： • 網絡處理了 8719.8 萬筆交易，完成了 8703.8 萬筆，顯示出高可靠性，啟動和最終活動之間的差距非常小。 • 證明吞吐量從每秒 5810 調整為 4.16，反映出在 10 月的快速激增後，回歸到更穩定的證明基線。 • 驗證合約達到 254.8 萬，儘管延遲較高和吞吐量受到調節，仍顯示出開發者對證明環境的持續信任。 • 交易費用平均為 0.048 NEX，保持了可驗證性的低成本，並為快速迭代和頻繁的鏈上互動留出了空間。 🔹 事件 🔹 Nexus 首席科學家 @JensGroth16 參加了 @HouseofZK 的驗證智能活動中的圍爐聊天，討論了 ZKP 如何從早期的理論工作演變到今天在可驗證 AI 中的應用： 他概述了 Nexus 專注於將可證明的正確性與經濟安全相結合，並強調了標準、教育和更廣泛的機構信任的必要性，以確保可驗證系統變得可用並被廣泛採用。 🔹 訪問以獲取來自行業各地的更多報告 🔹

Risc Zero & Boundless 🔹 Ethproofs 會議 🔹 在最近的 @eth_proofs 會議 #6 中，@BruestleJeremy，@RiscZero 的首席執行官兼聯合創始人，分享了團隊如何在添加 Risc-V S 模式支持、完整的 MMU 和虛擬內存後，成功啟動了真實的 Linux 核心。 時間戳 - 20:30: 演示顯示了多個進程在運行，並且有一個接近確定性的環境，適合更廣泛的軟件堆棧。Risc Zero 計劃在下一次電路發布中發佈此功能，隨著證明者的進展持續進行。 🔹 活動 🔹 @boundless_xyz 在布宜諾斯艾利斯的 Devconnect 中參加了幾個活動，包括： • 由 @HouseofZK 與 @WPReadingClub 和 @invisiblgarden 合作組織的白皮書閱讀會議，Boundless、@citrea_xyz、@MinaProtocol 和 @o1_labs 參加了圓桌討論，討論了 Web3 和 ZK 生態系統中的最新研究發展和新興想法。 • 一個 Verifying Intelligence 3.0 小組討論，@boundless 的市場營銷總監 @reka_eth 參加了關於在 AI 和機器人技術塑造的時代中證明人類貢獻的討論，與 @OntologyNetwork 的 @humpty0x、@StarkWareLtd 的 @zKsisyfos、@ProjectZKM 的 @DacEconomy 和 @eigencloud 的 @Viggy_117 等講者一起。時間戳 - 00:57:54: 🔹 訪問以獲取來自行業的更多報告 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs 報告指出，其最新版本的 SP1 Hypercube zkVM 能在 16 個 RTX 5090 GPU 上於 12 秒內證明 99.7% 的 @ethereum L1 區塊，延續其早期的即時證明里程碑： 此次發布增加了主要的性能改進，對所有 RISC-V 約束進行了正式驗證，移除了對接近間隙猜想的依賴，並新增了安全措施。 Hypercube 正在完成審計，將以開源形式發布，並通過 Succinct Prover Network 發布。 🔹 研究 🔹 在 @ronrothblum 的最近研究中，Succinct 的密碼學負責人，@benediktbuenz (@EspressoSys)，@GiacomoFenzi (@EPFL)，和 @kleptographic (@NYU_Courant) 共同提出了 TensorSwitch，一種幾乎最佳的基於哈希的多項式承諾方案： 它解決了基於哈希的 SNARGs 的兩個主要限制：證明者時間和大型證明大小。使用張量碼和互動式預言機證明，TensorSwitch 實現了與輸入大小線性相關的承諾和開啟時間、次線性哈希成本，以及漸近最小的驗證者查詢，而無需依賴受信設置或基於群體的密碼學。 🔹 C2PA 🔹 Succinct 已加入 @C2PA_org，與其他參與者一起開發數位內容驗證的開放標準： 隨著 AI 生成媒體的增加，該項目引入 ZK 驗證，以加強具有隱私和可擴展證明的來源工作流程。 Succinct 旨在支持統一的元數據標準，並改善跨平台的互操作性。通過加入 C2PA，該項目計劃貢獻研究並協助在實際環境中部署內容真實性工具。 🔹 OP Succinct Lite 🔹 @Celo 將其 Sepolia 測試網升級至 OP Succinct Lite，通過 Jello 硬分叉，向主網啟動邁進： 今年早些時候，Celo 轉向 Ethereum L2 以支持現實世界的支付，並成為第一個採用 OP Succinct Lite 和 EigenDA v2 的鏈。 🔹 訪問以獲取來自行業的更多報告 🔹

ZKM 🔹 審計 🔹 ZKM 的 Ziren 正在由 @VeridiseInc 進行審計，使用其 Picus 驗證平台： Veridise 調整了 Ziren 的 Plonky3 約束，並通過 @AuditHubDev 進行了分析。初步結果確認了 AddSub 芯片在加法和減法中的確定性行為。 團隊計劃擴展驗證到完整電路，並將檢查整合到 ZKM 的開發工作流程中。 🔹 出版物 🔹 @ProjectZKM 發布了一篇文章，解釋 GKR 協議如何通過使用多變量 Sumcheck 協議遞歸檢查電路層之間的一致性來驗證算術電路計算： 這篇文章解釋了分層電路結構、多線性擴展的角色、Sumcheck 如何將驗證簡化為點評估，以及遞歸如何在輸入層結束。它展示了為什麼 GKR 對於大型電路是高效的，並且在現代 ZK 系統中具有基礎性。 🔹 活動 🔹 ZKM 發布了一篇關於他們在 @EFDevcon 的時間的文章，重點包括： • ZKONNECT 由 @brevis_zk 和 ZK之家：ZKM 首席技術官 @sd_eigen 參加了實時證明小組 EVM 10 秒內證明，討論了 GPU 加速的證明系統。 • House of ZK 和 Brevis 的智能驗證：Stephen 談到了基於 ZK 的 AI 工作流程中的隱私，並回顧了 Ziren 與 @VeridiseInc 的審計。聯合創始人 @DacEconomy 參加了關於驗證人類貢獻的 AI 和工作小組。 • @EtherArgentina 黑客松：ZKM 贊助了這個活動，Stephen 擔任評委，教育負責人 @alicelingl 指導團隊。 • 由 @babylonlabs_io 和 @build_on_bob 主辦的原生 BTCFi 峰會：討論了與 @Bitcoin 對齊的金融和 BTC 擴展。 • StarkConnect 由 @Starknet 主辦：Stephen 參加了一個關於使用 Starknet 擴展 Bitcoin 的會議，@AlpenLabs 和 @atomiqlabs。 • ZK 現實世界峰會：與 @MantaNetwork、@ZKVProtocol 和 @nillion 的隱私保護鏈小組。 • 由 @invisiblgarden 主辦的文化 Vivo：ZKM 作為贊助商回歸，支持 ZK 和 AI 建設者的中心。 🔹 訪問以獲取來自行業各地的更多報告 🔹