{"id":38444,"date":"2021-10-25T21:43:47","date_gmt":"2021-10-25T19:43:47","guid":{"rendered":"

Cardano [ADA]<\/a><\/strong> se ha convertido en uno de los criptoactivos m\u00e1s demand"},"modified":"2021-10-25T21:43:47","modified_gmt":"2021-10-25T19:43:47","slug":"que-implica-la-certificacion-de-cardano-ada-para-contratos-inteligentes","status":"publish","type":"post","link":"https:\/\/crypto-economy.com\/es\/que-implica-la-certificacion-de-cardano-ada-para-contratos-inteligentes\/","title":{"rendered":"\u00bfQu\u00e9 implica la certificaci\u00f3n de Cardano [ADA] para contratos inteligentes?"},"content":{"rendered":"

Cardano [ADA]<\/a><\/strong> se ha convertido en uno de los criptoactivos m\u00e1s demandados en los \u00faltimos tiempos.<\/strong> Este sentimiento se puede atribuir a los desarrollos en torno al espacio de las finanzas descentralizadas [DeFi]<\/strong> y la llegada de los contratos inteligentes.<\/strong><\/p>\n

En l\u00ednea con esto, la plataforma de tecnolog\u00eda blockchain IOHK hab\u00eda establecido sus planes para la certificaci\u00f3n de aplicaciones descentralizadas [DApps] que operan en Cardano.<\/strong> La compa\u00f1\u00eda tambi\u00e9n anunci\u00f3 que se asoci\u00f3 con Runtime Verification, Tweag, Well Typed, Certik y otros<\/strong> para lanzar un nuevo programa de certificaci\u00f3n<\/strong> que conectar\u00e1 el nuevo dAppStore, que se present\u00f3 en forma de prototipo en la cumbre el mes pasado. El programa est\u00e1 programado para implementarse junto con la nueva billetera ligera.<\/p>\n

IOHK<\/a> <\/strong>declar\u00f3,<\/p>\n

\u00abLa certificaci\u00f3n garantiza que se realicen controles de seguridad antes de cualquier implementaci\u00f3n y que los contratos inteligentes se puedan auditar continuamente a medida que se actualizan. Proporciona beneficios tanto a los desarrolladores de contratos inteligentes como a los usuarios finales, lo que ayuda a proteger los fondos de los usuarios y la reputaci\u00f3n de los proyectos de errores de codificaci\u00f3n o haza\u00f1as\u00bb.<\/em><\/p>\n

Niveles de certificaci\u00f3n para el ecosistema dApp de Cardano<\/strong><\/h2>\n

\"\"<\/p>\n

Los tres niveles de certificaci\u00f3n incluyen herramientas automatizadas, auditor\u00eda en profundidad y verificaci\u00f3n formal. La certificaci\u00f3n de nivel uno implica brindar una garant\u00eda continua sobre una variedad de propiedades para contratos inteligentes. En pocas palabras, las herramientas automatizadas<\/strong> abarcan el descubrimiento de varios tipos de problemas o errores y se caracterizan por ser de bajo costo y bajo esfuerzo. Esta certificaci\u00f3n tambi\u00e9n es accesible para todos y al mismo tiempo ofrece un nivel significativo de garant\u00eda.<\/p>\n

La certificaci\u00f3n de nivel dos se centra en una auditor\u00eda manual y verificaci\u00f3n de contratos inteligentes dentro de la propia aplicaci\u00f3n descentralizada. Como sugiere el nombre, las pruebas de certificaci\u00f3n de auditor\u00eda en profundidad<\/strong> se realizan a un nivel mucho m\u00e1s profundo y conllevan un esfuerzo m\u00e1s manual que puede abordar una DApp por completo, sin que el lenguaje sea un obst\u00e1culo.<\/p>\n

La verificaci\u00f3n formal<\/strong>, que es el nivel tres, es de naturaleza m\u00e1s especializada y se centra en garantizar la garant\u00eda total de los aspectos clave de las aplicaciones con la ayuda de la verificaci\u00f3n formal de los contratos inteligentes. Este nivel tambi\u00e9n se ocupa de garantizar que un contrato inteligente respalde los requisitos comerciales o t\u00e9cnicos precisos especificados al principio.<\/p>\n

\"\"<\/p>\n

\u00bfObligatorio o no?<\/strong><\/h2>\n

Seg\u00fan IOHK, el proceso de certificaci\u00f3n garantizar\u00e1 la \u00abcorrecci\u00f3n, el cumplimiento y la coherencia de los requisitos\u00bb<\/strong> no solo por parte de los desarrolladores de la aplicaci\u00f3n, sino tambi\u00e9n de los auditores.<\/p>\n

La firma tambi\u00e9n cree que un proceso como este abordar\u00eda la falta de vulnerabilidades de seguridad comunes y al mismo tiempo \u00abofrecer\u00eda un nivel de robustez, confiabilidad y mantenimiento\u00bb<\/em> de las aplicaciones descentralizadas basadas en Cardano. Sin embargo, la certificaci\u00f3n no es obligatoria.<\/p>\n","protected":false},"excerpt":{"rendered":"

Cardano [ADA] se ha convertido en uno de los criptoactivos m\u00e1s demandados en los \u00faltimos tiempos. Este sentimiento se puede atribuir a los desarrollos en torno al espacio de las finanzas descentralizadas [DeFi] y la llegada de los contratos inteligentes.<\/p>\n","protected":false},"author":25,"featured_media":38454,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"rank_math_title":"","rank_math_description":"","footnotes":""},"categories":[926,915,950],"tags":[471,164,308],"class_list":["post-38444","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-criptomonedas","category-featured","category-noticias-cardano","tag-ada","tag-cardano","tag-smart-contract"],"_links":{"self":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/38444","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\/25"}],"replies":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/comments?post=38444"}],"version-history":[{"count":0,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/posts\/38444\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media\/38454"}],"wp:attachment":[{"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/media?parent=38444"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/categories?post=38444"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/crypto-economy.com\/es\/wp-json\/wp\/v2\/tags?post=38444"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}