Cardanos neue Bibliothek für Smart Contracts übertrifft ihr ursprüngliches Ziel

Cardanos Initiative ContractsLibrary hat sechs wiederverwendbare Smart Contracts vorbereitet und damit das ursprüngliche Ziel von fünf übertroffen. Robertino Martinez, der bei AlwaysTrue die Initiative Developer Experience leitet, stellte die Fortschritte während der X Space Diskussion Decentralizing Cardano’s Core Development vor.

Die Bibliothek soll Entwicklern sofort integrierbare Komponenten für Smart Contracts bereitstellen, anstatt sie zu zwingen, gängige Funktionalitäten von Grund auf neu zu erstellen. Inspiriert vom Ansatz von OpenZeppelin im Ethereum Ökosystem kombiniert das Projekt Onchain Code, Werkzeuge zum Erstellen von Transaktionen, technische Spezifikationen und formale Verifikation.

Die sechs Verträge haben die abschließende Überprüfung von Code und Spezifikationen erreicht. Martinez betonte, dass die Sicherheitsprüfungen noch nicht abgeschlossen sind und sie noch nicht im Cardano Mainnet bereitgestellt werden sollten.

Sechs Verträge gehen auf öffentliche Tests zu

Ursprünglich sollte ContractsLibrary fünf wiederverwendbare Smart Contracts liefern. Laut Martinez hat das Entwicklungsteam sechs vorbereitet und mit abschließenden Qualitätsprüfungen begonnen, bevor Tests in der Community starten.

Die Initiative konzentriert sich auf vollständige, an Anwendungen orientierte Komponenten statt auf isolierte Programmiereinheiten. Entwickler sollen vorhandene Verträge konfigurieren, ihren Quellcode anpassen oder Komponenten kombinieren können, um unterschiedliche Anwendungsanforderungen zu erfüllen.

Die Bibliothek greift auf bereits in Cardano etablierte Entwicklungsmuster zurück, einschließlich Arbeiten von Anastasia Labs.

Martinez bestätigte außerdem, dass das Team für hohe Gewährleistung mit der formalen Verifikation begonnen hat. Der anfängliche Schwerpunkt liegt auf Eigenschaften, die allen Verträgen gemeinsam sind, gefolgt von der Überprüfung der einzelnen Implementierungen.

Die Unterscheidung zwischen abgeschlossener Entwicklungsarbeit und Produktionsreife bleibt wichtig. Sechs vorbereitete Verträge bedeuten nicht, dass bereits sechs geprüfte oder formal verifizierte Verträge für den uneingeschränkten Einsatz bereitstehen.

Ein von OpenZeppelin inspirierter Entwicklungsstack für Cardano

OpenZeppelin ist zu einer weit verbreiteten Ressource für wiederverwendbare Komponenten für Smart Contracts in Ethereum und anderen EVM Ökosystemen geworden. ContractsLibrary will eine vergleichbare Entwicklungsressource bereitstellen, die an Cardanos erweiterte UTxO Architektur angepasst ist.

Jede Implementierung ist darauf ausgelegt, mehrere miteinander verbundene Elemente zu vereinen.

Die Onchain Komponente verwendet Aiken, um die vom Ledger von Cardano durchgesetzten Regeln zu definieren. Offchain Transaktionsgeneratoren, einschließlich Unterstützung für MeshJS und Tx3, helfen Anwendungen dabei, die Transaktionen zu konstruieren, die für die Interaktion mit diesen Validatoren erforderlich sind.

Technische Spezifikationen beschreiben das beabsichtigte Verhalten jedes Vertrags, während Tests und formale Verifikation zusätzliche Möglichkeiten bieten, zu bewerten, ob Implementierungen die festgelegten Anforderungen erfüllen.

Das Projekt verwendet zudem Lean 4 für maschinell geprüfte Beweise ausgewählter Vertragseigenschaften.

Diese integrierte Struktur adressiert eine praktische Herausforderung in der Cardano Entwicklung: Der Aufbau einer dezentralen Anwendung erfordert oft die Koordination der Validierung von Smart Contracts mit der Offchain Transaktionserstellung.

Durch die Bereitstellung verbundener Komponenten will ContractsLibrary wiederholte Entwicklungsarbeit verringern und gängige Vertragsmuster leichter in neue Anwendungen integrierbar machen.

[NEWSBREAK]

Sicherheitsprüfungen bleiben die letzte Voraussetzung

ContractsLibrary ist Teil der übergeordneten Initiative Developer Experience, die unter der fortgesetzten Leitung von Martinez von Input Output zu AlwaysTrue gewechselt ist.

Die Initiative umfasst weitere Werkzeuge wie cardano-init, das Entwicklern hilft, verbundene Cardano Entwicklungsumgebungen zu erzeugen.

Für ContractsLibrary liegen die unmittelbaren Prioritäten in der Fertigstellung der Code Qualitätsprüfungen, der Bereitstellung der Implementierungen für Tests und der Fortsetzung der formalen Verifikation.

Martinez riet Entwicklern, die erste Veröffentlichung als Testmöglichkeit zu betrachten und nicht als produktionsreife Bibliothek. Er nannte zudem den nahenden Dijkstra Hard Fork als zusätzlichen Grund zur Vorsicht, während sich Cardanos Entwicklungswerkzeuge an bevorstehende Protokolländerungen anpassen.

Das Projekt unterscheidet zwischen Verträgen, die für Sicherheitsprüfungen vorbereitet sind, und solchen, die die erforderlichen Reviews abgeschlossen und einen stabilen Status erreicht haben.

Sein öffentliches Repository stellt Code und Entwicklungsdokumentation bereit, doch die verfügbaren Materialien belegen nicht, dass alle sechs Verträge als stabile Implementierungen veröffentlicht wurden.

Das Update von Martinez markiert daher einen konkreten Entwicklungsmeilenstein: Das Team hat einen Vertrag mehr vorbereitet als ursprünglich geplant. Öffentliche Tests, individuelle Verifikation und die erforderlichen Sicherheitsprüfungen bleiben separate Schritte, bevor diese Implementierungen als produktionsreife Komponenten gelten können.