在這裡，我們報告了 ZK @ethereum 生態系統中領先構建者的進展，記錄了最近的重大版本、技術突破和一般更新 👇

StarkWare/斯塔克內特 @StarkWareLtd 推出了 S-two，這是一款專為日常設備設計的高速 ZK 證明器。基準測試表明，它在SHA3和矩陣乘法等各種任務的速度和效率方面大大優於現有的 zkVM。S-two 已經與 @NexusLabs、@KakarotZkEvm、@Trade_VEX 和 @gizatechxyz 等專案集成，以大幅提升性能，支援對隱私、身份和 AI 用例進行即時客戶端驗證： 在此之後，StarkWare 發佈了新的性能基準，揭示了 S-two 在驗證速度方面的領先優勢。它處理 SHA3 鏈的速度比 @RiscZero 快 166 倍，並且計算斐波那契數列和矩陣運算的速度比其他 zkVM 快得多。S-two 從第一天起就完全開源，現在是加密、AI 和即時身份應用程式中用戶端驗證的最快選項： @Starknet 將於 6 月 17 日在主網上推出 STRK Staking v2，為驗證者引入區塊證明和時間鎖定傭金調整。 此次升級旨在確保驗證者的活動和透明度，從而影響委託人的獎勵。驗證者必須提前承諾最高傭金率。從 v1 遷移將短暫暫停質押合約，但委託人無需執行任何作，除非在升級后根據新的活躍數據切換驗證者： 該專案還顯著降低了 gas 費用——現在比 L1 便宜 500 @ethereum 倍以上。該網路報告了更高的成本效率和用戶體驗，使 Starknet 為支援各種應用程式做好了充分準備： 最後，StarkWare 出席了已結束的 House of ZK @eth_proofs 峰會。@MayaD09111862 產品經理參加了兩個小組討論： 1） Maya與@ethereumfndn的@asn_d6、@ProjectZKM的@sd_eigen、@LineaBuild的@alexand_belling以及@the_matter_labs和@zksync的@portport255一起討論了zkVM設計和驗證系統的權衡： 2） Maya 後來加入了 @ethereumfndn @Khovr、@thezkcloud @NorbertVadas、@NexusLabs @0xAlecJames 和 @HouseofZK @alicelingl，探討了在不同硬體設置、應用程式需求和安全考慮下對 ZK 系統進行基準測試的挑戰和權衡：

ZK同步 @zksync 推出了 Prividium，這是一種為需要隱私、合規性和@ethereum互作性的機構量身定製的私有區塊鏈基礎設施。它允許企業運行具有內置 KYC、審計功能和可定製治理的私有鏈。 第一個部署是 @Memento_Bc ZK Chain - 與 @DeutscheBank 一起開發 - 通過 KYC 門控訪問和近乎即時的結算為鏈上提供資金服務。Prividium 支援安全、合規的運營，而不會將機構與更廣泛的區塊鏈生態系統隔離開來： 該專案還展示了“Gateway”，這是一種支援跨鏈消息傳遞並跨 ZKsync 鏈聚合證明的中間件。通過將證明捆綁成一個，它降低了乙太坊 L1 結算成本並支援更快的互作性。它與 v28 升級一起發佈，很快將在 v29 中支援原生跨鏈消息傳遞，這是邁向互連鏈上網路的關鍵一步： 他們還宣佈推出 Wonder 的主網，這是由加拿大最大的受監管加密平臺 @WonderFi 開發的定製 ZKsync 鏈。Wonder 擁有超過 170 萬使用者和 22 億美元的資產，將@ethereum級安全性、無 gas 交易和機構基礎設施相結合，將使用者帶到鏈上，旨在將受監管的金融與無需許可的區塊鏈訪問聯繫起來： 在其他新聞中，ZKsync 是 House of ZK 在 @BerBlockWeek 舉行的 @eth_proofs 峰會活動的主要贊助商。@portport255，@the_matter_labs & ZKsync的核心貢獻者： 1）首先，他與 @asn_d6 @ethereumfndn、@sd_eigen @ProjectZKM、@alexand_belling @LineaBuild 和 @MayaD09111862 @StarkWareLtd 一起討論了什麼是最好的 zkVM 架構： 2） 他後來回到舞臺上，發表了關於'ZKSync Airbender & ZKsync OS'的主題演講： 3） 在他的最後一個小組討論中，Porter 與 @axiom_xyz @theyisun、@powdr_labs @leonardoalt、@IrreducibleHW @radi_cojbasic 和 @RiscZero@reka_eth 討論了 zkVM 性能的真實情況： 最後，@zkSyncDevs 提出了一個升級來優化橢圓曲線預編譯，並引入了ModExp預編譯，將 zkSNARK驗證 gas成本降低了約94%- 從6.8M降低到0.37M。橢圓曲線作現在將直接在電路中運行。無需開發人員作，升級已經在 ZKsync Era 測試網上運行，治理提案中提供了完整的詳細資訊：

