Hoskinson stellt Moriarty für Midnight DeFi vor

Charles Hoskinson hat das erste konkrete Testergebnis für Moriarty offengelegt, eine Programmiersprache, die er für Midnight DeFi entwickelt. Ein Kreditvertrag erreichte Midnights Zero Knowledge Zwischenrepräsentation und dessen Transaktion wurde im Preview Netzwerk validiert, während die Sprache selbst noch in Entwicklung ist.

Moriarty definiert Anweisungen für Midnight DeFi

Hoskinson beschrieb Moriarty als eine nicht Turing vollständige Intent Sprache für Midnights geplanten DeFi Kernel. Sie soll ausdrücken, was eine Finanztransaktion erreichen soll und welche Bedingungen sie erfüllen muss.

Das bewusst eingeschränkte Design reduziert die Bandbreite des möglichen Programmverhaltens, während formale Semantik festlegt, wie jede Anweisung ausgeführt wird. Hoskinson untersucht gemeinsame Bausteine hinter Kreditvergabe, Swaps, Perpetual Verträgen und synthetischen Produkten, stellte sie jedoch nicht als fertiggestellte Moriarty Funktionen vor.

Midnight verwendet NIGHT als natives Netzwerk Asset. Moriarty würde auf der Anwendungsebene angesiedelt sein, wo Entwickler schließlich Operationen definieren könnten, die NIGHT und andere unterstützte Assets einbeziehen. Eine produktive Anwendung, die die Sprache nutzt, wurde nicht angekündigt.

Kreditvertrag wird auf Midnight Preview validiert

Hoskinson sagte, das Moriarty Repository habe mehr als 596 Commits enthalten, als er das Projekt vorstellte. Der klarste Entwicklungsschritt war ein zu zkIR kompilierter Kreditvertrag, also die Zwischenrepräsentation, die im Zero Knowledge Ausführungsprozess von Midnight verwendet wird.

“Ich konnte die Transaktion tatsächlich auf dem Midnight Preview validieren,” sagte er.

Preview ist ein Entwicklungsnetzwerk, und Hoskinson erklärte, dass Moriarty nicht fertig sei. Er veranschlagte weitere zwei bis vier Wochen Arbeit, bevor er es an Lucas und andere Teammitglieder übergibt, ohne einen Zeitplan für einen Produktionsstart von Moriarty oder eines NIGHT DeFi Produkts anzukündigen.

Korrektheitsnachweise zielen auf DeFi Vertragsrisiken

Hoskinson sagte, Moriarty solle einen Nachweis der Programmkorrektheit an eine Transaktion anhängen. Der Nachweis würde zeigen, dass das eingereichte Programm den von der Sprache ausgedrückten Regeln folgt, bevor die Transaktion akzeptiert wird.

“Sie haben einen Nachweis der Korrektheit des Programms, der mit der Transaktion einhergeht,” sagte er.

Er verknüpfte dieses Design mit unterbeschränkten Schaltungen, bei denen eine Zero Knowledge Schaltung nicht jede beabsichtigte Bedingung durchsetzt. Fehlende Nebenbedingungen können es einem ungültigen Ergebnis ermöglichen, die verbleibenden Prüfungen zu bestehen und Mittel, die von einem Vertrag kontrolliert werden, zu gefährden.

Der Preview Test bestätigt den von Hoskinson beschriebenen Pfad für Kompilierung und Validierung. Sein nächster genannter Schritt ist die Übergabe an das Team, wodurch Moriarty sich von einem persönlichen Prototyp in Richtung einer Infrastruktur bewegt, die Midnight DeFi Entwickler bewerten und erweitern können.