10 ans de méthodes formelles, d'ingénierie à haute assurance et de science méticuleuse n'ont pas empêché le manque de diversité des clients d'arrêter la chaîne Ethereum résout ce problème