- Lean specs: Break protocol logic into small, understandable pieces - Lean tech debt: Clean up legacy features (EVM, blob formats, etc.) - Lean longevity: Don’t ossify—refactor when it’s optimal - Lean formal verification: Start with zkVMs and signature aggregation