10 let formálních metod, vysoké úrovně spolehlivosti a pečlivé vědy nezastavilo nedostatek rozmanitosti klientů, který zastavil řetězec Ethereum to opravuje