隐私原语：EIP-8272

新 EIP：frame 交易的 recent roots

（soispoke）提交，即 EIP-8272。

https://github.com/ethereum/EIPs/pull/11726 2026-05-25

抗审查与共识

ethresear.ch：用 Lean 4 形式化 FOCIL

21:56（rahul）：FOCIL（EIP-7805）是 Hegotá 的抗审查头条功能，常说的卖点是“包含列表委员会中只要一个不作恶的成员列出某笔交易，就能强制其进入规范区块”，文章在 Lean 4 中检验这一说法。

https://ethresear.ch/t/formalizing-focil-in-lean-4/24950 2026-05-25

EIP-8243：源头批量证明讨论帖

21:17（raul），让在同一时隙委员会中运行多个验证者的运营方发布一个预聚合证明，代替 N 个单独证明。

https://ethereum-magicians.org/t/eip-8243-batching-attestations-at-source/28606 2026-05-25

其他动态

vdWijden：人们谈 CROPS 时关注抗审查、开源和隐私，但安全才是最重要的，没有安全的 L1 其余都没有意义

04:04。

https://x.com/vdWijden/status/2058655368700371052 2026-05-25

StarkWare：STRK20 将于六月全面上线

18:57。

https://x.com/StarkWareLtd/status/2058880048438890912 2026-05-25

ERC-7930：为零长度地址定义“链标识符”术语

合并；ERC-8126：移至 Final 提交。

https://github.com/ethereum/ERCs/pull/1761 2026-05-25

ERC-8126：移至 Final

ERC-7930：为零长度地址定义“链标识符”术语 合并；ERC-8126：移至 Final 提交。

https://github.com/ethereum/ERCs/pull/1769 2026-05-25

社区讨论

Eli Ben-Sasson：隐私之后的下一个周期是后量子安全

21:25。

https://x.com/EliBenSasson/status/2058917293409567199 2026-05-25

trent_vanepps：EF 只是参与交付协议功能的众多组织之一，当前模型让部分工作变快，但核心协议改动仍需时间

21:10。

https://x.com/trent_vanepps/status/2058913603755901264 2026-05-25