cryptonews.net
Certora, eine Web3-Plattform für Sicherheitssicherung mit Schwerpunkt auf der Verifizierung von Smart Contracts, erhielt von der Canton Foundation eine Förderung in Höhe von 2,01 Millionen Canton Coin im Wert von rund 300.000 US-Dollar zur Entwicklung eines neuen Open-Source-Tools für Daml-Projekte.
Das neue Tool soll die Transparenz innerhalb von Smart-Contract-Systemen mit mehreren Parteien verbessern, die auf dem Canton Network aufbauen. Es wird kompilierte .dar-Dateien analysieren – das sind in Daml verpackte Smart Contracts – und Interaktionen zwischen verschiedenen Vertragspaketen identifizieren. Das System zeigt zudem an, wo ein Paket die Berechtigung hat, ein anderes aufzurufen, einschließlich der Speicherorte der Quelldateien und genauer Zeilenverweise.
Das Projekt zielt auf einen der schwierigeren Aspekte der Blockchain-Sicherheit ab. In großen Mehrparteiensystemen können Vertragsbeziehungen und delegierte Berechtigungen manuell nur schwer nachverfolgt werden. Dies stellt Entwickler, Prüfer und Compliance-Teams vor Herausforderungen, da sie vor der Bereitstellung ein klares Verständnis davon benötigen, wie sich Anwendungen verhalten.
Certora, ein Unternehmen für die Sicherheit und Verifizierung von Smart Contracts, erklärte, das Tool werde dazu beitragen, diesen Prozess zu automatisieren und den Arbeitsaufwand für Sicherheitsüberprüfungen zu reduzieren. Das Unternehmen plant, die Software unter der Open-Source-Lizenz Apache 2.0 zu veröffentlichen und sie in dpm zu integrieren, die Kommandozeilenumgebung von Canton, die zum Erstellen und Ausführen von Anwendungen verwendet wird.
Die Entwicklung richtet sich auch an Finanzinstitute, die sich mit Distributed-Ledger-Systemen befassen. Banken und Infrastrukturanbieter benötigen häufig eine detaillierte Analyse des Vertragsverhaltens, bevor sie Blockchain-Anwendungen in Produktionsumgebungen einsetzen.
Bild: Magnific