Ethereum Toma Medidas Formais para Abordar Riscos da Computação Quântica