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

拉格朗日 @lagrangedev研究團隊（Weijie Wang、@chbpap、@s_shravan 和 @dipapadopo）引入了 Dynamic zk-SNARKs，這是一種允許即時更新加密證明而無需從頭開始重建的新方法。這一進步提高了依賴不斷變化的數據的應用程式（如 AI、遊戲和區塊鏈）的效率。 它支援更快、更便宜、更實用的驗證，解決了動態環境中傳統靜態 zk-SNARK 的局限性： 此外，他們通過新的合作繼續擴大 DeepProve 的採用範圍： • @0G_labs：集成拉格朗日的 DeepProve，以實現跨 0G 的去中心化 AI OS （deAIOS） 的可驗證推理，涵蓋計算市場、通過 NFT 的鏈上 AI 來源，以及與 0G 的模組化存儲和數據可用性層的集成： • @Gaianet_AI：引入DeepProve來驗證 AI 代理作及其依賴的底層數據，同時聯合開發跨鏈消息傳遞層，以實現跨生態系統的安全 AI 交互： • @nvidia：作為唯一入選的 ZK 專案，加入了 NVIDIA 初創加速計劃，共同擴展 DeepProve 並構建可驗證的 AI 解決方案，以應對幻覺和深度偽造等新出現的風險： • @OpenGradient：將DeepProve嵌入到其鏈上 AI 平臺中，使開發人員能夠部署經過 ZK 驗證的模型，構建可組合的 AI 代理，並啟動具有協定級保證的安全、可驗證的 AI 應用程式： 最後，@LagrangeFndn 作為一個獨立機構成立，以支援拉格朗日生態系統的增長和治理。它將管理 Lagrange Prover Network 的運營、激勵和去中心化。 在拉格朗日繼續進行技術開發的同時，基金會確保網路可靠性和社區一致性，通過去中心化的 ZK 基礎設施促進可驗證的互聯網：

空間與時間 @SpaceandTimeDB 現已在 @Azure Marketplace 上提供，提供企業級託管資料庫解決方案。開發人員可以一鍵部署它，以從 @ethereum 和 @zksync 等網路訪問索引區塊鏈數據。 該服務包括 API、資料儲存和 AI 工具，透過去中心化的 SXT 生態系統支援應用程式開發、分析和儀錶板： 此外，@cavell_live 年白皮書還強調了該專案是企業使用 vCon（一種用於構建通話、電子郵件和聊天的新標準）共用加密對話數據的安全方式。 該平臺使用 ZKP 來驗證數據準確性，而不會暴露敏感內容，從而支援電信、醫療保健和金融服務領域的安全基準測試和協作： 此外，他們還支援 @SuiNetwork 社區對協議升級進行投票，旨在恢復在最近的駭客攻擊后被凍結的資金。Sui Explorer 中新增的 「Vote」 部分允許使用者追蹤驗證者的投票、權重和當前結果。這通過即時、可驗證的鏈上數據確保了過程中的透明度和問責制： 此外，Space and Time 宣佈 DeFi 專案現在可以在任何區塊鏈上使用 SXT。這可以通過@chainlink的跨鏈傳輸CCIP和Chainlink Price Feeds的安全、抗閃電貸數據來實現，從而支援去中心化金融更廣泛的互作性和更高的可靠性： 此外，@instruxi 還推出了 Atteststations V2，使用 Space and Time 和 Chainlink 為代幣化的真實資產 （RWA） 創建安全、可驗證的審計跟蹤。該系統將集中式、可篡改的數據源替換為經過加密驗證的可查詢鏈下數據。經過驗證的結果在鏈上交付，使智慧合約能夠通過透明、去中心化的數據驗證來信任和擴展代幣化資產： Space and Time 還通過為新網路啟用索引來繼續擴展對鏈上數據的訪問： • 對 @arbitrum 網路的即時索引支援。使用者可以存取鏈上活動分析、自然語言儀錶板生成以及建構資料驅動型應用程式的能力： • 推出 @avax C 鏈的智慧合約索引。開發者可以提交合約位址來生成基於事件的表，將它們與其他數據源連接起來，並在亞秒級內獲得 ZK-prove 結果： • @base網路索引現已在 SXT 中上線，提供對 SQL 表的訪問，其中包含有關 DEX 交易、NFT 活動、穩定幣流向和錢包交互的指標。這為開發人員提供了一個強大的工具集，用於創建面向UX的鏈上應用程式： 最後，該專案宣佈了幾項新的合作夥伴關係，包括： • @Astrarizon：支援 @AccVentures 加速器的專案，使其能夠訪問Space and Time 的可驗證資料基礎設施和整個 SXT 生態系統中的計算積分： • @catapulta_sh：使開發人員能夠使用來自Space and Time 的即時、索引和 ZK 驗證數據跨 20+ 個 EVM 鏈進行部署，並通過SXT Studio 支援智慧合約邏輯、事件索引和自定義儀錶板： • @blocklogica：在 Make Infinite 和時空基金會的支援下，説明 Blocklogica Labs 加速器的創始人使用計算積分和開發人員工具構建更快、更可靠的鏈上應用程式：

vlayer 播放器 @vlayer_xyz 分享了 1.0.3 版本中的最新更新，專注於更好的性能、更清晰的錯誤消息和更強大的基礎設施。該版本恢復了缺失的功能，通過 TLSN 升級提高了 zkTLS 性能，並添加了新的基準測試。 文檔得到完善，CI 流程得到穩定，舊代碼得到清理。這些增強功能旨在提高可用性和可靠性，這要歸功於參與其中的眾多貢獻者： vlayer 的研究人員在 @GolemFoundation 的支援下，發佈了一份關於使用 GKR 協定有效證明 ZK 系統中的 Keccak-256 哈希的白皮書。由於 Keccak 是 @ethereum 的核心，但對 ZK 不友好，因此他們的工作提供了算術表示和性能模型，顯示了 GKR 在多次作中的效率。 這些發現旨在改進可擴展、可驗證的應用程式中乙太坊原生函數的 ZK 處理： 最後，vlayer 通過與 @AccountableData 的合作，使 @noon_capital 能夠提供即時、可驗證的財務透明度。Noon 成為第一個將儲備證明與收益證明相結合的穩定幣，並通過 ZK 基礎設施進行驗證。這種集成確保了鏈上和鏈下金融數據的安全認證，增強了使用者信任，併為穩定幣的透明度設定了新標準：

短 @brevis_zk EigenCloud 在 @eigenlayer 上推出了其新平台，強調了其在為 DeFi、獎勵和數據市場提供可驗證計算方面的作用： 聯合創始人 @no89thkey 指出，Brevis 的協鏈設計——將樂觀提案與 ZK 或加密經濟爭議解決相結合——現在反映在 EigenVerify 中，顯示了在 EigenLayer 生態系統中構建去信任基礎設施的 AVS 專案之間的一致性：

Primus 實驗室 @primus_labs 和 @DataDanceChain 合作創建了一個使用者至上的數據基礎設施，以確保隱私、真實性和擁有權。DataDance 使用加密和隱私技術提供安全的環境，而 Primus 則引入了 zkTLS 來驗證鏈下數據而不暴露內容。 該系統允許 AI 僅在驗證後存取使用者數據，從而賦予個人控制權，並在 AI 應用程式中實現其個人數據的合規貨幣化：