Charles Hoskinson entwickelt persönlich neue Programmiersprache für Cardano

Cardano-Gründer Charles Hoskinson schrieb am Sonntag auf X, dass er persönlich eine neue Programmiersprache für Cardano entwickle. Hoskinson sagte, er arbeite mit Lucas Rosa zusammen, einem Softwareingenieur bei Input Output Global, der Aiken mitentwickelt hat, eine der wichtigsten Smart-Contract-Sprachen von Cardano. Hoskinson zufolge wird die neue Sprache als erste verbinden, was ein Nutzer mit einer Transaktion erreichen möchte, mit einem kryptografischen Nachweis dafür, dass die Transaktionsregeln eingehalten wurden. Hoskinson hat weder den Namen der Sprache bekannt gegeben noch öffentlichen Code veröffentlicht oder mitgeteilt, wann Entwickler sie nutzen können.

Die Sprache würde Transaktionsintentionen, beweisführende Daten und Groth16-Beweise unterstützen. Eine Transaktionsintention lässt einen Nutzer ein gewünschtes Ergebnis angeben, während die Ausführungsschritte einer App überlassen werden. Ein Händler könnte einen Token-Tausch nur dann anfordern, wenn der Endpreis festgelegte Bedingungen erfüllt, ohne anzugeben, wie der Tausch ausgeführt werden soll.

Beweisführende Daten fügen Informationen einen kryptografischen Nachweis hinzu, der belegt, dass sie bestimmten Regeln entsprechen. Eine andere App kann den Nachweis prüfen, ohne alle zugrunde liegenden Berechnungen erneut durchzuführen. Groth16 ist ein weit verbreitetes Beweissystem, das kleine Nachweise erzeugt, die Computer schnell überprüfen können. Mit Groth16-Beweisen lässt sich zeigen, dass eine Bedingung erfüllt wurde, ohne die dafür verwendeten privaten Daten offenzulegen.

Die drei Werkzeuge könnten Entwicklern ermöglichen, Apps zu entwickeln, die Transaktionen koordinieren, komplexe Bedingungen prüfen und verifizierte Informationen zwischen Diensten weitergeben. Cardano könnte am Ende dieser Vorgänge einen kleinen Nachweis prüfen. Hoskinson leitet ein Unternehmen mit vielen Ingenieuren, entscheidet sich aber dafür, selbst ein Werkzeug zu schreiben, das künftige Cardano-Apps nutzen könnten.

Cardano-Entwickler schreiben Smart Contracts bereits in Plutus, das auf Haskell basiert, und in Aiken. Input Output Global hat Midnight entwickelt, eine auf Datenschutz ausgerichtete Blockchain. Midnight verfügt über eine eigene Programmiersprache namens Compact für Apps, die vertrauliche Daten verarbeiten.