Die Verteidigung des Kantons wird durch die Enhanced Protection Suite von Certora gestärkt

Um die Web3-Sicherheit erheblich zu steigern, hat Certora, ein renommierter Experte für die Verifizierung intelligenter Verträge, von der Canton Foundation einen beträchtlichen Zuschuss von 2,01 Millionen Canton Coins im Wert von etwa 300.000 US-Dollar erhalten. Diese Mittel werden verwendet, um eine innovative Open-Source-Lösung zu schaffen, die speziell auf Daml-Projekte zugeschnitten ist und speziell darauf ausgelegt ist, die Transparenz innerhalb komplexer Smart-Contract-Ökosysteme mit mehreren Parteien zu verbessern, die im Canton Network betrieben werden.

Das kommende Tool wird kompilierte .dar-Dateien untersuchen, die in Daml geschriebene Smart Contracts kapseln, und die Interaktionen zwischen verschiedenen Vertragspaketen sorgfältig identifizieren. Darüber hinaus bietet es detaillierte Einblicke in die Berechtigungen, die die Interaktionen zwischen diesen Paketen regeln, einschließlich genauer Dateispeicherorte und Zeilennummern. Auf diese Weise begegnet das Tool einer seit langem bestehenden Herausforderung in der Blockchain-Sicherheit, bei der die manuelle Nachverfolgung der komplizierten Beziehungen zwischen Verträgen und delegierten Berechtigungen immer schwieriger werden kann, insbesondere in großen Systemen mit mehreren Parteien.

Dieses Problem stellt Entwickler, Prüfer und Compliance-Teams vor erhebliche Hürden, die vor der Bereitstellung ein umfassendes Verständnis des Anwendungsverhaltens benötigen. Die Lösung von Certora zielt darauf ab, diese Belastung durch die Automatisierung des Prozesses zu verringern, wodurch Sicherheitsüberprüfungen rationalisiert und der damit verbundene Arbeitsaufwand reduziert werden. Nach der Fertigstellung beabsichtigt das Unternehmen, die Software unter der Open-Source-Lizenz Apache 2.0 zu veröffentlichen, um eine breite Zugänglichkeit und Integration mit dpm, Cantons Befehlszeilenschnittstelle zum Erstellen und Ausführen von Anwendungen, zu gewährleisten.

Die Entwicklung dieses Tools ist besonders relevant für Finanzinstitute, die das Potenzial von Distributed-Ledger-Systemen erkunden. Vor der Bereitstellung von Blockchain-Anwendungen in Produktionsumgebungen benötigen Banken und Infrastrukturanbieter häufig gründliche Analysen des Vertragsverhaltens – eine Anforderung, die die Lösung von Certora gut erfüllen kann. Durch die Verbesserung der Sicherheit und Transparenz intelligenter Mehrparteien-Vertragssysteme hat diese Innovation das Potenzial, eine breitere Einführung der Blockchain-Technologie im Finanzsektor zu erleichtern.