Скачать или смотреть How to become an Ethereum researcher: Formal verification and rollup security

Rollups currently rely on centralized sequencers and security councils rather than their intended proof systems, creating vulnerabilities that will emerge as these training wheels come off. Justin Drake, researcher at Ethereum Foundation's protocol architecture team, explains why this represents the highest-impact opportunity for security researchers alongside formal verification and new client implementations.

Drake provides specific career guidance for researchers at different stages. For those willing to invest in long-term skills, formal verification using Lean4 frameworks now supports AI integration and collaborative proving, making previously laborious work tractable. For immediate bug hunting, new execution clients like Erigon—a Rust-based, performance-focused implementation—likely contain vulnerabilities due to their nascent stage.