Ethereum предпринимает формальные шаги для устранения рисков квантовых вычислений