Azure Blockchain desarrolla Verisol, una herramienta de verificación formal de código abierto

Azure Blockchain desarrolla Verisol, una herramienta de verificación formal de código abierto

La tecnología blockchain llegó como una tormenta por su naturaleza disruptiva. Ahora está en uso en varios sectores, incluyendo finanzas, gestión de la cadena de suministro, por mencionar sólo algunos. Sin embargo, con su integración en sistemas ya desarrollados, la tecnología en sí también trajo algunas vulnerabilidades. A veces explotan y se producen infracciones al igual que en el caso del error de cartera de Parity y el exploit de DAO. Los incumplimientos conducen a la incertidumbre cuando se trata de contratos inteligentes, lo que genera más problemas al momento de solucionarlos.

Sin embargo, hay esperanzas en una oferta para ayudar a resolver los problemas que surgen al realizar cambios en los contratos inteligentes, los desarrolladores del grupo de trabajo de Microsoft Azure blockchain han desarrollado VeriSol, que es para Solidity en su totalidad. Esta última es una herramienta de verificación formal de código abierto que sería útil para ayudar a los desarrolladores de blockchain a corregir las brechas sin interferir con el funcionamiento del ecosistema de blockchain.

Además, también ayudará a resolver los problemas que surgen en los contratos inteligentes durante los incumplimientos. Esta última forma la base del funcionamiento de la tecnología blockchain, por lo tanto, el desarrollo de una herramienta para corregir errores después de una brecha sería de gran ayuda para los desarrolladores.

Además, a través de VeriSol, los desarrolladores ahora tienen la oportunidad de expresar los comportamientos deseables de los contratos inteligentes después de escribir el subconjunto del popular lenguaje de Solidity y utilizar la maquinaria de lógica matemática para verificar esas especificaciones de forma rigurosa en comparación con la implementación. Para aprovechar la herramienta VeriSol, los desarrolladores de Azure ya han incorporado la herramienta en el desarrollo de sus contratos inteligentes.

Microsoft Azure blockchain han desarrollado VeriSol

VeriSol ayudará a los desarrolladores a trabajar más rápido

A través de VeriSol, ahora será más fácil para los desarrolladores trabajar rápidamente, ya que los algoritmos de verificación continua y automática de VeriSol ayudarán a detectar errores de forma más rápida a implementar los cambios sin afectar a los usuarios. Durante el proceso de verificación, los desarrolladores ahora aprovecharán las funciones automáticas de VeriSol para implementar tantas pruebas lógicas como sea posible.

Este último ahorrará recursos de tiempo y ayudará a navegar rápidamente el funcionamiento de los algoritmos de contratos inteligentes. Para obtener más información sobre la herramienta VeriSol, los desarrolladores de Microsoft Azure ya han implementado la herramienta en un conjunto de contratos inteligentes en el ecosistema de la cadena de bloques de Azure.