Yet, Lean Ethereum remains a research framework without a scheduled hard fork proposal.

Quote

Sources

Vitalik proposes ‘Lean Ethereum’ to achieve quantum security, simpler validator operations