Magicians：2026 年 L1 zkEVM 路线图，把 zkEVM 证明整合进以太坊核心协议
（kevaundray）22:29：EF zkEVM 团队继 2025 年 7 月的执行层 snark 化构想与年末的安全基础更新后，给出具体里程碑与子主题。
协议：L1 zkEVM
会议：ACDT #67
ACDT #67
21:00，据 Ethereal news #9：bal-devnet-2 因 EIP-7888 移除收据字段推迟到下周；讨论 devnet 中 CFI EIP 的加入优先级。
Ethereal news #9
ACDT #67 21:00，据 Ethereal news #9：bal-devnet-2 因 EIP-7888 移除收据字段推迟到下周；讨论 devnet 中 CFI EIP 的加入优先级。
bal-devnet-2
ACDT #67 21:00，据 Ethereal news #9：bal-devnet-2 因 EIP-7888 移除收据字段推迟到下周；讨论 devnet 中 CFI EIP 的加入优先级。
交易签名与 Agent
Magicians：ZK 与后量子签名，lane 与 domain 绑定是否应作为公开输入
05:10；ERC-8004：依社区反馈更新（marcoderossi90）提交并合并。
ERC-8004：依社区反馈更新
Magicians：ZK 与后量子签名，lane 与 domain 绑定是否应作为公开输入 05:10；ERC-8004：依社区反馈更新（marcoderossi90）提交并合并。
其他动态
FOCIL 专场 #27 议程
16:02；EIP-7928 专场 #11 议程 14:38。
EIP-7928 专场 #11 议程
FOCIL 专场 #27 议程 16:02；EIP-7928 专场 #11 议程 14:38。
社区讨论
zksecurityXYZ：借助 Harmonic 与 Claude Code 用 Lean 形式化 FRI 可靠性
23:19；binji_x：AI 让认证问题更突出，需要更多隐私与安全 09:09；binji_x：后量子以太坊即将到来 18:44。
binji_x：AI 让认证问题更突出，需要更多隐私与安全
zksecurityXYZ：借助 Harmonic 与 Claude Code 用 Lean 形式化 FRI 可靠性 23:19；binji_x：AI 让认证问题更突出，需要更多隐私与安全 09:09；binji_x：后量子以太坊即将到来 18:44。
binji_x：后量子以太坊即将到来
zksecurityXYZ：借助 Harmonic 与 Claude Code 用 Lean 形式化 FRI 可靠性 23:19；binji_x：AI 让认证问题更突出，需要更多隐私与安全 09:09；binji_x：后量子以太坊即将到来 18:44。