Cardano-Schöpfer Charles Hoskinson enthüllt Details zum Krypto-Projekt „Djed“
– Charles Hoskinson (@IOHK_Charles) 15. Juli 2021
Obwohl das vollständige Whitepaper noch nicht veröffentlicht wurde, haben die Forscher laut Hoskinson viel Zeit damit verbracht, das neue Projekt mit Isabelle-Code zu überprüfen, einem Werkzeug, mit dem Informatiker Theoreme beweisen und leicht in Code umwandeln können.
„Was dieses Papier so einzigartig macht, ist der Isabelle-Code, der mit Papier verbunden ist. Also die logische Formalisierung höherer Ordnung von Isabelle, es gibt hier echte Prosa. Sie können den ganzen Isabelle-Code sehen, Seiten und Seiten und Seiten und Seiten davon. Hier wurde also viel überprüft, und das ist wirklich bemerkenswert und für Papiere dieser Art einzigartig.“
Hoskinson sagt, dass der neue Stablecoin schließlich in Plutus, der Smart-Contract-Plattform von Cardano, implementiert wird.
„Eines der Dinge, die wir mit diesem Stablecoin-Papier machen – nachdem wir es ein bisschen mehr aufgeräumt haben, weil es so kompliziert ist und es so viele bewegliche Teile gibt, die sorgfältig durchdacht werden müssen – ist es, es tatsächlich zu implementieren Plutus als native Plutus-Anwendung. Wir haben also einen Anbieter im Sinn, von dem wir glauben, dass er perfekt für diese Arbeit ist, und wir werden eng mit ihm zusammenarbeiten.“
.
Artikel in englischer Sprache auf dailyhodl.com.
