Certik lanza una demostración de un lenguaje que pretende hacer a la blockchain "resistente a los hackers"
Esta semana se ha lanzado un demo de un lenguaje inteligente de verificación de contratos respaldado por Binance Labs y la Fundación Ethereum