Ethereum unternimmt formale Schritte zur Bewältigung von Risiken der Quantencomputer-Technologie