Microsoft lanza nueva herramienta para auditar contratos inteligentes de Ethereum.
Microsoft ha lanzado una nueva herramienta de código abierto que permitirá auditar y analizar contratos inteligentes escritos en Solidity, el popular lenguaje de programación comúnmente usado en la blockchain de Ethereum. La nueva herramienta...