在这里，我们报告了以 ZK 为基础的 @ethereum 生态系统中领先建设者的进展，记录了最近的重要发布、技术突破和一般更新 👇

StarkWare/Starknet @StarkWareLtd 推出了 S-two，这是一款为日常设备设计的高速 ZK 证明器。基准测试显示，它在速度和效率上显著超越现有的 zkVM，适用于 SHA3 和矩阵乘法等各种任务。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 费用 - 现在比 @ethereum L1 便宜超过 500 倍。网络报告称成本效率和用户体验得到了提升，使 Starknet 完全准备好支持广泛的应用程序： 最后，StarkWare 在刚刚结束的 House of ZK 的 @eth_proofs 峰会上亮相。产品经理 @MayaD09111862 参与了两个小组讨论： 1) 与 @ethereumfndn 的 @asn_d6、@ProjectZKM 的 @sd_eigen、@LineaBuild 的 @alexand_belling 和 @the_matter_labs & @zksync 的 @portport255 一起，Maya 讨论了 zkVM 设计和证明系统的权衡： 2) Maya 后来与 @ethereumfndn 的 @Khovr、@thezkcloud 的 @NorbertVadas、@NexusLabs 的 @0xAlecJames 和 @HouseofZK 的 @alicelingl 一起探讨了在不同硬件设置、应用需求和安全考虑下基准测试 ZK 系统的挑战和权衡：

ZKsync @zksync推出了Prividium，这是一个为需要隐私、合规性和@ethereum互操作性的机构量身定制的私有区块链基础设施。它允许企业运行具有内置KYC、审计功能和可定制治理的私有链。 首个部署的@Memento_Bc ZK链 - 与@DeutscheBank合作开发 - 将资金服务上链，提供KYC限制访问和近乎即时的结算。Prividium使安全、合规的操作成为可能，而不将机构与更广泛的区块链生态系统隔离： 该项目还推出了“Gateway”，一个中间件，支持跨链消息传递并聚合ZKsync链上的证明。通过将证明捆绑为一个，它降低了以太坊L1的结算成本，并支持更快的互操作性。与v28升级一起发布，它将在v29中很快支持原生跨链消息传递，成为互联的链上网络的重要一步： 他们还宣布了Wonder的主网启动，这是由@WonderFi开发的自定义ZKsync链，加拿大最大的受监管加密平台。Wonder拥有超过170万用户和22亿美元的资产，结合了@ethereum级别的安全性、无燃料交易和机构基础设施，旨在将用户带入链上，旨在将受监管的金融与无许可的区块链访问桥接起来： 在其他新闻中，ZKsync是@BerBlockWeek的House of ZK的@eth_proofs峰会活动的主要赞助商。@portport255，@the_matter_labs和ZKsync的核心贡献者： 1) 首先，他与@ethereumfndn的@asn_d6、@ProjectZKM的@sd_eigen、@LineaBuild的@alexand_belling和@StarkWareLtd的@MayaD09111862一起讨论了可能使用的最佳zkVM架构： 2) 他随后回到舞台，发表了关于“ZKSync Airbender和ZKsync OS”的主题演讲： 3) 在他的最后一个小组讨论中，Porter与@axiom_xyz的@theyisun、@powdr_labs的@leonardoalt、@IrreducibleHW的@radi_cojbasic和@RiscZero的@reka_eth讨论了zkVM性能的真实情况： 最后，@zkSyncDevs提议进行升级，以优化椭圆曲线预编译并引入ModExp预编译，将zkSNARK验证的燃料成本降低约94% - 从6.8M降至0.37M。椭圆曲线操作将直接在电路中运行。无需开发者操作，升级已在ZKsync Era测试网生效，详细信息请参见治理提案：

Aztec @aztecnetwork推出了StealthNote，这是一款去中心化应用，允许用户发布匿名消息，同时证明与某个组织的关联。通过使用零知识证明（ZKP）和Google OAuth，它在不透露个人数据的情况下确认电子邮件域名的所有权。 该应用使用@NoirLang构建，用户信息在设备上保持私密。消息和公共证明存储在服务器端，允许其他人验证真实性而不妨碍发送者身份： 此外，@punk6052和@TheOtherAmal来自Aztec撰写了一篇文章，解释了当前在线年龄验证法律如何通过要求过度的数据收集来妨碍隐私和言论自由。他们提出零知识身份（ZKI）作为更好的解决方案，使用加密证明确认年龄而不透露个人信息。ZKI提供了一种保护隐私的替代方案，满足监管需求，同时最小化监视、审查和身份盗窃的风险： 最后，Aztec测试网在2025年5月29日面临重大区块生产减缓，原因是19,000个节点之间的内存池分歧。较小的节点随机驱逐交易，导致验证失败。 已部署修复：区块提案现在包括完整交易，节点始终向发送者请求缺失数据。尽管有效，但该解决方案增加了带宽使用，促使在Aztec全面去中心化启动之前进行进一步优化：

