在这里，我们报告了在证明服务生态系统中领先建设者的进展，记录了最近的重要发布、技术突破和一般更新。 特色：@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 证明网络，贡献其高性能的基于 GPU 的基础设施，以支持实时、可扩展的 ZKP： 作为一个多节点证明者，Cysic 提高了网络处理生产级 ZK 工作负载的能力。Cysic 的技术栈完全由内部构建，包括定制硬件、并行 GPU 集群，以及即将推出的针对 SP1 的 ASIC，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 合作，通过持久且成本高效的 ZKP 验证来增强其 ZK 应用网络： 利用 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 在所有主要证明系统和区块链上可扩展且高效。