10 anos de métodos formais, engenharia de alta garantia e ciência meticulosa não impediram a falta de diversidade de clientes de parar a cadeia Ethereum resolve isso