Microsoft lanza una nueva herramienta para verificar los contratos inteligentes de Ethereum

Microsoft lanza una nueva herramienta para verificar los contratos inteligentes de Ethereum. Microsoft ha lanzado una nueva herramienta de código abierto que permitirá la verificación y análisis de contratos inteligentes escritos en el popular lenguaje de programación Solidity que se usa comúnmente en la cadena de bloques de Ethereum.
La nueva herramienta se llama VeriSol, abreviatura de Verifier for Soliity, y permite a los desarrolladores expresar los “comportamientos deseables de los contratos inteligentes escritos en un subconjunto del lenguaje de Solidity popular” y luego usar “maquinaria lógica matemática” para verificar una especificación contra una implementación de contrato inteligente determinada.
VeriSol también se ha incorporado a la canalización de integración continua de Azure Blockchain para el desarrollo de contratos inteligentes.
El ingeniero sénior de software del equipo de Azure Blockchain Cody Born dijo: “VeriSol nos permite iterar más rápidamente debido a la comprobación automática y continua, y nos permite detectar errores más rápido sin tener que preocuparnos por afectar potencialmente a los clientes”.
Fomentar la colaboración de código abierto
Mientras que VeriSol sigue siendo un prototipo impulsado principalmente hasta ahora por contratos inteligentes en Azure, los investigadores tienen altos objetivos para la herramienta de verificación, diciendo que buscan “fomentar la colaboración abierta para ayudar a lograr avances en la verificación formal para el desarrollo de contratos inteligentes”.
El investigador principal de Microsoft Shuvendu Lahiri concluyó: “Imaginamos empoderar no solo a los desarrolladores y clientes de Azure Blockchain, sino contribuir a un ecosistema de blockchain completo que sea más seguro y ayudar a las personas a realizar todo el potencial de la tecnología sin estar plagado por los costosos errores en smart contratos.”
Para obtener más noticias, análisis técnico y guías de criptomonedas, haga clic aquí.