阿茲特克 @aztecnetwork 推出了 StealthNote，這是一款去中心化應用程式，允許使用者發佈匿名消息，同時證明與組織的隸屬關係。它使用 ZKP 和 Google OAuth 確認電子郵件域擁有權，而不會洩露個人數據。 該應用程式使用 @NoirLang 構建，可確保使用者資訊在設備上的私密性。消息和公共證明存儲在伺服器端，允許其他人在不影響寄件者身份的情況下驗證真實性： 此外，阿茲特克的 @punk6052 @TheOtherAmal 寫了一篇文章，解釋了當前的在線年齡驗證法如何經常通過要求過多的數據收集來損害隱私和言論自由。他們提出了零知識身份 （ZKI） 作為更好的解決方案，使用加密證明來確認年齡而不透露個人資訊。ZKI 提供了一種保護隱私的替代方案，可以滿足監管需求，同時最大限度地減少監控、審查和身份盜用風險： 最後，由於 19,000 個節點的記憶體池分歧，Aztec 測試網在 2025 年 5 月 29 日面臨重大的區塊生產放緩。較小的節點隨機驅逐事務，導致驗證失敗。 部署了一個修復程式：區塊提案現在包括完整的交易，並且 Peer 節點總是向發送者請求缺失的數據。儘管有效，但該解決方案增加了頻寬使用，促使在 Aztec 全面去中心化啟動之前進行進一步優化：

多邊形 @0xPolygon 與 @IrreducibleHW 合作推出了 PetraVM，這是下一代開源 zkVM，旨在使用二進位場塔提高性能並降低驗證成本。Petra 旨在提高 @Agglayer 上的 ZK 互作性。該專案建立在先前的 Polygon 研究之上，包括 zkEVM 和 Plonky2/3。PetraVM 現已上線，並提供公共代碼和文檔： 此外，Polygon 支援的 @katana 已在私有主網上啟動，該主網上由 Katana 基金會開發，由 Polygon 和 @GSR_io 孵化。Katana 專為 DeFi 打造，旨在協調用戶活動、應用程式和鏈收入，同時提供深度流動性和實際收益。這是第一個使用 OP Stack 的 Agglayer CDK 鏈，標誌著 Agglayer 多堆棧時代的開始。公眾訪問預計將於 6 月下旬進行： 最後，在 House of ZK 最近的 @eth_proofs 峰會上，Polygon 聯合創始人 @jbaylina 與 @RiscZero @BruestleJeremy、@0xLita @m_ratsim、@SuccinctLabs @ks_kulk 和 @ethereumfndn @alexanderlhicks 一起討論了實現乙太坊 L1 區塊低於 12 的架構和硬體瓶頸： 隨後，Jordi 還發表了主題演講，介紹了 ZisK——一款基於 Hermes 經驗構建的全新高性能 ZK 證明器，具有完全開源的架構，並支援用 Rust 編寫的 64 位應用程式：

線 @LineaBuild 已成為第一個使用 ZKP 完全證明 EVM 執行 100% 的 zkEVM。這個里程碑被稱為證明器完整性，是經過六年研究和開發之後的。它通過加密證明對所有 EVM作進行全面驗證，顯著提高了 @ethereum 的安全性和可靠性，是一項重大技術成就： 此外，Linea 還是 House of ZK 在柏林舉行的 @eth_proofs 峰會的主要贊助商。@alexand_belling 是Linea的首席密碼學研究，他參加了一個小組討論並給出了一個主題： 1） 他加入了@ethereumfndn@asn_d6，@ProjectZKM@sd_eigen，@StarkWareLtd@MayaD09111862和@the_matter_labs@zksync@portportport255，他們在那裡討論了zkVM架構的選擇： 2） 隨後，Alexandre 發表了主題演講，他談到了Linea zkEVM的現狀和未來路線圖。他解釋了技術架構、性能策略以及實現與乙太坊完全相容的計劃：

