10 años de métodos formales, ingeniería de alta garantía y ciencia meticulosa no impidieron que la falta de diversidad de clientes detuviera la cadena Ethereum soluciona esto