Las defensas de Cantón reforzadas por la suite de protección mejorada de Certora
En un impulso significativo a la seguridad de Web3, Certora, un renombrado experto en verificación de contratos inteligentes, recibió una subvención sustancial de 2,01 millones de Canton Coins, valoradas en aproximadamente 300.000 dólares, de la Fundación Canton. Esta financiación se utilizará para crear una solución innovadora de código abierto adaptada a los proyectos Daml, diseñada específicamente para mejorar la transparencia dentro de ecosistemas de contratos inteligentes complejos y multipartitos que operan en Canton Network.
La próxima herramienta examinará los archivos .dar compilados, que encapsulan contratos inteligentes escritos en Daml, e identificará meticulosamente las interacciones entre varios paquetes de contratos. Además, proporcionará información detallada sobre los permisos que rigen las interacciones entre estos paquetes, incluidas ubicaciones precisas de archivos y números de línea. Al hacerlo, la herramienta aborda un desafío de larga data en la seguridad de blockchain, donde las intrincadas relaciones entre contratos y permisos delegados pueden volverse cada vez más engorrosos de rastrear manualmente, particularmente en sistemas multipartitos a gran escala.
Este problema plantea obstáculos importantes para los desarrolladores, auditores y equipos de cumplimiento, que requieren una comprensión integral del comportamiento de las aplicaciones antes de su implementación. La solución de Certora tiene como objetivo aliviar esta carga automatizando el proceso, agilizando así las revisiones de seguridad y reduciendo la carga de trabajo asociada. Una vez finalizado, la empresa tiene intención de lanzar el software bajo la licencia de código abierto Apache 2.0, lo que garantiza una amplia accesibilidad e integración con dpm, la interfaz de línea de comandos de Canton para crear y ejecutar aplicaciones.
El desarrollo de esta herramienta es particularmente pertinente para las instituciones financieras que exploran el potencial de los sistemas de contabilidad distribuida. Antes de implementar aplicaciones blockchain en entornos de producción, los bancos y los proveedores de infraestructura a menudo necesitan análisis exhaustivos del comportamiento de los contratos, un requisito que la solución de Certora está bien posicionada para cumplir. Al mejorar la seguridad y la transparencia de los sistemas de contratos inteligentes multipartitos, esta innovación tiene el potencial de facilitar una adopción más amplia de la tecnología blockchain dentro del sector financiero.