Polygon @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 一起讨论了实现以低于 12 秒的 Ethereum L1 块所需的架构和硬件瓶颈： 随后，Jordi 还进行了主题演讲，介绍了 ZisK - 一种基于 Hermes 经验构建的新型高性能 ZK 证明器，具有完全开源的架构，并支持用 Rust 编写的 64 位应用程序：

Linea @LineaBuild 已成为首个通过 ZKP 完全证明 100% EVM 执行的 zkEVM。这个里程碑被称为证明者完整性，经过六年的研究和开发而成。它通过加密证明显著增强了 @ethereum 的安全性和可靠性，使所有 EVM 操作能够完全验证，标志着一个重大的技术成就： 此外，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 的当前状态和未来路线图。他解释了技术架构、性能策略，以及实现与以太坊完全兼容的计划：

Taiko @alethiataiko 正在 Hekla 测试网中引入基于预确认的系统，过渡到仅限白名单的系统。当前的提案者必须立即停止提案并更新他们的软件以保持连接。如果配置正确，证明者可以继续证明未分配的区块。所需版本包括 taiko-geth v1.16.0、alethia-client v1.6.2 及其他： 该项目在 Taiko Hekla 上经过广泛测试后，成功实施了 Pacaya 硬分叉。节点操作员需要在区块 1,166,000 之前升级他们的软件。此次更新引入了重大变更，并要求多个组件进行更新： taiko-geth 的一个关键热修复也在此后不久发布，所有主网操作员现在必须升级到 v1.15.1-hotfix：

Telos @HelloTelos 和 @cicada_mm 启动了一个价值 100 万美元的投资计划，旨在支持早期团队构建快速、可扩展的区块链应用程序。专注于 EVM dApps、ZK 基础设施或模块化 DeFi 的项目可以获得高达 10 万美元的资金支持，以及提前访问 Telos 技术、流动性支持和市场推广帮助： 此外，该项目已经孵化了 @thegigachain，这是其转型为社区拥有的风险生产工作室的第一个项目。Gigachain 专注于无信任的并行计算，基于 ZK 技术，于 2025 年 5 月完成了原型。获得 100 万美元的种子前融资，计划于 2026 年在测试网启动，2027 年在主网推出： 最后，Telos 重申了对 ZK 技术的承诺，尽管最近遇到了一些障碍，但仍然保持持续的动力。其 ZKP 聚合协议 SNARKtor 计划于 2025 年 8 月 31 日在主网上线，使得更可扩展和私密的区块链应用成为可能。开发工作依然强劲，Telos 与 ZK 团队之间的合作继续优先考虑去中心化、可扩展性和跨生态系统的共享创新：

Scroll @Scroll_ZKP 已将其区块时间从 3 秒减少到 1 秒，降低了交易延迟并改善了用户体验。这一变化意味着更快的确认、更流畅的应用性能以及降低了价格滑点等风险。 开发者现在可以构建更具响应性的类网页应用，而无需增加复杂性。Scroll 计划进一步将延迟降低到 500 毫秒，旨在在保持安全性和 EVM 兼容性的同时，达到传统网页的性能： 此外，该项目推出了一门面向初学者的 Vyper 课程，专为转向 Web3 的 Python 开发者设计。这门 19 课的系列课程使用类似 Python 的语法教授智能合约基础，能够在 EVM 上运行。 通过清晰的解释、渐进的练习以及通过 Telegram 提供的社区支持，该课程为没有区块链经验的人提供了从 Web2 到 Web3 开发的顺利过渡。

Kakarot @KakarotZkEvm 正在努力整合 @StarkWareLtd 的新 S-two 系统，该系统提高了客户端证明性能： 与 StarkWare 一起，他们正在开发 S-TWO M31，预计将实现 20-50 倍的速度提升。目标是在常规硬件上实现实时证明，支持私密的设备内 KYC 和年龄验证，而不暴露敏感用户数据。

Malda @malda_xyz 已整合 @AcrossProtocol 的结算合约，以统一 @ethereum、@base 和 @LineaBuild 之间的流动性，解决 DeFi 借贷中的碎片化问题。通过使用 ZKP 和基于意图的结算，Malda 自动且安全地重新平衡流动性，实现高效借贷而不影响用户体验。第二阶段将引入大额借款的按需流动性，瞬间弥补差距。这为跨链资本效率设定了新的标准： 此外，他们还与 @w3arew3 合作，整合其智能层技术。此次合作旨在开发一个风险管理系统，以支持更安全和数据驱动的借贷操作。

Manta Network @MantaNetwork 在 @StargateFinance 上推出了一个 ETH 池，支持 Manta Pacific 和 @ethereum 之间的无缝 ETH 桥接： 与 Stargate 的流动性网络的集成支持超过 40 条链。用户还可以桥接 mTokens，包括质押的 USDT 和 USDC，增强 DeFi 访问。此更新简化了跨链资产转移，提高了流动性和用户灵活性。