开篇
据在 All Core Developers（ACD）会议上的讨论，Ethereum Foundation 的 zkEVM 团队已提出在 Hegota 分叉中纳入 EIP-8025。EIP-8025 引入可选执行证明，使以太坊节点能够验证零知识证明，而不是直接重新执行所有交易。目前，节点通过重新执行交易结果来验证区块正确性；EIP-8025 增加了一种替代方案：节点无需重复完整计算即可验证区块有效性的 ZK 证明。在此阶段，该提案作为完整的可选开关机制运行——只有选择使用证明的节点会受到影响，并且共识规则保持不变。这代表以太坊从实验阶段正式转向零知识技术的协议级集成，可能降低节点运营成本，并在长期内借助更复杂的执行实现更大的区块。
研究进展
EIP-8025：以太坊的零知识基础设施进入协议升级阶段
EIP-8025 的核心机制围绕可选执行证明展开。节点不再要求所有节点重新执行交易以验证区块有效性，节点可以改为验证零知识证明，以确认执行正确性。该提案并不会立即将以太坊转变为基于 ZK 的链；相反，它奠定了从“直接重新执行链”向“证明验证链”过渡的基础。
其意义在于降低节点运营开销，并为更大区块和更复杂执行建立基础设施。通过让节点验证证明而非复制计算，以太坊可以支持更高吞吐量与处理能力。
VItalik Buterin：关于 AI 与形式化验证的网络安全
以太坊联合创始人 Vitalik Buterin 发布了关于结合 AI 与形式化验证来改造网络安全的分析。形式化验证通过数学方式证明程序完全按照预期运行——这与传统安全审计形成对比：传统审计由人类审阅代码以查找漏洞。
Buterin 提议，AI 可以生成低级汇编代码，而形式化验证则用于确认该代码产生的行为与人类可读的高级实现完全一致。该方法回应了传统的权衡：汇编代码执行更高效，但难以进行人工审阅；高级代码更重视可读性而非性能优化。
文中提到的以太坊生态示例包括 Arklib（致力于为证明正确的复杂计算而进行形式化验证的 STARK）以及 evm-asm（将 EVM 用 RISC-V 编写，并证明其与 Lean 实现等价，其中 Lean 是一种形式化验证工具）。
对于区块链协议与智能合约而言，更强的验证方法至关重要，因为部署错误会带来严重后果。
ZK Summit 14：重点从证明系统性能转向真实世界系统保证
ZK Summit 14 于 5 月 7 日在罗马召开，汇聚了包括 Ethereum Foundation、Succinct、Aztec、Nethermind 和 Miden 在内的 ZK 生态主要团队的 24 场报告。
最显著的趋势是关注点从证明系统性能指标——速度、证明大小、验证成本——转向真实世界系统保证。零知识技术正逐步融入支付系统、身份验证、zkVMs 和机器学习应用。在这些场景中，仅凭证明性能本身不足以证明：
- 支付系统 需要保护交易金额和用户信息。
- 身份系统 必须让用户能够证明所需凭证，同时隐蔽其他个人数据。
- zkVMs 必须准确证明复杂程序执行。
- 机器学习 应用需要验证模型推理结果未被篡改。
ZK 技术已从“快速生成证明”扩展为一种依据每个系统的需求来设计安全与隐私保证的方法。ZK Summit 14 展示了零知识技术正在从研究走向与真实基础设施和应用的深度集成。
生态更新
Kohaku 隐私框架即将上线，钱包集成测试正在进行
以太坊模块化隐私框架 Kohaku 正接近上线，并正在进行钱包集成测试。Kohaku 提供统一接口，使钱包能够使用多个加密后端执行私密交易，而无需直接实现隐私功能。
包括 Ambire 在内的钱包目前正在进行 Kohaku 集成测试。历史上，隐私功能在用户钱包中的采用曾面临障碍，因为各自的隐私协议采用不同架构，导致钱包需要分别支持每项技术。
Kohaku 通过允许钱包通过单一接口访问多个隐私后端来解决这种碎片化。若采用率提高，可能会扩大 Railgun 的使用；Railgun 被认为是 Kohaku 的基础隐私引擎。该框架旨在将以太坊隐私从“面向高级用户的专用工具”转变为“自然集成的钱包功能”。
L2BEAT 验证 Lighter 的零知识退出保险
二层分析平台 L2BEAT 验证了 Lighter 的 ZK 电路；Lighter 是部署在二层上的永续期货 DEX。Lighter 支持永续衍生品交易——合约没有到期日。
L2BEAT 直接从源代码汇编了所有 Lighter 的 ZK 电路，并确认与已部署的验证者合约一致（用于验证提交的 ZK 证明的智能合约）。该验证对应退出保险功能——一种紧急机制，允许在二层排序器或运营商停止运行时，用户提取资产。
此前，Lighter 隐藏了部分验证者源代码，导致在排序器故障期间用户无法独立生成退出证明（证明提款权的数据）。在 L2BEAT 完成验证后，用户现在可以独立生成退出证明，从而在紧急情况下增强在不依赖 Lighter 团队的前提下提取资产的能力。
这一案例表明，对于二层安全而言，验证已部署代码与公开可获得代码一致，与代码可用性本身同样关键。
ETHGlobal 调整黑客松形式
ETHGlobal 已重构其黑客松形式。传统黑客松要求参赛者在较短时间内选择想法并构建最小可行产品（MVP——展示核心功能的初始版本）。
从纽约黑客松开始，新的赛道允许参赛者向现有开源仓库贡献功能，或为既有产品添加功能，然后将改进以开源形式公开发布。此变更提高了黑客松产出转化为真正生态贡献的可能性。过去，短时间内交付的 MVP 常常在活动结束后就停止开发。直接为正在活跃的开源项目做贡献，会直接惠及现有用户与开发者。
ETHGlobal 正从“快速展示新想法”扩展为“有意义地改进现有生态基础设施”。随着以太坊成熟，增强现有公共产品与开发者工具与创建全新的应用同样重要。
社区更新
Ethereum Foundation 高级贡献者退出
两名 Ethereum Foundation 的资深研究人员已辞职：Carl Bewick 和 Julian Ma。这使得两个月内高级贡献者离职总数达到七人。
Carl Bewick 在 Ethereum Foundation 贡献了约七年，参与了共识研究、Beacon Chain 初始设计，以及 KZG 仪式（与以太坊数据可用性扩展相关的密码学设置流程）。
Julian Ma 贡献了约四年，共同撰写了 EIP-7805 FOCIL，并参与了 FCR GTM（关于抗审查与交易纳入保证的讨论，以及用于实现更快交易最终性感知的快速确认规则）。
近期核心协议研究与升级协调人员的离职，引发了关于如何维持协议开发协调以及研究连续性的疑问。
Railgun 在 Kohaku 采用预期中引发关注
隐私协议 Railgun 因 Kohaku 的潜在采用而受到关注。分析认为，Kohaku 与钱包的集成程度提高可能会扩大 Railgun 的使用。Railgun 使以太坊 DeFi 交互得以在保持隐私的同时进行——标准链上交易会暴露钱包地址、交易金额与交互的协议，而 Railgun 会隐藏这些信息。
Railgun 对 Shield 行为（将资产转入隐私保护区域）和 unShield 行为（提取至公开区域）分别收取 0.25% 手续费。随着通过 Kohaku 的钱包采用率提升，以及私密交易量增加，Railgun 的手续费收入也将随之扩大。
分析指出，与 ZEC 和 DASH 等隐私币相比，Railgun 似乎被低估；其差异在于其直接的以太坊 DeFi 交互能力。虽然 ZEC 与 DASH 是独立的隐私币，但 Railgun 作为以太坊 DeFi 内的隐私工具运作。如果 Kohaku 能够实现显著的钱包采用，Railgun 可能会成为以太坊隐私基础设施的主要受益方。
每周以太坊指标
- 年化通胀率：0.833%
- 每周净供应：19,422.04 ETH
- 质押比例：31.50%
- 稳定币市值：$163.019 billion
- 美国以太坊现货 ETF 净流出：$255.02 million
数据来源：Ultrasound Money、DeFi Llama、Dune 和 Parsec Investors.
