cryptonews.net
Certora, una plataforma de seguridad Web3 centrada en la verificación de contratos inteligentes, recibió una subvención de 2,01 millones de Canton Coin, equivalentes a unos 300.000 dólares, de la Fundación Canton para desarrollar una nueva herramienta de código abierto para proyectos Daml.
Esta nueva herramienta está diseñada para mejorar la visibilidad dentro de los sistemas de contratos inteligentes multipartitos construidos sobre la red Canton. Analizará los archivos .dar compilados, que son contratos inteligentes empaquetados en Daml, e identificará las interacciones entre los diferentes paquetes de contratos. El sistema también mostrará dónde un paquete tiene permiso para llamar a otro, incluyendo la ubicación de los archivos fuente y las referencias exactas de las líneas.
El proyecto aborda uno de los aspectos más complejos de la seguridad blockchain. En grandes sistemas multipartitos, las relaciones contractuales y los permisos delegados pueden ser difíciles de rastrear manualmente. Esto supone un reto para desarrolladores, auditores y equipos de cumplimiento que necesitan comprender claramente el comportamiento de las aplicaciones antes de su implementación.
Certora, empresa de seguridad y verificación de contratos inteligentes, afirmó que la herramienta ayudará a automatizar este proceso y a reducir el trabajo necesario para las revisiones de seguridad. La empresa planea lanzar el software bajo la licencia de código abierto Apache 2.0 e integrarlo en dpm, el entorno de línea de comandos de Canton utilizado para compilar y ejecutar aplicaciones.
El desarrollo también está dirigido a instituciones financieras que exploran sistemas de registro distribuido. Los bancos y proveedores de infraestructura suelen requerir un análisis detallado del comportamiento de los contratos antes de utilizar aplicaciones blockchain en entornos de producción.
Imagen: Magnific