Hoskinson introduce Moriarty per Midnight DeFi

Charles Hoskinson ha rivelato il primo risultato di test concreto per Moriarty, un linguaggio di programmazione che sta costruendo per Midnight DeFi. Un contratto di prestito ha raggiunto la rappresentazione intermedia a conoscenza zero di Midnight e la sua transazione è stata convalidata sulla rete Preview, mentre il linguaggio stesso è ancora in fase di sviluppo.

Moriarty definisce le istruzioni per Midnight DeFi

Hoskinson ha descritto Moriarty come un linguaggio di intenti Turing incompleto per il kernel DeFi pianificato di Midnight. È progettato per esprimere ciò che una transazione finanziaria dovrebbe realizzare e le condizioni che deve soddisfare.

Il suo design deliberatamente limitato restringe la gamma di possibili comportamenti del programma, mentre la semantica formale specifica come viene eseguita ciascuna istruzione. Hoskinson sta studiando i componenti comuni alla base di prestiti, swap, contratti perpetui e prodotti sintetici, ma non li ha presentati come funzionalità completate di Moriarty.

Midnight utilizza NIGHT come asset nativo della rete. Moriarty si collocherebbe al livello applicativo, dove gli sviluppatori potrebbero eventualmente definire operazioni che coinvolgono NIGHT e altri asset supportati. Non è stata annunciata alcuna applicazione in produzione che utilizzi il linguaggio.

Il contratto di prestito viene convalidato su Midnight Preview

Hoskinson ha affermato che il repository di Moriarty conteneva più di 596 commit quando ha presentato il progetto. Il traguardo di sviluppo più evidente è stato un contratto di prestito compilato in zkIR, la rappresentazione intermedia utilizzata nel processo di esecuzione a conoscenza zero di Midnight.

"Sono riuscito effettivamente a far convalidare la transazione su Midnight Preview", ha detto.

Preview è una rete di sviluppo e Hoskinson ha dichiarato che Moriarty non era finito. Ha stimato altre due o quattro settimane di lavoro prima di consegnarlo a Lucas e ad altri membri del team, senza annunciare un programma di lancio in produzione per Moriarty o per un prodotto DeFi su NIGHT.

Le prove di correttezza puntano al rischio dei contratti DeFi

Hoskinson ha detto che Moriarty è pensato per allegare a una transazione una prova della correttezza del programma. La prova dimostrerebbe che il programma inviato segue le regole espresse dal linguaggio prima che la transazione venga accettata.

"Hai una prova della correttezza del programma che accompagna la transazione", ha detto.

Ha collegato tale progettazione ai circuiti con vincoli insufficienti, in cui un circuito a conoscenza zero non riesce a imporre ogni condizione prevista. Vincoli mancanti possono consentire a un risultato non valido di superare i controlli rimanenti e mettere a rischio i fondi controllati da un contratto.

Il test su Preview conferma il percorso di compilazione e convalida descritto da Hoskinson. Il suo prossimo passo dichiarato è il passaggio al team, spostando Moriarty da un prototipo personale verso un'infrastruttura che gli sviluppatori di Midnight DeFi possano valutare ed estendere.