Blockstack und Algorand Back ‚Sicherer‘ Smart Contract Language

Algorand und Blockstack haben ein gemeinsames Open-Source-Projekt gestartet, um die Entwicklung einer intelligenten Vertragssprache zu unterstützen.

Das Proof-of-stake-Blockchain-Protokoll Algorand und die Blockchain-Softwarefirma Blockstack haben ein gemeinsames Open-Source-Projekt gestartet, um die Entwicklung einer intelligenten Vertragssprache mit dem Namen „Clarity“ zu unterstützen.

Beide behaupten, dass die bestehenden intelligenten Vertragssprachen weder sicher noch vorhersehbar genug sind, um den wachsenden Bedürfnissen der aufstrebenden Industrie gerecht zu werden.

Im Februar dieses Jahres war eine Milliarde Dollar im Wert von 1 Milliarde Dollar in dezentralisierten Finanzmärkten (DeFi) gebunden, wo intelligente Verträge zur Innovation von Finanzdienstleistungen wie Krediten und Darlehen verwendet werden.

In ihrer Ankündigung vom 10. Juni betonten Algorand und Blockstack die Notwendigkeit einer alternativen intelligenten Vertragssprache:

„Speziell für die Bedürfnisse von Entwicklern, die an Transaktionen mit hohen Einsätzen in Höhe von Hunderten von Millionen Dollar arbeiten, die mehr Vorhersehbarkeit und Zuverlässigkeit erfordern als die derzeitigen Lösungen“.

Die Teams beider Blockketten-Netzwerke wie Bitcoin Profit haben starke Verbindungen zur Informatik und zur akademischen Forschung im Bereich der Kryptographie.

Der Gründer von Algorand ist der MIT-Professor und Kryptograph Silvio Micali, der mit dem Turing-Preis in Informatik und dem Gödel-Preis in theoretischer Informatik ausgezeichnet wurde. Bei Blockstack wird das Team von Dr. Muneeb Ali geleitet, der einen Doktortitel in Informatik von der Universität Princeton hat.

Was unterscheidet Clarity von bestehenden intelligenten Vertragssprachen?

In seiner Erklärung zum Start des Projekts erklärte Dr. Ali, dass intelligente Verträge „radikal andere Anforderungen“ haben, insbesondere wenn es um Überprüfbarkeit und Sicherheit geht.

Bevor der DeFi-Raum weiter wächst, hat er ein „ernsthaftes Upgrade“ zur Entwicklung intelligenter Vertragssprachen gefordert, um sicherzustellen, dass sicherer und effektiver Code die beliebtesten Anwendungen der Technologie unterstützt.

Wie frühere Schwachstellen wie der berüchtigte DAO-Zwischenfall auf der Ethereum-Blockkette im Jahr 2016 gezeigt haben, kann das Risiko extrem hoch sein, wenn die Dinge schief laufen.

Klarheit, wie die Ankündigung umreißt, ist eine „‚entscheidbare‘ Sprache, d.h. Entwickler können mit mathematischer Sicherheit wissen, was ein Programm im Voraus tun wird und was nicht“.

Algorand und Blockctack behaupten, dass die Verwendung von „unentscheidbaren“ Sprachen es den Entwicklern derzeit unmöglich macht, genau zu verstehen, wie sich ein Vertrag in bestimmten Situationen ohne seine vorherige Ausführung verhalten wird. Diese Verlagerung hin zur Entscheidbarkeit, so behaupten sie, „spricht daher ein Haupthindernis an, das derzeit einen groß angelegten, ernsthaften Einsatz verhindert“.

Mit der Einführung einer Programmiersprache wie Clarity hat Dr. Micali auch auf die Wahrscheinlichkeit hingewiesen, dass dieser Technologie von Großunternehmen und Regierungen mehr Vertrauen entgegengebracht wird.

Über ihre gemeinsame Unterstützung von Clarity hinaus verpflichten sich Algorand und Blockstack auch, auf eine bessere Kommunikation und Bedienbarkeit zwischen den Ketten hinzuarbeiten, um die Konsolidierung von „walled gardens“ im Blockchain-Raum zu verhindern.

Andere „zweckgerichtete“ intelligente Vertragssprachen

Cointelegraph hat bereits im vergangenen Jahr über die Entwicklung der Digital Asset Modeling Language (DAML) berichtet, die von ihrem Schöpfer, der Softwarefirma Digital Asset, als Open Source zur Verfügung gestellt wurde.

In diesem Frühjahr gab Tencents Digitalbank WeBank bekannt, dass sie die Integration von DAML für ihre Konsortialblockkette FISCO BCOS prüft – die Kette, die Chinas nationales blockkettenbasiertes Servicenetzwerk untermauern wird.