Hoskinson predstavlja Moriarty za Midnight DeFi

Charles Hoskinson otkrio je prvi konkretan rezultat testa za Moriarty, programski jezik koji razvija za Midnight DeFi. Zajmovni ugovor dosegnuo je posrednu reprezentaciju s nultim znanjem koju koristi Midnight, a njegova je transakcija validirana na mreži Preview, dok je sam jezik još u razvoju.

Moriarty Defines Instructions for Midnight DeFi

Hoskinson je opisao Moriarty kao jezik namjere, nije Turing complete, za planiranu DeFi jezgru Midnight. Osmišljen je da izrazi što financijska transakcija treba postići i koje uvjete mora zadovoljiti.

Namjerno ograničen dizajn sužava raspon mogućeg ponašanja programa, dok formalna semantika određuje kako se svaka instrukcija izvršava. Hoskinson proučava zajedničke komponente koje stoje iza kreditiranja, zamjena, vječnih ugovora i sintetskih proizvoda, ali ih nije predstavio kao dovršene značajke u Moriarty.

Midnight koristi NIGHT kao svoju izvornu mrežnu imovinu. Moriarty bi bio na aplikacijskom sloju, gdje bi programeri mogli na kraju definirati operacije koje uključuju NIGHT i drugu podržanu imovinu. Nije najavljena nijedna produkcijska aplikacija koja koristi taj jezik.

Loan Contract Validates on Midnight Preview

Hoskinson je rekao da je repozitorij Moriarty sadržavao više od 596 commitova kada je predstavio projekt. Najjasnija razvojna prekretnica bio je zajmovni ugovor kompiliran u zkIR, posrednu reprezentaciju koja se koristi u procesu izvođenja s nultim znanjem na Midnight.

"Uspio sam uistinu postići da se transakcija validira na Midnight Preview", rekao je.

Preview je razvojna mreža, a Hoskinson je naveo da Moriarty nije dovršen. Procijenio je još dva do četiri tjedna rada prije predaje Lucas i drugim članovima tima, bez najave produkcijskog rasporeda pokretanja za Moriarty ili NIGHT DeFi proizvod.

Correctness Proofs Target DeFi Contract Risk

Hoskinson je rekao da je namjena Moriarty priložiti transakciji dokaz o ispravnosti programa. Dokaz bi pokazao da podneseni program slijedi pravila koja jezik izražava, prije nego što se transakcija prihvati.

"Imate dokaz o ispravnosti programa koji ide uz transakciju", rekao je.

Povezao je taj dizajn s nedovoljno ograničenim sklopovima, gdje sklop s nultim znanjem ne uspijeva provesti svaki namjeravani uvjet. Nedostajuća ograničenja mogu omogućiti da nevaljan rezultat prođe preostale provjere i dovesti sredstva pod kontrolom ugovora u rizik.

Test na Preview potvrđuje put kompilacije i validacije koji je Hoskinson opisao. Njegov sljedeći najavljeni korak je predaja timu, prebacivanje Moriarty iz osobnog prototipa prema infrastrukturi koju programeri za Midnight DeFi mogu procijeniti i proširiti.