Hoskinson predstavlja Moriarty za Midnight DeFi

Charles Hoskinson je razkril prvi konkreten testni rezultat za Moriarty, programski jezik, ki ga razvija za Midnight DeFi. Posojilna pogodba je dosegla vmesno predstavitev z ničelnim znanjem sistema Midnight, njena transakcija pa je bila potrjena v omrežju Preview, medtem ko je sam jezik še v razvoju.

Moriarty opredeljuje ukaze za Midnight DeFi

Hoskinson je opisal Moriarty kot jezik namenov, ki je nepopoln z vidika Turingove popolnosti, za načrtovano DeFi jedro Midnighta. Zasnovan je za izražanje, kaj naj finančna transakcija doseže, in pogojev, ki jih mora izpolniti.

Njegova namerno omejena zasnova zoži nabor možnih obnašanj programa, formalna semantika pa določa, kako se vsak ukaz izvede. Hoskinson preučuje skupne gradnike pri posojanju, zamenjavah, trajnih terminskih pogodbah in sintetičnih produktih, vendar jih ni predstavil kot dokončane funkcije v Moriartyju.

Midnight uporablja NIGHT kot svoje izvorno omrežno sredstvo. Moriarty bi deloval na aplikacijski plasti, kjer bi razvijalci lahko sčasoma definirali operacije, ki vključujejo NIGHT in druga podprta sredstva. Nobena produkcijska aplikacija, ki bi uporabljala jezik, še ni bila napovedana.

Posojilna pogodba potrjena na Midnight Preview

Hoskinson je povedal, da je repozitorij Moriarty vseboval več kot 596 commitov, ko je predstavil projekt. Najbolj jasen razvojni mejnik je bila posojilna pogodba, prevedena v zkIR, vmesno predstavitev, ki se uporablja v procesu izvajanja z ničelnim znanjem v sistemu Midnight.

"Dejansko mi je uspelo doseči, da je bila transakcija potrjena na Midnight Preview," je dejal.

Preview je razvojno omrežje, Hoskinson pa je navedel, da Moriarty še ni dokončan. Ocenil je še dva do štiri tedne dela, preden ga preda Lucasu in drugim članom ekipe, pri tem pa ni napovedal proizvodnega zagona za Moriarty ali za NIGHT DeFi izdelek.

Dokazi o pravilnosti ciljajo na tveganje DeFi pogodb

Hoskinson je dejal, da je namen Moriartyja priložiti transakciji dokaz o pravilnosti programa. Dokaz bi pokazal, da predloženi program sledi pravilom, ki jih izraža jezik, preden je transakcija sprejeta.

"Imate dokaz o pravilnosti programa, ki gre s transakcijo," je dejal.

To zasnovo je povezal z nezadostno omejenimi vezji, kjer vezje z ničelnim znanjem ne uveljavi vseh predvidenih pogojev. Manjkajoče omejitve lahko omogočijo, da neveljaven rezultat prestane preostale preveritve in ogrozi sredstva, ki jih nadzira pogodba.

Preizkus v omrežju Preview potrjuje pot prevajanja in validacije, kot jo je opisal Hoskinson. Njegov naslednji korak je predaja ekipi, s čimer se Moriarty premika iz osebnega prototipa proti infrastrukturi, ki jo lahko razvijalci Midnight DeFi ovrednotijo in razširijo.