太鼓 @alethiataiko 正在 Hekla 測試網上引入基於預先確認的程式，過渡到僅限白名單的系統。當前提議者必須立即停止提議並更新其軟體以保持連接。如果配置正確，Provers 可以繼續證明未分配的塊。所需的版本包括 taiko-geth v1.16.0、alethia-client v1.6.2 等： 在 Taiko Hekla 上進行廣泛測試后，該專案還成功實施了 Pacaya 硬分叉。節點運營商需要在區塊 1,166,000 之前升級他們的軟體。此更新引入了重大更改，並且需要進行多項元件更新： 不久之後，taiko-geth 的關鍵修補程式也發佈了，所有主網運營商現在都必須升級到 v1.15.1-hotfix：

泰洛斯 @HelloTelos 和 @cicada_mm 啟動了一項 100 萬美元的投資計劃，旨在面向構建快速、可擴展的區塊鏈應用程式的早期團隊。專注於 EVM dApp、ZK 基礎設施或模組化 DeFi 的專案可以獲得高達 100K 美元的獎勵，以及搶先體驗 Telos 技術、流動性支援和上市説明： 此外，該專案還孵化了 @thegigachain，這是其轉變為社區擁有的風險製作工作室的第一個專案。Gigachain 專注於去信任並行計算，並植根於 ZK 技術，於 2025 年 5 月完成了原型。在 $1M 種子前資金的支援下，它將於 2026 年在 Testnet 上推出，並於 2027 年在 Mainnet 上推出： 最後，Telos 重申了其對 ZK 技術的承諾，強調了儘管最近存在障礙，但仍保持了持續的勢頭。其 ZKP 聚合協定 SNARKtor 將於 2025 年 8 月 31 日在主網上推出，從而支援更具可擴展性和私有性的區塊鏈應用程式。開發工作仍然很強大，Telos 和 ZK 團隊之間的合作繼續優先考慮跨生態系統的去中心化、可擴展性和共用創新：

滾動 @Scroll_ZKP 已將其出塊時間從 3 秒縮短到 1 秒，從而減少了交易延遲並改善了用戶體驗。這一變化意味著更快的確認、更流暢的應用程式性能以及更低的價格滑點等風險。 開發人員現在可以構建回應速度更強、類似 Web 的應用程式，而不會增加複雜性。Scroll 計劃將延遲進一步降低到 500 毫秒，旨在匹配傳統 Web 性能，同時保持安全性和 EVM 相容性： 此外，該專案還推出了適合初學者的 Vyper 課程，專為進入 Web3 的 Python 開發人員而設計。該系列課程共 19 節課，使用在 EVM 上運行的類似 Python 的語法教授智慧合約基礎知識。 通過清晰的解釋、漸進式練習和通過Telegram的社區支援，該課程提供了從Web2到Web3開發的平穩過渡，即使對於那些沒有區塊鏈經驗的人也是如此：

卡卡羅特 @KakarotZkEvm 正在努力整合 @StarkWareLtd 的新 S-two 系統，從而提高客戶端驗證性能： 他們與 StarkWare 一起開發 S-TWO M31，預計將提供 20-50 倍的速度提升。目標是在常規硬體上進行即時驗證，支援私有的設備上 KYC 和年齡驗證，而不會暴露敏感的用戶數據。

瑪律達 @malda_xyz 已經整合了 @AcrossProtocol 的結算合約，以統一 @ethereum、@base 和 @LineaBuild 的流動性，解決 DeFi 借貸中的碎片化問題。使用 ZKP 和基於意圖的結算，Malda 自動安全地重新平衡流動性，實現無使用者摩擦的高效借貸。第二階段將為大額借款引入按需流動性，立即彌合缺口。這為跨鏈資本效率設定了新標準： 此外，他們還與 @w3arew3 合作，以集成他們的智慧層技術。此次合作旨在開發一個風險管理系統，以支援更安全和數據驅動的貸款業務：

蝠鰸網路 @MantaNetwork 已在 @StargateFinance 上推出了一個 ETH 池，實現了 Manta Pacific 和 @ethereum 之間的無縫 ETH 橋接： 與 Stargate 流動性網路的整合支援 40 多條鏈。使用者還可以橋接 mToken，包括質押的 USDT 和 USDC，從而增強 DeFi 訪問。此更新簡化了跨鏈資產轉移，並提高了流動性和用戶靈活性。