在这里，我们报告了Coprocessor ZKonomy中领先开发者的进展，记录了最近的重要发布、技术突破和一般更新 👇

Lagrange @lagrangedev 研究团队（Weijie Wang, @chbpap, @s_shravan 和 @dipapadopo）推出了动态 zk-SNARKs，这是一种新方法，允许加密证明实时更新，而无需从头开始重建。这一进展提高了依赖于变化数据的应用程序的效率，例如 AI、游戏和区块链。 它实现了更快、更便宜和更实用的验证，解决了传统静态 zk-SNARKs 在动态环境中的局限性： 此外，他们继续通过新的合作扩大 DeepProve 的采用： • @0G_labs：集成 Lagrange 的 DeepProve，以实现 0G 的去中心化 AI 操作系统（deAIOS）中的可验证推理，涵盖计算市场、通过 NFT 的链上 AI 来源以及与 0G 的模块化存储和数据可用性层的集成： • @Gaianet_AI：引入 DeepProve 来验证 AI 代理的行为及其依赖的基础数据，同时共同开发跨链消息层，以允许跨生态系统的安全 AI 交互： • @nvidia：作为唯一被选中的 ZK 项目加入 NVIDIA Inception Program，合作扩展 DeepProve，构建可验证的 AI 解决方案，以应对新出现的风险，如幻觉和深度伪造： • @OpenGradient：将 DeepProve 嵌入其链上 AI 平台，使开发者能够部署 ZK 认证模型，构建可组合的 AI 代理，并推出具有协议级保证的安全、可验证的 AI 应用： 最后，@LagrangeFndn 已作为独立机构成立，以支持 Lagrange 生态系统的增长和治理。它将管理 Lagrange Prover Network 的运营、激励和去中心化。 在 Lagrange 继续技术开发的同时，基金会确保网络的可靠性和社区的一致性，通过去中心化的 ZK 基础设施促进可验证的互联网：

空间与时间 @SpaceandTimeDB 现已在 @Azure Marketplace 上提供，提供企业级托管数据库解决方案。开发人员可以一键部署，以访问来自 @ethereum 和 @zksync 等网络的索引区块链数据。 该服务包括 API、数据存储和 AI 工具，支持通过去中心化的 SXT 生态系统进行应用开发、分析和仪表板： 此外，该项目在 @cavell_live 的白皮书中被强调为企业共享加密对话数据的安全方式，使用 vCon，这是一种结构化通话、电子邮件和聊天的新标准。 该平台使用 ZKP 验证数据准确性，而不暴露敏感内容，支持电信、医疗保健和金融服务中的安全基准测试和协作： 此外，他们正在支持 @SuiNetwork 社区投票进行协议升级，旨在恢复最近黑客攻击后被冻结的资金。Sui Explorer 中的新“投票”部分允许用户跟踪验证者投票、其权重和当前结果。这确保了通过实时、可验证的链上数据在过程中实现透明度和问责制： 此外，Space and Time 宣布 DeFi 项目现在可以在任何区块链上使用 SXT。这是通过 @chainlink 的 CCIP 实现跨链转账和来自 Chainlink Price Feeds 的安全、抗闪电贷的数据，支持更广泛的互操作性和增强的去中心化金融可靠性： 此外，@instruxi 已推出 Attestations V2，使用 Space and Time 与 Chainlink 创建安全、可验证的代币化现实世界资产 (RWAs) 的审计轨迹。该系统用加密证明的、可查询的链下数据替代了集中式、可篡改的数据源。经过验证的结果在链上交付，使智能合约能够通过透明的去中心化数据验证信任和扩展代币化资产： Space and Time 还继续通过为新网络启用索引来扩展对链上数据的访问： • 对 @arbitrum 网络的实时索引支持。用户可以访问链上活动分析、自然语言仪表板生成以及构建数据驱动应用的能力： • 对 @avax C-Chain 的智能合约索引的推出。开发人员可以提交合约地址以生成基于事件的表，将其与其他数据源连接，并在亚秒内进行 ZK 证明： • @base 网络索引现已在 SXT 上线，提供有关 DEX 交易、NFT 活动、稳定币流动和钱包交互的 SQL 表访问。这为开发人员提供了创建以用户体验为导向的链上应用程序的强大工具集： 最后，该项目宣布了几项新合作伙伴关系，包括： • @Astrarizon：支持来自 @AccVentures 加速器的项目，提供对 Space and Time 可验证数据基础设施和 SXT 生态系统中的计算信用的访问： • @catapulta_sh：使开发人员能够使用来自 Space and Time 的实时、索引和 ZK 证明的数据在 20 多个 EVM 链上进行部署，支持智能合约逻辑、事件索引和通过 SXT Studio 创建自定义仪表板： • @blocklogica：帮助 Blocklogica Labs 加速器中的创始人提供计算信用和开发工具，以更快、更可靠地构建链上应用程序，得到 Make Infinite 和 Space and Time 基金会的支持：

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 @brevis_zk 强调了其在为 DeFi、奖励和数据市场提供可验证计算方面的作用，因为 EigenCloud 在 @eigenlayer 上推出了其新平台： 联合创始人 @no89thkey 指出，Brevis 的 coChain 设计——将乐观提案与 ZK 或加密经济争议解决相结合——现在在 EigenVerify 中得到了体现，显示出在 EigenLayer 生态系统内构建无信任基础设施的 AVS 项目之间的对齐。

Primus Labs @primus_labs 和 @DataDanceChain 合作创建了以用户为中心的数据基础设施，确保隐私、真实性和所有权。DataDance 提供了一个使用加密和隐私技术的安全环境，而 Primus 引入了 zkTLS 来验证链外数据而不暴露内容。 该系统允许 AI 在验证后访问用户数据，使个人能够控制并在 AI 应用中合规地货币化他们的个人数据：