¿Qué implica la certificación de Cardano [ADA] para contratos inteligentes?

Cardano [ADA] se ha convertido en uno de los criptoactivos más demandados en los últimos 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.

En línea con esto, la plataforma de tecnología blockchain IOHK había establecido sus planes para la certificación de aplicaciones descentralizadas [DApps] que operan en Cardano. La compañía también anunció que se asoció con Runtime Verification, Tweag, Well Typed, Certik y otros para lanzar un nuevo programa de certificación que conectará el nuevo dAppStore, que se presentó en forma de prototipo en la cumbre el mes pasado. El programa está programado para implementarse junto con la nueva billetera ligera.

IOHK declaró,

«La certificación garantiza que se realicen controles de seguridad antes de cualquier implementación 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ón de los proyectos de errores de codificación o hazañas».

Niveles de certificación para el ecosistema dApp de Cardano

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

La certificación de nivel dos se centra en una auditoría manual y verificación de contratos inteligentes dentro de la propia aplicación descentralizada. Como sugiere el nombre, las pruebas de certificación de auditoría en profundidad se realizan a un nivel mucho más profundo y conllevan un esfuerzo más manual que puede abordar una DApp por completo, sin que el lenguaje sea un obstáculo.

La verificación formal, que es el nivel tres, es de naturaleza más especializada y se centra en garantizar la garantía total de los aspectos clave de las aplicaciones con la ayuda de la verificación formal de los contratos inteligentes. Este nivel también se ocupa de garantizar que un contrato inteligente respalde los requisitos comerciales o técnicos precisos especificados al principio.

¿Obligatorio o no?

Según IOHK, el proceso de certificación garantizará la «corrección, el cumplimiento y la coherencia de los requisitos» no solo por parte de los desarrolladores de la aplicación, sino también de los auditores.

La firma también cree que un proceso como este abordaría la falta de vulnerabilidades de seguridad comunes y al mismo tiempo «ofrecería un nivel de robustez, confiabilidad y mantenimiento» de las aplicaciones descentralizadas basadas en Cardano. Sin embargo, la certificación no es obligatoria.