New York City, New York, 21. Mai 2026, Chainwire
Certora, die End-to-End-Plattform für Sicherheitszusicherung, der die fortschrittlichsten Teams in Web3 vertrauen, hat einen Zuschuss von 2.010.000 Canton Coin (rund 300.000 USD) aus dem Canton Development Fund erhalten, um ein neues Open-Source-Tool für statische Analyse für Daml‑Projekte zu entwickeln. Die Initiative soll Certoras laufende Arbeit unterstützen, das Verhalten von Smart Contracts vollständig transparent und maschinenverifizierbar zu machen und diese Fähigkeit auf Institutionen auszuweiten, die auf dem Canton Network aufbauen.
Das Tool von Certora wird kompilierte .dar‑Dateien, Cantons kompilierte Smart‑Contract‑Pakete, analysieren, um paketübergreifende Interaktionen zu erkennen und zu visualisieren – einen der komplexesten und schwierigsten Aspekte von Smart‑Contract‑Systemen. Es identifiziert jede Instanz, in der ein Paket die Befugnis hat, ein anderes aufzurufen, einschließlich detaillierter Verweise wie Quell-Dateipfade und exakte Zeilennummern. Die vollständige Nachverfolgung der Lieferkette jedes Daml‑Contracts ist entscheidend, um die Auswirkungen auf die Privatsphäre beim Interagieren mit einem Smart Contract auf Canton zu verstehen. Dieses Maß an Transparenz ist in Cantons Privacy‑First‑Architektur von entscheidender Bedeutung, in der unbeabsichtigte Informationsoffenlegung schwerwiegende Folgen haben kann. Das Tool von Certora automatisiert die Analysen, die Unternehmen benötigen, bevor sie einen Daml‑Contract bereitstellen oder mit ihm interagieren.
Die delegierte paketübergreifende Autorität ist einer der schwierigsten Aspekte von Mehrparteien‑Smart‑Contract‑Systemen für manuelle Audits. Durch die Automatisierung dieses Prozesses verringert das Tool die Belastung für Entwicklungs‑, Sicherheits- und Compliance‑Teams und erhöht das Vertrauen von Institutionen, die Canton‑basierte Anwendungen evaluieren.
Das Tool wird unter der Apache‑2.0‑Lizenz veröffentlicht und direkt in dpm integriert, Cantons Kommandozeilen‑Tool zum Erstellen, Testen und Ausführen von Canton‑Anwendungen. Damit steht es Entwicklern, die Mehrparteien‑Anwendungen auf Daml erstellen, leicht zugänglich zur Verfügung.
Für Banken, Finanzinstitute und Infrastrukturanbieter, die Distributed‑Ledger‑Infrastrukturen evaluieren, ist das Verständnis des genauen Verhaltens von Smart Contracts vor der Bereitstellung eine Voraussetzung. Das Tool von Certora bringt diese Strenge in das Canton‑Ökosystem.
„Wenn Finanzinstitute ernsthafte Infrastruktur auf Distributed‑Ledger‑Systeme verlagern, muss die Messlatte für Smart‑Contract‑Absicherung entsprechend steigen. Die Arbeit von Certora mit der Canton Foundation zielt darauf ab, diese Messlatte zu erreichen und dieselbe strenge, automatisierte Analyse, die wir für DeFi aufgebaut haben, zu den Institutionen zu bringen, die sie am dringendsten benötigen“, sagte Mooly Sagiv, Mitgründer von Certora.
Vertrauen in verteilte Systeme ist eine große Herausforderung für die Einführung von Blockchain. Die Privacy‑First‑Architektur von Canton bietet eine sichere Möglichkeit, an öffentlichen Blockchains teilzunehmen, aber selbst vertrauenswürdige Validatoren müssen das Verhalten von Smart Contracts vollständig verstehen und verifizieren können.
Certora wird Entwicklern und Betreiberinnen sowie Betreibern klare, umsetzbare Einblicke in die Interaktion von Contracts über Pakete hinweg geben, sodass sie Sicherheitsrisiken vor der Bereitstellung bewerten können. Weitere Informationen finden Sie auf certora.com.
Über Certora
Certora ist der Partner für Sicherheitszusicherung, dem die fortschrittlichsten Teams in Web3 vertrauen. Gegründet im Jahr 2018 von Pionieren in Programmiersprachen und formalen Methoden, hilft Certora führenden Protokollen wie Lido, Aave, Uniswap und Compound dabei, Milliarden an Werten mit Vertrauen zu sichern.
Über die Canton Foundation
The Canton Foundation ist das unabhängige Leitungsorgan des Canton Network, des datenschutzfähigen Blockchain‑Netzwerks, das für regulierte Finanzdienstleistungen entwickelt wurde. Die Foundation überwacht die Netzwerk-Governance, die Entwicklung des Ökosystems und das Onboarding von Teilnehmern.
Kontakt
Senior PR Manager
Lauren Bukoskey
[email protected]