Ethereum neemt formele stappen om risico's van kwantumcomputing aan te pakken