以下是我们关于Proving Service ZKonomy中领先开发者进展的报告，记录了最近的重要发布、技术突破和一般更新 👇

ZkCloud @thezkcloud 已获得 @ethereumfndn 的资助，以在 2025 年第二季度持续为 @ethereum 主网区块生成 ZKP。所有证明都通过 @eth_proofs 公开发布。目标是展示实时证明的可扩展基础设施。 ZkCloud 使用 24 个 GPU 集群和修改过的开源工具，计划采用最快的 zkVM，并将子 12 秒区块证明的延迟降低： 此外，该项目已在其测试网中新增四个验证者：@kintsugi_tech、@DeSpreadTeam、@CalBlockchain 和 @AhnLab_ABC。这些团队带来了多样化的优势——从本地基础设施和网络安全到研究和验证者操作。他们的参与增强了去中心化证明，ZkCloud 正在向主网迈进，并提升其网络内的实时证明能力： 此外，ZkCloud 是 @BerBlockWeek 期间 House of ZK 的 Ethproofs 峰会的主要赞助商之一。产品负责人 @NorbertVadas 参加了该活动的三场会议： 1) 首先，他进行了主题演讲，谈到了扩展 ZK 证明的架构和技术瓶颈——从优化 RPC 数据获取到处理由于 EVM 操作码导致的区块复杂性意外变化所带来的不成比例的证明开销： 2) 后来，Norbert 与以太坊基金会的 @Khovr、@NexusLabs 的 @0xAlecJames、@StarkWareLtd 的 @MayaD09111862 和 @HouseofZK 的 @alicelingl 一起讨论了当 zkVM 基准针对狭窄指标进行优化时可能产生的误导性，硬件感知性能评估的重要性，以及需要透明的多维框架来反映现实工作负载并建立对可验证计算的信任： 3) 最后，连同 @0xLita 的 @carlo_cretino50、@ProjectZKM 的 @DacEconomy、@0xMiden 的 @schmiddominik1 和 House of ZK 的 Alice Liu，他探讨了 zkVM 互操作性的演变，强调了超越传统桥接的潜力、去中心化证明提供者的角色，以及可扩展和安全区块链应用的共享标准的重要性：

Ingonyama @Ingo_zk 发布了 ML-KEM 的加速实现，这是一种由 NIST 选定的基于格的密钥封装协议，用于后量子密码学。基于 CUDA 的代码在 MIT 许可证下开源，与当前实现相比，吞吐量提高了多达 30%。ML-KEM 支持与 Kyber512、Kyber768 和 Kyber1024 对应的三个安全级别： 此外，Ingonyama 的 @BagadSuyash 和 @yuval_domb，@CarnegieMellon 的 @QuangVDao，以及 @a16zcrypto 的 @SuccinctJT 发布了一篇论文，描述了两项关键优化的集成，这些优化显著加快了求和检查协议，这是 SNARKs 的一个基本组成部分。这些技术针对小值多项式输入和等式多项式形式，使 Jolt zkVM 中的证明时间减少 2-4 倍，当内存受限时，改进效果更为显著。这些结果直接解决了 Jolt 中 Spartan 等系统的证明者瓶颈。

Fermah @fermah_xyz 已经启动了其测试网的第二阶段，该阶段包括集成外部证明节点、改进开发者工具以及运行自定义基准测试。该阶段以阿米特·萨海教授的名字命名，他的工作对零知识密码学的基础产生了重要影响。 Fermah 指出，未来的阶段将扩大参与范围，超越当前的基础设施网络，标志着持续增长和更广泛的社区参与： 此外，Fermah 的创始人 @vanishree_rao 在 @eth_proofs 第 2 次通话中分享了 Fermah 已与 @RiscZero 和 @openvm_org 集成，以本地生成证明，旨在支持所有 zkVM，并将最有效的证明提交给 Ethproofs。 她还分享了一项新的安全定义提案——选择性证明可提取性，强调了当前标准中的不足。 [时间戳 - 02:04:50]:

Cysic @cysic_xyz 推出了 ComputeFi，旨在去中心化计算能力，这对 AI 和 ZK 技术至关重要。该平台使用户能够将硬件货币化，并为开发者提供负担得起的、透明的计算资源访问。 通过减少对集中式提供商的依赖，Cysic 表示，建设者可以自由、安全且经济高效地创新——为更广泛的数字参与和隐私聚焦的应用铺平道路： 此外，该项目已启动其测试网的第三阶段：点火——在早期阶段的基础上，推出了双代币系统、GPU 证明者和移动验证者。点火是一个公开测试版，为用户提供参与去中心化计算和赚取测试网奖励的机会。当前访问仅限邀请，移动支持即将推出： 最后，在最近的 @eth_proofs 第 2 次电话会议上，Cysic 的联合创始人 @leofanxiong 分享了他们为 ZKP 构建的定制 ASIC 的更新。这些芯片支持关键的 ZK 领域，并提供超过 130 万个 Keccak 哈希/秒。它们使用定制的片上网络进行高效的数据重排序，并将固定功能硬件与 CPU 配对以实现灵活性。尽管仍在 FPGA 上，但它们的性能超过了典型的 GPU 吞吐量：

Snarkify 在最近的 @eth_proofs 会议上，@drouyang，@Snarkify_ZKP 的联合创始人兼首席执行官，告诉与会者 Snarkify 已经在 @Scroll_ZKP 主网构建了最快的 H2 GPU 证明器，并在 RISC-V 模拟速度上超过了 750 MHz。 团队将完整的追踪生成转移到 GPU，显著提高了吞吐量。他们的产品将支持任何 zkVM 的实时证明，预计将在六月底推出。 [时间戳 - 01:12:30]:

Marlin @MarlinProtocol 宣布，基于 @SuiNetwork 的开发者将通过 Nautilus 获得无束缚的 TEE 计算市场访问权限。他们可以选择专用的保密虚拟机或无服务器执行，支付方式为 USDC。工具支持包括 Docker 支持、密钥管理和证明： 此外，Marlin 宣布其受信执行环境现在支持 @cyclenetwork_GO 的结算层和无桥流动性基础设施，增强了安全的链下数据处理。此升级满足了机构的保密需求，同时实现了高吞吐量的结算：