10 år med formelle metoder, høy sikkerhetsingeniørkunst og grundig vitenskap stoppet ikke mangelen på kundemangfold fra å stoppe kjeden Ethereum fikser dette