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