frame 交易的 nonce 一次性保证

EIP-8250：验证前缀恢复时不得回滚批准效果

（AnkushinDaniil）合并。nonce 消耗一节列出了不得回滚付款范围 `APPROVE` 效果的情况：后续帧回滚、跳过后续帧、恢复原子批量快照，但没有提到 `POST_TX` 断言失败时的验证前缀恢复。这种恢复会丢弃交易主体，但交易仍有效并被打包。PR 把这一情况加入 MUST NOT 清单。

https://github.com/ethereum/EIPs/pull/12266 2026-09-21

EIP-7906：按 topic 值的事件视图

今日合并（19 日提交）。

https://github.com/ethereum/EIPs/pull/12358 2026-09-21

隐私与形式化

ethbeat：L2BEAT 新功能，针对 5 种对手回答每个隐私协议“对谁私密”

22:11。

https://x.com/ethbeat_org/status/2102053042803605760 2026-09-21

ethresear.ch：Etheorem 进展，完整可执行的 Lean 4 共识规范

19:51（leolara），状态转换、分叉选择和建模的容器在 Fulu、Gloas、Heze 三个分叉上通过所有 pyspec 向量，含 mainnet 和 minimal 两种预设。

https://ethresear.ch/t/etheorem-update-the-complete-executable-consensus-specs-written-in-lean-4/26063 2026-09-21

ethresear.ch：Glamsterdam 后的一维费用市场与 EIP-7999 比较

17:40。

https://ethresear.ch/t/post-glamsterdam-one-dimensional-fee-market-and-comparison-with-eip-7999/26062 2026-09-21

其他动态

ethlabs_org：第 13 周有 20 多个团队分享为什么需要更快的 L1，并研究将最终性时间缩短一半以上的可能

01:10。

https://x.com/ethlabs_org/status/2101735860282532180 2026-09-21

StarkWare：STRK20 黑客松 200 多个隐私项目，公布三名获胜者

21:47。

https://x.com/StarkWareLtd/status/2102047013122785723 2026-09-21

zksecurity：Clean 的形式化验证入门

22:56。

https://x.com/zksecurityXYZ/status/2102064343844045110 2026-09-21

Base 链标识示例

ERC-8048 合并两项修订：Base 链标识示例、metadata_contract 为普通 EVM 地址。

https://github.com/ethereum/ERCs/pull/2015 2026-09-21

metadata_contract 为普通 EVM 地址

ERC-8048 合并两项修订：Base 链标识示例、metadata_contract 为普通 EVM 地址。

https://github.com/ethereum/ERCs/pull/2016 2026-09-21

社区讨论

barnabemonnot：可验证性是公链最被低估的属性

13:56。

https://x.com/barnabemonnot/status/2101928462638268576 2026-09-21