{"id":12994,"date":"2019-06-04T00:00:00","date_gmt":"2019-06-04T00:00:00","guid":{"rendered":"

La tecnolog\u00eda blockchain lleg\u00f3 como una tormenta por su naturaleza disruptiva. Ahora est\u00e1 en uso en varios sectores, incluyendo finanzas, gesti\u00f3n de la cadena de suministro, por mencionar s\u00f3lo algunos. Sin embargo, con su in"},"modified":"2019-06-04T00:00:00","modified_gmt":"2019-06-04T00:00:00","slug":"azure-blockchain-desarrolla-verisol-una-herramienta-de-verificacion-formal-de-codigo-abierto","status":"publish","type":"post","link":"https:\/\/crypto-economy.com\/es\/azure-blockchain-desarrolla-verisol-una-herramienta-de-verificacion-formal-de-codigo-abierto\/","title":{"rendered":"Azure Blockchain desarrolla Verisol, una herramienta de verificaci\u00f3n formal de c\u00f3digo abierto"},"content":{"rendered":"

La tecnolog\u00eda blockchain lleg\u00f3 como una tormenta por su naturaleza disruptiva. Ahora est\u00e1 en uso en varios sectores, incluyendo finanzas, gesti\u00f3n de la cadena de suministro, por mencionar s\u00f3lo algunos. Sin embargo, con su integraci\u00f3n en sistemas ya desarrollados, la tecnolog\u00eda en s\u00ed tambi\u00e9n 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<\/a><\/strong>. Los incumplimientos conducen a la incertidumbre cuando se trata de contratos inteligentes, lo que genera m\u00e1s problemas al momento de solucionarlos.<\/p>\n

Sin embargo, hay esperanzas en una oferta para ayudar a resolver los problemas que surgen al realizar cambios en los contratos inteligentes<\/strong>, los desarrolladores del grupo de trabajo de Microsoft Azure<\/a><\/strong> blockchain han desarrollado VeriSol, que es para Solidity en su totalidad. Esta \u00faltima es una herramienta de verificaci\u00f3n formal de c\u00f3digo abierto que ser\u00eda \u00fatil para ayudar a los desarrolladores de blockchain a corregir las brechas sin interferir con el funcionamiento del ecosistema de blockchain<\/strong>.<\/p>\n

Adem\u00e1s, tambi\u00e9n ayudar\u00e1 a resolver los problemas que surgen en los contratos inteligentes durante los incumplimientos. Esta \u00faltima forma la base del funcionamiento de la tecnolog\u00eda blockchain, por lo tanto, el desarrollo de una herramienta para corregir errores despu\u00e9s de una brecha ser\u00eda de gran ayuda para los desarrolladores.<\/p>\n

Adem\u00e1s, a trav\u00e9s de VeriSol<\/strong><\/a>, los desarrolladores ahora tienen la oportunidad de expresar los comportamientos deseables de los contratos inteligentes despu\u00e9s de escribir el subconjunto del popular lenguaje de Solidity y utilizar la maquinaria de l\u00f3gica matem\u00e1tica para verificar esas especificaciones de forma rigurosa en comparaci\u00f3n con la implementaci\u00f3n<\/strong>. Para aprovechar la herramienta VeriSol, los desarrolladores de Azure ya han incorporado la herramienta en el desarrollo de sus contratos inteligentes.<\/p>\n

\"Microsoft<\/a><\/p>\n

VeriSol ayudar\u00e1 a los desarrolladores a trabajar m\u00e1s r\u00e1pido<\/strong><\/h2>\n

A trav\u00e9s de VeriSol, ahora ser\u00e1 m\u00e1s f\u00e1cil para los desarrolladores trabajar r\u00e1pidamente, ya que los algoritmos de verificaci\u00f3n continua y autom\u00e1tica de VeriSol ayudar\u00e1n a detectar errores de forma m\u00e1s r\u00e1pida a implementar los cambios sin afectar a los usuarios<\/strong>. Durante el proceso de verificaci\u00f3n, los desarrolladores ahora aprovechar\u00e1n las funciones autom\u00e1ticas de VeriSol para implementar tantas pruebas l\u00f3gicas como sea posible.<\/p>\n

Este \u00faltimo ahorrar\u00e1 recursos de tiempo y ayudar\u00e1 a navegar r\u00e1pidamente el funcionamiento de los algoritmos de contratos inteligentes. Para obtener m\u00e1s informaci\u00f3n 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.<\/p>\n","protected":false},"excerpt":{"rendered":"

La tecnolog\u00eda blockchain lleg\u00f3 como una tormenta por su naturaleza disruptiva. Ahora est\u00e1 en uso en varios sectores, incluyendo finanzas, gesti\u00f3n de la cadena de suministro, por mencionar s\u00f3lo algunos. Sin embargo, con su integraci\u00f3n en sistemas ya desarrollados, la tecnolog\u00eda en s\u00ed tambi\u00e9n trajo algunas vulnerabilidades. A veces explotan y se producen infracciones al … <\/p>\n

Leer m\u00e1s<\/a><\/p>\n","protected":false},"author":4,"featured_media":12996,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"rank_math_title":"","rank_math_description":"","footnotes":""},"categories":[918,915],"tags":[97],"class_list":["post-12994","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-companias","category-featured","tag-microsoft"],"_links":{"self":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/12994","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/comments?post=12994"}],"version-history":[{"count":0,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/12994\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media\/12996"}],"wp:attachment":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media?parent=12994"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/categories?post=12994"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/tags?post=12994"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}