Microsoft anuncia VeriSol: nueva herramienta para verificar contratos inteligentes de Ethereum

Microsoft

El 3 de junio, el equipo de investigación de Microsoft anunció una nueva herramienta de verificación para asegurar contratos inteligentes escritos en Solidity, el lenguaje de programación predominante de la red Ethereum.

Esa herramienta, apodada VeriSol, se produjo en un esfuerzo de colaboración entre Microsoft Research, el brazo de innovación del gigante tecnológico, y Microsoft Azure Blockchain, el brazo de computación en la nube de la compañía, cuyo objetivo es ayudar a las empresas e instituciones a construir fácilmente sus propias aplicaciones de blockchain..

Microsoft

En particular, la herramienta no es simplemente una contribución de buena voluntad a la criptoeconomía (aunque ha sido de código abierto), ya que Azure Blockchain aprovechará el analizador de solidez para ayudar a los productos de sus propios clientes institucionales. Como explicó el ingeniero de software senior del equipo, Cody Born, en las noticias:

“VeriSol nos permite iterar más rápidamente debido a la verificación automática y continua, y nos permite detectar errores más rápido sin tener que preocuparnos por afectar potencialmente a los clientes”.

Los contratos inteligentes no se pueden editar sobre la marcha una vez que están activos, por lo que es clave revisar meticulosamente su código antes de activarlos en la red principal de Ethereum; de lo contrario, los errores pueden causar una catástrofe con consecuencias económicas tangibles..

En abril, una rampa fiat-criptográfica para la moneda estable Dai llamada DAIHard realizó su lanzamiento beta, pero debido a errores, un hacker de sombrero blanco agotó los contratos antes de que un agente más malicioso pudiera hacerlo. En consecuencia, la idea con VeriSol es detectar de manera rápida y eficiente tales discrepancias de solidez antes, no después, de que causen problemas..

Microsoft adopta Blockchain

El anuncio de VeriSol viene inmediatamente después de varios abrazos de blockchain de alto perfil en el ecosistema de Microsoft en los últimos tiempos..

Solo en este mes, la compañía o sus diversas ramas han agregado el símbolo Unicode de Bitcoin al sistema de hoja de cálculo Microsoft Excel ampliamente popular; reveló un proyecto de identificación descentralizado construido sobre Bitcoin; y anunció el soporte de Azure Blockchain para Quorum, la bifurcación autorizada de Ethereum de JP Morgan.

De hecho, la posición de Microsoft como parte interesada en el espacio más amplio de la cadena de bloques está creciendo, y herramientas como VeriSol de código abierto ahora ayudarán a que los proyectos más allá de su ámbito directo también crezcan. Con ese fin, el investigador principal de Microsoft, Shuvendu Lahiri, señaló sobre el verificador:

“Prevemos empoderar no solo a los desarrolladores y clientes de Azure Blockchain, sino también contribuir a un ecosistema de blockchain completo que sea más seguro y ayude a las personas a aprovechar todo el potencial de la tecnología sin verse afectadas por los costosos errores de los contratos inteligentes”.

Y, por lo tanto, la actividad y la infraestructura pública en torno a la tecnología de contratos inteligentes, y particularmente en torno a Ethereum, la plataforma de contratos inteligentes más grande hasta la fecha, continúa floreciendo constantemente..

Por desgracia, Microsoft tampoco es el único titán de la industria que lanza tecnología gratuita centrada en Ethereum. La potencia contable de “Big Four”, EY, lanzó su herramienta de privacidad Nightfall hace solo unos días.

Solidez 101

Delineado por primera vez en 2014 por el cofundador de Ethereum, Gavin Wood, Solidity fue finalmente construido por un grupo de desarrolladores de Ethereum encabezados por Christian Reitwiessner..

El lenguaje se inspiró vagamente en aspectos de otros lenguajes de programación populares y más convencionales como JavaScript, Python y C ++. Por ello, se recomienda a los recién llegados a la programación que estén interesados ​​en aprender Solidity que se adentren en uno de sus influencers como punto de partida..

Según la documentación de Solidity, el lenguaje básicamente construye contratos de la siguiente manera:

“Un contrato en el sentido de Solidez es una colección de código (sus funciones) y datos (su estado) que residen en una dirección específica en la cadena de bloques Ethereum”.

Por lo tanto, Solidity brinda a los desarrolladores la capacidad de “gobernar el comportamiento de las cuentas dentro del estado Ethereum”, explica su documentación..

Aquellos interesados ​​en darle un giro adicional a Solidity pueden explorar el texto explicativo de Andreas Antonopoulos y Gavin Wood Mastering Ethereum o registrarse en CryptoZombies, un recurso educativo gratuito que ayuda a los principiantes a aprender a codificar un juego basado en zombies en el idioma..

El que madruga se lleva el gusano, por supuesto. Por el impulso que Ethereum ya ha ganado hasta la fecha, parece probable que Solidity esté presente en las próximas décadas..

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me
Like this post? Please share to your friends:
map