Vitalik Buterin has come up with a Lean Ethereum proposal to improve quantum security.