New York, État de New York, 21 mai 2026, Chainwire
Certora, la plateforme de garantie de sécurité de bout en bout à laquelle font confiance les équipes les plus avancées du Web3, a reçu une subvention de 2 010 000 Canton Coin (environ 300 000 USD) du Canton Development Fund pour développer un nouvel outil open source d’analyse statique pour les projets Daml. Cette initiative vise à soutenir le travail continu de Certora pour rendre le comportement des smart contracts entièrement transparent et vérifiable par machine, en étendant cette capacité aux institutions qui construisent sur le Canton Network.
L’outil de Certora analysera les fichiers compilés .dar, les paquets de smart contracts compilés de Canton, afin de détecter et de visualiser les interactions inter‑paquets, l’un des aspects les plus complexes et les plus difficiles des systèmes de smart contracts. Il identifiera chaque instance où un paquet a l’autorité d’appeler un autre, y compris des références détaillées comme les chemins des fichiers sources et les numéros de ligne exacts. Retracer l’ensemble de la chaîne d’approvisionnement de chaque contrat Daml est essentiel pour comprendre les implications en matière de confidentialité lors de l’interaction avec un smart contract sur Canton. Ce niveau de visibilité est crucial dans l’architecture axée sur la confidentialité de Canton, où une divulgation d’information involontaire peut avoir de graves conséquences. L’outil de Certora automatise l’analyse dont les entreprises ont besoin avant de déployer ou d’interagir avec un contrat Daml.
La délégation d’autorité entre paquets est l’un des aspects les plus difficiles des systèmes de smart contracts multipartites à auditer manuellement. En automatisant ce processus, l’outil réduit la charge pesant sur les équipes de développement, de sécurité et de conformité et renforce la confiance des institutions qui évaluent des applications basées sur Canton.
L’outil sera publié sous licence Apache 2.0 et intégré directement dans dpm, l’outil en ligne de commande de Canton utilisé pour construire, tester et exécuter des applications Canton, ce qui le rendra facilement accessible aux développeurs créant des applications multipartites sur Daml.
Pour les banques, les institutions financières et les fournisseurs d’infrastructures qui évaluent des infrastructures de registre distribué, comprendre le comportement précis des smart contracts avant leur déploiement est un prérequis. L’outil de Certora apporte cette rigueur à l’écosystème Canton.
« À mesure que les institutions financières déplacent des infrastructures critiques vers des systèmes de registre distribué, le niveau d’exigence en matière de garantie des smart contracts doit s’élever avec elles. Le travail de Certora avec la Canton Foundation vise à atteindre ce niveau, en apportant la même analyse automatisée et rigoureuse que nous avons développée pour la DeFi aux institutions qui en ont le plus besoin », a déclaré Mooly Sagiv, cofondateur de Certora.
La confiance dans les systèmes distribués constitue un défi majeur pour l’adoption de la blockchain. L’architecture de Canton, centrée sur la confidentialité, fournit un moyen sûr de participer aux blockchains publiques, mais même les validateurs de confiance doivent disposer d’un comportement de smart contract entièrement compris et vérifiable.
Certora offrira aux développeurs et aux opérateurs une visibilité claire et exploitable sur la manière dont les contrats interagissent entre paquets, leur permettant d’évaluer les risques de sécurité avant le déploiement. Pour en savoir plus, rendez‑vous sur certora.com.
À propos de Certora
Certora est le partenaire de garantie de sécurité auquel font confiance les équipes les plus avancées du Web3. Fondée en 2018 par des pionniers des langages de programmation et des méthodes formelles, Certora aide des protocoles de premier plan comme Lido, Aave, Uniswap et Compound à sécuriser des milliards de valeur en toute confiance.
À propos de la Canton Foundation
The Canton Foundation est l’organe de gouvernance indépendant du Canton Network, le réseau blockchain axé sur la confidentialité conçu pour les services financiers réglementés. La Fondation supervise la gouvernance du réseau, le développement de l’écosystème et l’intégration des participants.
Contact
Senior PR Manager
Lauren Bukoskey
[email protected]