10 år av formella metoder, högsäkerhetsingenjörskonst och noggrann vetenskap stoppade inte bristen på kundmångfald från att stoppa kedjan Ethereum åtgärdar detta