La nueva biblioteca de contratos inteligentes de Cardano supera su objetivo original

La iniciativa ContractsLibrary de Cardano ha preparado seis contratos inteligentes reutilizables, superando su objetivo original de cinco. Robertino Martinez, quien lidera la iniciativa Developer Experience en AlwaysTrue, reveló el progreso durante la discusión en X Space Decentralizing Cardano’s Core Development.

La biblioteca busca ofrecer a los desarrolladores componentes de contratos inteligentes listos para integrar en lugar de exigirles que construyan desde cero funciones comunes. Inspirado en el enfoque de OpenZeppelin en el ecosistema de Ethereum, el proyecto combina código en cadena, herramientas para la construcción de transacciones, especificaciones técnicas y verificación formal.

Los seis contratos han alcanzado la etapa final de revisión de código y especificaciones. Martinez recalcó que aún no han completado auditorías de seguridad y que no deben desplegarse aún en la red principal de Cardano.

Seis contratos avanzan hacia pruebas públicas

ContractsLibrary se esperaba originalmente que entregara cinco contratos inteligentes reutilizables. Según Martinez, el equipo de desarrollo preparó seis y comenzó las comprobaciones finales de calidad antes de pruebas más amplias por parte de la comunidad.

La iniciativa se enfoca en componentes completos orientados a aplicaciones en lugar de funciones de programación aisladas. La idea es que los desarrolladores puedan configurar contratos existentes, adaptar su código fuente o combinar componentes para satisfacer distintos requisitos de aplicación.

La biblioteca se basa en patrones de desarrollo ya establecidos dentro de Cardano, incluyendo el trabajo de Anastasia Labs.

Martinez también confirmó que el equipo de alta garantía había comenzado el trabajo de verificación formal. Su enfoque inicial está en propiedades compartidas entre los contratos, seguido de la verificación de implementaciones individuales.

La distinción entre el trabajo de desarrollo completado y la preparación para producción sigue siendo importante. Seis contratos preparados no significa que seis contratos auditados o verificados formalmente estén ya disponibles para uso sin restricciones.

Una pila de desarrollo inspirada en OpenZeppelin para Cardano

OpenZeppelin se ha convertido en un recurso ampliamente utilizado para componentes reutilizables de contratos inteligentes en Ethereum y otros ecosistemas EVM. ContractsLibrary busca ofrecer un recurso de desarrollo comparable adaptado a la arquitectura UTxO extendida de Cardano.

Cada implementación está diseñada para combinar varios elementos conectados.

El componente en cadena usa Aiken para definir las reglas que hace cumplir el libro mayor de Cardano. Los constructores de transacciones fuera de cadena, incluyendo compatibilidad con MeshJS y Tx3, ayudan a las aplicaciones a construir las transacciones necesarias para interactuar con esos validadores.

Las especificaciones técnicas describen el comportamiento previsto de cada contrato, mientras que las pruebas y la verificación formal ofrecen vías adicionales para evaluar si las implementaciones satisfacen los requisitos definidos.

El proyecto también usa Lean 4 para pruebas verificadas por máquina de propiedades seleccionadas de los contratos.

Esta estructura integrada aborda un desafío práctico en el desarrollo en Cardano: crear una aplicación descentralizada a menudo requiere coordinar la validación del contrato inteligente con la construcción de transacciones fuera de cadena.

Al proporcionar componentes conectados, ContractsLibrary busca reducir el trabajo de desarrollo repetitivo y hacer que los patrones comunes de contratos sean más fáciles de integrar en nuevas aplicaciones.

[NEWSBREAK]

Las revisiones de seguridad siguen siendo el requisito final

ContractsLibrary forma parte de la iniciativa más amplia Developer Experience, que se ha transferido de Input Output a AlwaysTrue bajo el liderazgo continuado de Martinez.

La iniciativa incluye otras herramientas como cardano-init, que ayuda a los desarrolladores a generar entornos de desarrollo de Cardano conectados.

Para ContractsLibrary, las prioridades inmediatas son completar las comprobaciones de calidad de código, hacer que las implementaciones sean accesibles para pruebas y continuar con la verificación formal.

Martinez aconsejó a los desarrolladores tratar la versión inicial como una oportunidad de pruebas en lugar de una biblioteca lista para producción. También señaló la inminente bifurcación dura Dijkstra como una razón adicional para actuar con cautela mientras las herramientas de desarrollo de Cardano se adaptan a los próximos cambios del protocolo.

El proyecto distingue los contratos preparados para auditorías de seguridad de aquellos que han completado las revisiones requeridas y han alcanzado un estado estable.

Su repositorio público ofrece código y documentación de desarrollo, pero los materiales disponibles no establecen que los seis contratos hayan sido publicados como implementaciones estables.

La actualización de Martinez establece por lo tanto un hito de desarrollo concreto: el equipo ha preparado un contrato más de lo planeado originalmente. Las pruebas públicas, la verificación individual y las revisiones de seguridad requeridas siguen siendo pasos separados antes de que esas implementaciones puedan tratarse como componentes listos para producción.