在這裡，我們報告了 Proving Service ZKonomy 中領先構建者的進展，記錄了最近的重大版本、技術突破和一般更新 👇

ZkCloud 雲 @thezkcloud 已獲得 @ethereumfndn 的資助，可在 2025 年第二季度為 @ethereum 個主網區塊持續生成 ZKP。所有校樣均通過 @eth_proofs 公開發佈。目標是演示用於即時驗證的可擴展基礎設施。 ZkCloud 使用 24 個 GPU 集群和修改後的開源工具，並計劃採用最快的 zkVM，並減少低於 12 秒的區塊證明的延遲： 此外，該專案還在其測試網中添加了四個新的驗證者：@kintsugi_tech、@DeSpreadTeam、@CalBlockchain 和 @AhnLab_ABC。這些團隊帶來了不同的優勢 - 從本地化的基礎設施和網路安全到研究和驗證者作。隨著 ZkCloud 更接近主網並增強其網路內的實時證明能力，他們的參與加強了去中心化證明： 此外，ZkCloud 是 @BerBlockWeek 期間 House of ZK 的 Ethproofs 峰會的主要贊助商之一。產品@NorbertVadas負責人參加了此次活動的三個環節： 1） 首先，他做了一個主題演講，他談到了擴展 ZK 證明的架構和技術瓶頸——從優化 RPC 數據獲取到處理由於 EVM作碼和不成比例的證明開銷而導致的區塊複雜性的意外變化： 2） 後來，Norbert 加入了乙太坊基金會的 @Khovr、@NexusLabs @0xAlecJames、@StarkWareLtd @MayaD09111862 和 @HouseofZK @alicelingl，討論了標準化的 zkVM 基準測試在針對狹窄指標進行優化時如何產生誤導、硬體感知性能評估的重要性，以及需要透明的多維框架來反映真實世界的工作負載並在可驗證的計算中建立信任： 3） 最後，他與 @0xLita @carlo_cretino50、@ProjectZKM @DacEconomy、@0xMiden @schmiddominik1 和 House of ZK 的 Alice Liu 一起探討了 zkVM 互作性的演變，強調了超越傳統橋樑的潛力、去中心化證明提供者的作用以及共用標準對於可擴展和安全的區塊鏈應用程式的重要性：

英貢山 @Ingo_zk 發佈了 ML-KEM 的加速實現，ML-KEM 是 NIST 選擇用於後量子加密的基於格的密鑰封裝協定。基於 CUDA 的代碼在 MIT 許可下是開源的，與當前實現相比，輸送量提高了 30%。ML-KEM 支援與 Kyber512、Kyber768 和 Kyber1024 一致的三個安全級別： 此外，Ingonyama 的 @BagadSuyash @yuval_domb、@CarnegieMellon 的 @QuangVDao 和 @a16zcrypto 的 @SuccinctJT 發佈了一篇論文，描述了兩個關鍵優化的集成，這些優化顯著加快了 SNARK 的基本組成部分 sum-check 協定。 這些技術針對小值多項式輸入和相等多項式形式，在 Jolt zkVM 中實現了 2-4× 的證明時間減少，當記憶體受限時，改進更大。這些結果直接解決了 Jolt 中 Spartan 等系統中的證明器瓶頸：

費爾馬 @fermah_xyz 已經啟動了其測試網的第 2 階段，其中包括整合外部 Prover 節點、改進開發人員工具和運行自定義基準測試。該階段以Amit Sahai教授的名字命名，他的工作極大地塑造了 ZK 密碼學的基礎。 Fermah 指出，未來階段的參與範圍將擴大到當前基礎設施網路之外，標誌著持續增長和更廣泛的社區參與： 此外，Fermah 創始人 @vanishree_rao 在 @eth_proofs Call #2 中分享說，Fermah 已經與 @RiscZero 和 @openvm_org 集成，在本地生成證明，旨在支援所有 zkVMs 並將最有效的提交給 Ethproofs。 她還分享了一項關於新安全定義的提案 - 選擇證明可提取性 - 強調了當前標準的差距。 [時間戳 - 02：04：50]：

Cysic @cysic_xyz 引入了 ComputeFi，旨在分散計算能力，這對 AI 和 ZK 技術都至關重要。該平臺使用戶能夠通過硬體獲利，併為開發人員提供經濟實惠、透明的計算資源訪問。 Cysic 表示，通過減少對中心化供應商的依賴，構建者可以自由、安全且經濟高效地進行創新，從而為更廣泛的數字參與和注重隱私的應用程式鋪平道路： 此外，該專案還啟動了其測試網的第三階段：點燃 - 建立在引入雙代幣系統、GPU 證明器和移動驗證器的早期階段之上。Ignition 是一個公開測試版，為使用者提供參與去中心化計算並獲得測試網獎勵的機會。Access 目前僅限受邀者訪問，移動支援即將推出： 最後，在最近的 @eth_proofs 電話會議 #2 上，Cysic 的聯合創始人 @leofanxiong 分享了他們為 ZKP 構建的定製 ASIC 的更新。這些晶元支持關鍵的 ZK 字段，並每秒提供超過 130 萬個 Keccak 哈希值。它們使用定製的片上網路實現高效的數據重新排序，並將固定功能硬體與CPU配對以實現靈活性。雖然仍在 FPGA 上，但它們的性能優於典型的 GPU 輸送量：

斯納克化 在最新的@eth_proofs電話會議中，@Snarkify_ZKP的聯合創始人兼首席執行官@drouyang告訴出席者，Snarkify已經在主網上構建了最快的H2 GPU驗證器@Scroll_ZKP並在RISC-V模擬速度上超過了750 MHz。 該團隊將完整跟蹤生成遷移到 GPU，顯著提高了輸送量。他們的產品支援對任何 zkVM 進行實時驗證，將於 6 月底推出。 [時間戳 - 01：12：30]：

槍魚 @MarlinProtocol 宣佈，在 @SuiNetwork 上構建的開發人員將可以通過 Nautilus 不受限制地訪問其 TEE 計算市場。他們將能夠在專用機密 VM 或無伺服器執行之間進行選擇，以 USDC 支付。工具包括 Docker 支援、金鑰管理和證明： 此外，Marlin 宣佈其可信執行環境現在支援 @cyclenetwork_GO 的結算層和無橋流動性基礎設施，增強了安全的鏈下數據處理。此次升級滿足了機構機密性需求，同時實現了高輸送量結算：