Les défenses de Canton renforcées par la suite de protection renforcée de Certora

Dans le cadre d'un renforcement significatif de la sécurité du Web3, Certora, un expert renommé en vérification de contrats intelligents, a reçu une subvention substantielle de 2,01 millions de pièces de canton, évaluée à environ 300 000 dollars, de la part de la Fondation Canton. Ce financement sera utilisé pour créer une solution innovante et open source adaptée aux projets Daml, spécifiquement conçue pour améliorer la transparence au sein des écosystèmes de contrats intelligents complexes et multipartites opérant sur le réseau Canton.

Le prochain outil examinera les fichiers .dar compilés, qui encapsulent les contrats intelligents écrits en Daml, et identifiera méticuleusement les interactions entre les différents packages de contrats. De plus, il fournira des informations détaillées sur les autorisations qui régissent les interactions entre ces packages, y compris les emplacements précis des fichiers et les numéros de ligne. Ce faisant, l'outil répond à un défi de longue date en matière de sécurité de la blockchain, où les relations complexes entre les contrats et les autorisations déléguées peuvent devenir de plus en plus difficiles à suivre manuellement, en particulier dans les systèmes multipartites à grande échelle.

Ce problème pose des obstacles importants aux développeurs, aux auditeurs et aux équipes de conformité, qui ont besoin d'une compréhension globale du comportement des applications avant leur déploiement. La solution de Certora vise à alléger ce fardeau en automatisant le processus, rationalisant ainsi les examens de sécurité et réduisant la charge de travail associée. Une fois terminé, la société a l'intention de publier le logiciel sous la licence open source Apache 2.0, garantissant une large accessibilité et une intégration avec dpm, l'interface de ligne de commande de Canton pour la création et l'exécution d'applications.

Le développement de cet outil est particulièrement pertinent pour les institutions financières qui explorent le potentiel des systèmes de registres distribués. Avant de déployer des applications blockchain dans des environnements de production, les banques et les fournisseurs d'infrastructures ont souvent besoin d'analyses approfondies du comportement des contrats, une exigence pour laquelle la solution de Certora est bien placée pour répondre. En améliorant la sécurité et la transparence des systèmes de contrats intelligents multipartites, cette innovation a le potentiel de faciliter une adoption plus large de la technologie blockchain au sein du secteur financier.