Lean Execution: a holistic approach to secure, efficient, adaptive, and resourceful execution throughput to scale the world-computer ethresear.ch
Ethereum scaling essay on “lean execution”, stapling SNARKs, recursion, statelessness, and sharding into one ambitious roadmap.