coindesk.com
Cardano-Gründer Charles Hoskinson entwickelt eine neue Programmiersprache für seine Blockchain. Er erklärt, dass sie die erste sein wird, die das, was ein Nutzer mit einer Transaktion erreichen möchte, mit einem kryptografischen Nachweis verbindet, dass die Regeln eingehalten wurden.
„Ich entwickle persönlich eine Programmiersprache für Cardano,“ sagte Hoskinson schrieb auf X am Sonntag und fügte hinzu, dass er gemeinsam mit Lucas Rosa, einem Softwareingenieur bei Input Output Global, der Aiken mitentwickelt hat – eine der wichtigsten Smart-Contract-Sprachen von Cardano – daran arbeitet.
Das ist nicht etwas, was die meisten Gründer tun, wenn ihr Netzwerk so groß ist. Hoskinson leitet ein Unternehmen voller Ingenieure und entscheidet sich dennoch selbst dafür, das Werkzeug zu entwickeln, auf dem zukünftige Cardano-Anwendungen aufgebaut werden könnten.
Die Sprache würde drei Werkzeuge unterstützen: Transaktionsabsichten, Proof-Carrying-Daten und Groth16-Beweise.
Eine Absicht ermöglicht es einem Nutzer, mitzuteilen, was er erledigt haben möchte, und überlässt die Schritte der App. Ein Händler könnte verlangen, einen Token gegen einen anderen zu tauschen, jedoch nur, wenn der endgültige Preis festgelegte Bedingungen erfüllt, ohne dabei den Ablauf zu spezifizieren.
Proof-carrying data fügt einer Information kryptographische Beweise hinzu, die zeigen, dass sie bestimmten Regeln entspricht. Eine andere Anwendung kann diese Beweise überprüfen, ohne alle zugrunde liegenden Berechnungen erneut durchzuführen.
Groth16 ist ein weit verbreitetes Beweissystem, das winzige Beweise erzeugt, die von Computern schnell überprüft werden können. Diese Beweise können nachweisen, dass eine Bedingung erfüllt wurde, ohne die privaten Daten offenzulegen, die zur Erfüllung dieser Bedingung verwendet wurden.
Gemeinsam könnten sie Entwicklern ermöglichen, Anwendungen zu erstellen, die Trades koordinieren, komplexe Bedingungen überprüfen und verifizierte Informationen zwischen Diensten austauschen, wobei Cardano am Ende einen kleinen Nachweis prüft.
Cardano-Entwickler schreiben bereits Smart Contracts in Plutus, das auf der Programmiersprache Haskell basiert, sowie in Aiken. Midnight, die datenschutzorientierte Blockchain, die von Hoskinsons Unternehmen Input Output Global entwickelt wurde, verfügt über ihre eigene Sprache, Compact, für Anwendungen, die vertrauliche Daten verarbeiten.
Unterdessen hat Hoskinson weder den Namen der neuen Programmiersprache, noch öffentlich zugänglichen Code oder ein Datum bekanntgegeben, ab wann Entwickler sie verwenden können.
