在這裡，我們報告了在 Proving Service 生態系統中領先建設者的進展，記錄了最近的重要發布、技術突破和一般更新。 特色：@fermah_xyz, @Ingo_zk, @brevis_zk, @cysic_xyz, @zan_team, @thezkcloud, @vlayer_xyz, & @zerobasezk 👇

Fermah 🔹 發布 🔹 @fermah_xyz 分享了一篇文章，解釋其通用證明市場如何幫助 @zksync 改善可擴展性、去中心化和成本效益： 通過與 ZKsync 整合，Fermah 的系統用按需計算和抽象化的參與者取代了複雜的工作流程，簡化了證明生成。 這次合作展示了 Fermah 在大規模處理現實世界 ZK 用例的能力，強調去中心化證明市場是可行的、具成本效益的，並且在技術上是可靠的。 🔹 合作夥伴關係 🔹 該項目還宣布了兩個新的合作夥伴關係，旨在擴大其通用證明市場並增強去中心化 ZK 證明基礎設施： 🔹 @Ingo_zk：整合 ICICLE-Snark 以加速帶有 GPU 支持的保密證明委派，提升每個節點的性能高達 10 倍，並使用 Groth16 實現實時的隱私保護證明。 這次合作使 Fermah 的 ZK 基礎設施更快且更具可擴展性，而無需自定義 GPU 設置： 🔹 @mintairxyz：持續合作以支持證明者部署和 Fermah 主網之前的網絡穩定性。 Mintair 提供一鍵證明者部署，並在測試網第二階段貢獻了 99.9% 的正常運行時間和關鍵優化，幫助在現實世界條件下進行壓力測試系統：

Brevis 🔹 合作夥伴 🔹 @brevis_zk 與 @QuickswapDEX 推出了動態費用系統，利用其 zkCoprocessor 根據用戶的 30 天交易量提供自動化交易折扣。 目前已在 @soneium 的特定池中上線，通過在鏈上驗證離鏈交易量數據來安全計算獎勵。通過 Brevis Portal，池部署者可以輕鬆在一次交易中設置自定義費用鉤子： 此外，他們還與 @OpenEden_X 合作，將美國國債收益率上鏈，同時通過持續協議激勵 (CPI) 獎勵真實的用戶參與。 該系統使用 ZKP 來確保公平，避免快照農業，並最小化燃氣費用。試點將在 @ethereum 上啟動，未來計劃擴展到 @solana 及 OpenEden 生態系統中的各種 DeFi 應用： 🔹 審計 🔹 該項目已與 @sherlockdefi 合作完成其 ZK 數據協處理器的安全審計： 所有識別出的問題均已解決並獲得批准。完整細節可在 GitHub 上的發布報告中查看：

Cysic 🔹 合作夥伴 🔹 @cysic_xyz 已正式加入 @SuccinctLabs 的 Prover Network，貢獻其高效能的 GPU 基礎設施，以支持實時、可擴展的 ZKP： 作為一個多節點的證明者，Cysic 增強了網絡處理生產級 ZK 工作負載的能力。Cysic 的技術堆疊完全由內部開發，包括自定義硬體、平行化的 GPU 集群，以及即將推出的專用集成電路（ASIC），專為 SP1 設計，這是 Succinct 的開源 zkVM。 這次合作旨在創建一個去中心化、無需許可的證明層，優化現代應用程序，如 zkRollups、身份檢查和 AI 審計，以滿足對現實世界 ZK 基礎設施日益增長的需求。 🔹 出版物 🔹 該項目發表了一篇文章，解釋 ComputeFi 如何將閒置的計算能力轉變為流動的、可投資的資產： 隨著 AI 和 ZK 技術需求的激增，未充分利用的 GPU 基礎設施仍然普遍存在。ComputeFi 將這些能力連接到實際工作負載，為硬體擁有者創造收入。

ZAN 🔹 發布 🔹 @zan_team 分享了一篇文章，介紹了 MCP（模型-上下文協議）如何實現大型語言模型與外部 Web3 工具之間的安全、標準化互動： 由 @AnthropicAI 開發的 MCP 支持區塊鏈操作，如查詢餘額、部署合約和交易 NFT。 該文章指導用戶如何在 Node.js 中構建 Web3 MCP 服務，將其與 Cursor 集成，並演示如何在開發環境中通過自然語言執行實時區塊鏈任務。 🔹 合作夥伴關係 🔹 該項目最近宣布了兩個新的合作： • @JovayNetwork：通過 ZAN Node 支持 RPC 和水龍頭服務，使開發者能夠在 Jovay 測試網上構建。 Jovay 是由 Ant Digital Technologies 開發的 @ethereum 兼容 L2，針對機構級用例，如 RWA： • @AvailProject：開始作為 Avail 的驗證者運作，支持其在亞太地區提供去中心化基礎設施的使命：

vlayer @vlayer_xyz 已啟動一個 20 萬美元的資助計劃，以支持開發可驗證的、以隱私為重點的應用程序： 該資金包括 10 萬美元的現金和 10 萬美元的計算信用。對於早期或進階項目開放，獲資助者將獲得導師指導、支持和曝光。 這項努力是 vlayer 更廣泛的 Builders Program 的一部分，旨在擴大其生態系統並支持具有長期潛力的創新和技術雄心的想法。

Zerobase @zerobasezk 正在與 @alignedlayer 合作，提升其 ZK 應用網絡，實現持久且具成本效益的 ZKP 驗證： 利用 Aligned 的 @eigenlayer-secured 基礎設施，該網絡獲得了 @ethereum 水平的最終性、正常運行時間和可靠性。 這支持一系列應用，包括質押、身份和 AI 審計，這些應用依賴於穩定的性能，無法承受停機。

Ingonyama 🔹 技術 🔹 @Ingo_zk 對其 ezkl-halo2 分支進行了重大更新，通過使 Halo2 幾乎完全支持 GPU，實現了高達 25 倍的證明性能提升： 使用 ICICLE 和自定義 CUDA 核心，團隊卸載了關鍵瓶頸，如閘和查找約束評估。結合加速的 MSM、NTT 和向量操作，以及高效的數據處理，此版本在多種 Halo2 電路類型中設立了新的性能基準。 🔹 合作夥伴關係 🔹 該項目正在幫助 @fermah_xyz 擴展其保密證明委託系統，通過整合 ICICLE，這是全球最快的 GPU 加速 Groth16 證明器： 這次升級每個節點提供了 5-10 倍的證明，降低了基礎設施成本，並實現了實時的隱私保護證明。該整合不需要驗證者端的變更，並且在主要 GPU 供應商之間運作，使 ZKP 在所有主要證明系統和區塊鏈上可擴展且高效。