Nuevos niveles de certificación para contratos inteligentes en Cardano
En la Cumbre Cardano 2021 de septiembre , presentamos nuestros planes sobre la introducción de nuevos niveles de certificación para aplicaciones descentralizadas (DApps) que se ejecutan en Cardano. Este programa de certificación proporcionará niveles de calidad para las DApps y sus contactos inteligentes internos.
Esta iniciativa ha sido liderada por el profesor Simon Thompson , director de proyectos técnicos de IOG, y Shruti Appiah , jefe de producto de IOG. Nos ayudará a cumplir con las mejores prácticas que hemos visto en la industria. Estamos trabajando con Runtime Verification , Tweag , Well Typed , Certik y otros para implementar este nuevo programa de certificación que se vinculará con el nuevo dAppStore, también presentado en forma de prototipo en la cumbre. Esto se lanzará junto con la nueva billetera ligera.
Hay tres niveles de certificación, cada uno de los cuales es complementario a los demás, en lugar de ser progresivo en términos de propósitos de aseguramiento y auditoría
Nivel uno: herramientas automatizadas
Nivel dos: auditoría en profundidad
Nivel tres: verificación formal
La certificación garantizará la exactitud, el cumplimiento y la coherencia de los requisitos tanto de los desarrolladores de aplicaciones como de los auditores. También garantizará la ausencia de vulnerabilidades de seguridad comunes y proporcionará un nivel de solidez, confiabilidad y mantenimiento de las DApps implementadas en Cardano. Si bien se fomentará encarecidamente la certificación y la tienda se organizará en consecuencia, no será obligatoria ni actuará como ningún tipo de "guardián", manteniendo así un equilibrio entre la necesidad de seguridad del usuario y los principios descentralizados.
Al auditar las especificaciones y las fases de diseño e ideación, puede presentar evidencia a la comunidad y garantizar que todo funcionará como se espera. Esta evidencia incluye la documentación de los requisitos a un nivel detallado, creando así un punto de referencia para el futuro.
Planeamos integrar esta certificación con la nueva dAppStore que estamos construyendo para proporcionar tokens no fungibles (NFT) criptográficamente seguros que den evidencia de los niveles de certificación que garantizaremos. DAppStore será parte de una billetera liviana que IO está desarrollando, y los usuarios podrán acceder a la billetera liviana y a dAppStore usando un navegador web, y en la tienda para ver el estado de certificación de cada DApp mientras navegan por las categorías y aplicaciones individuales. Hacer que el estado de certificación relevante sea visible para los usuarios durante el proceso de selección ofrecerá garantías de calidad y seguridad para los usuarios en su elección de DApps.
https://iohk.io/en/blog/posts/2021/10/25/new-certification-levels-for-smart-contracts-on-cardano/
Cafecito