Nueva York, Nueva York, 21 de mayo de 2026, Chainwire
Certora, la plataforma integral de aseguramiento de seguridad en la que confían los equipos más avanzados de Web3, ha recibido una subvención de 2,010,000 Canton Coin (aproximadamente 300.000 USD) del Canton Development Fund para crear una nueva herramienta de análisis estático de código abierto para proyectos Daml. La iniciativa tiene como objetivo respaldar el trabajo continuo de Certora para hacer que el comportamiento de los contratos inteligentes sea totalmente transparente y verificable por máquinas, extendiendo esa capacidad a las instituciones que construyen sobre la Canton Network.
La herramienta de Certora analizará archivos .dar compilados, los paquetes de contratos inteligentes compilados de Canton, para detectar y visualizar interacciones entre paquetes, uno de los aspectos más complejos y difíciles de los sistemas de contratos inteligentes. Identificará cada instancia en la que un paquete tiene autoridad para llamar a otro, incluidas referencias detalladas como rutas de archivos fuente y números de línea exactos. Rastrear la cadena de suministro completa de cada contrato Daml es esencial para comprender las implicaciones de privacidad de interactuar con un contrato inteligente en Canton. Este nivel de visibilidad es fundamental en la arquitectura de privacidad primero de Canton, donde la divulgación involuntaria de información conlleva consecuencias graves. La herramienta de Certora automatiza el análisis que las empresas necesitan antes de implementar o interactuar con un contrato Daml.
La delegación de autoridad entre paquetes es uno de los aspectos más difíciles de auditar manualmente en los sistemas de contratos inteligentes multipartitos. Al automatizar este proceso, la herramienta reduce la carga de los equipos de desarrollo, seguridad y cumplimiento, y aumenta la confianza de las instituciones que evalúan aplicaciones basadas en Canton.
La herramienta se lanzará bajo la licencia Apache 2.0, integrada directamente en dpm, la herramienta de línea de comandos de Canton que se utiliza para compilar, probar y ejecutar aplicaciones de Canton, lo que la hace fácilmente accesible para los desarrolladores que crean aplicaciones multipartitas en Daml.
Para bancos, instituciones financieras y proveedores de infraestructura que evalúan infraestructuras de libro mayor distribuido, comprender el comportamiento preciso de los contratos inteligentes antes de la implementación es un requisito previo. La herramienta de Certora aporta ese rigor al ecosistema Canton.
«A medida que las instituciones financieras trasladan infraestructura crítica a sistemas de libro mayor distribuido, el listón de aseguramiento de contratos inteligentes tiene que elevarse con ellas. El trabajo de Certora con la Fundación Canton consiste en alcanzar ese listón, llevando el mismo análisis riguroso y automatizado que hemos desarrollado para DeFi a las instituciones que más lo necesitan», afirmó Mooly Sagiv, cofundador de Certora.
La confianza en sistemas distribuidos es un desafío importante para la adopción de la cadena de bloques. La arquitectura de privacidad primero de Canton proporciona una forma segura de participar en cadenas de bloques públicas, pero incluso los validadores de confianza necesitan que el comportamiento de los contratos inteligentes sea totalmente comprendido y verificable.
Certora proporcionará a desarrolladores y operadores información clara y procesable sobre cómo interactúan los contratos entre paquetes, lo que les permitirá evaluar los riesgos de seguridad antes de la implementación. Para obtener más información, visite certora.com.
Acerca de Certora
Certora es el socio de aseguramiento de seguridad en el que confían los equipos más avanzados de Web3. Fundada en 2018 por pioneros en lenguajes de programación y métodos formales, Certora ayuda a protocolos líderes como Lido, Aave, Uniswap y Compound a asegurar miles de millones en valor con confianza.
Acerca de la Fundación Canton
The Canton Foundation es el organismo de gobierno independiente de la Canton Network, la red de cadena de bloques habilitada para la privacidad creada para servicios financieros regulados. La Fundación supervisa el gobierno de la red, el desarrollo del ecosistema y la incorporación de participantes.
Contacto
Senior PR Manager
Lauren Bukoskey
[email protected]