Ethereum Takes Formal Steps to Address Quantum Computing Risks