@VitalikButerin showcased lean Eth with 4 exs: - 3SF: Fast finality with minimal lines of code. - Pq signature aggregation: Robust, efficient, and future-safe. - ZK-VMs: Verifiable execution and efficient proving. - Data layer refactor: Erasure coding, pq, and blob merging.