Overview
- A developer using agentic coding produced a roughly 700,000‑line, 65‑item, roadmap‑aligned Ethereum client in about two weeks that syncs with mainnet, though Buterin says it likely contains critical bugs and stubbed features.
- Buterin reported rebuilding his blog software in one hour with a 20‑billion‑parameter model running locally, noting that more capable models might compress such tasks even further.
- AI is accelerating formal verification as a Lean Ethereum collaborator used it to generate a machine‑verifiable proof for a complex theorem underpinning STARK security.
- Buterin recommends directing at least half of AI productivity gains to stronger testing, formal verification, and multi‑implementation checks rather than pure speed.
- In a separate technical update, he outlined a proposed move to a binary state tree (EIP‑7864) and exploration of RISC‑V for the EVM, with Glamsterdam and Hegota upgrades targeted for 2026 and key EIPs still unconfirmed.