以太坊研究日报

EIP-8288：新标题

（vbuterin）合并，改为“In-mempool signature and proof aggregation”，理由是用目标做标题比用 frame 模式这种实现细节更好。

https://github.com/ethereum/EIPs/pull/12327 2026-09-13

聚合电路必须具备的性质

ilitteri 的系列 PR：聚合电路必须具备的性质、依赖验证帧可以放在哪里、依赖验证帧的收据、把依赖验证帧排除在原子批量之外。

https://github.com/ethereum/EIPs/pull/12323 2026-09-13

依赖验证帧可以放在哪里

ilitteri 的系列 PR：聚合电路必须具备的性质、依赖验证帧可以放在哪里、依赖验证帧的收据、把依赖验证帧排除在原子批量之外。

https://github.com/ethereum/EIPs/pull/12324 2026-09-13

依赖验证帧的收据

ilitteri 的系列 PR：聚合电路必须具备的性质、依赖验证帧可以放在哪里、依赖验证帧的收据、把依赖验证帧排除在原子批量之外。

https://github.com/ethereum/EIPs/pull/12325 2026-09-13

把依赖验证帧排除在原子批量之外

ilitteri 的系列 PR：聚合电路必须具备的性质、依赖验证帧可以放在哪里、依赖验证帧的收据、把依赖验证帧排除在原子批量之外。

https://github.com/ethereum/EIPs/pull/12326 2026-09-13

EIP-8141：按节点可判定的流出属性接纳付款方

（AnkushinDaniil，后关闭）。目前付款方要么代码与标准实现完全一致，要么被视为非标准并限制为一笔待处理交易，而该限制只因非标准付款方的 ETH 流出不受控。

https://github.com/ethereum/EIPs/pull/12328 2026-09-13

ethresear.ch：SizzLean，形式化验证且易用的 Lean 4 SSZ 库

22:22，覆盖共识协议用到的所有 SSZ 类型，通过上游一致性测试。

https://ethresear.ch/t/lean4-ssz-library-formally-verified-and-easy-to-use/25988 2026-09-13

Magicians：AI 代理安全证明与交易守卫标准草案

17:12。

https://ethereum-magicians.org/t/erc-ai-agent-proof-of-safety-attestation-transaction-guard-standard-iagenttransactionguard/29658 2026-09-13

ERC-8167 进入 Final

https://github.com/ethereum/ERCs/pull/2007 2026-09-13

binji 介绍 barnabemonnot 在 EF 研究 6.5 年后转向关注实际使用

18:32。

https://x.com/binji_x/status/2099098845468631326 2026-09-13