以太坊研究日报
The EF zkEVM team published its 2026 L1-zkEVM roadmap with milestones for bringing zkEVM proofs into the core protocol. ACDT #67: EIP-7888 dropped its receipt field and bal-devnet-2 slipped to next week. ERC-8004 was updated from community feedback and merged. zksecurityXYZ formalized FRI soundness in Lean.
(kevaundray), 22:29: after the July 2025 vision for snarkifying the execution layer and the late year security update, the EF zkEVM team set concrete milestones and sub themes.
21:00, per Ethereal news #9: bal-devnet-2 slipped to next week after EIP-7888 dropped its receipt field; devnet scoping discussed the priority of adding CFI EIPs.
ACDT #67, 21:00, per Ethereal news #9: bal-devnet-2 slipped to next week after EIP-7888 dropped its receipt field; devnet scoping discussed the priority of adding CFI EIPs.
ACDT #67, 21:00, per Ethereal news #9: bal-devnet-2 slipped to next week after EIP-7888 dropped its receipt field; devnet scoping discussed the priority of adding CFI EIPs.
05:10; ERC-8004: updates from community feedback (marcoderossi90), submitted and merged.
Magicians: ZK and PQ signatures, should lane and domain binding be a public input, 05:10; ERC-8004: updates from community feedback (marcoderossi90), submitted and merged.
16:02; EIP-7928 Breakout #11 agenda, 14:38.
FOCIL Breakout #27 agenda, 16:02; EIP-7928 Breakout #11 agenda, 14:38.
23:19; binji_x: AI makes authentication harder, and it all needs more privacy and security, 09:09; binji_x: post-quantum Ethereum is coming, 18:44.
ZksecurityXYZ: formalized FRI soundness in Lean with Harmonic and Claude Code, 23:19; binji_x: AI makes authentication harder, and it all needs more privacy and security, 09:09; binji_x: post-quantum Ethereum is coming, 18:44.
ZksecurityXYZ: formalized FRI soundness in Lean with Harmonic and Claude Code, 23:19; binji_x: AI makes authentication harder, and it all needs more privacy and security, 09:09; binji_x: post-quantum Ethereum is coming, 18:44.