Hoskinson in Lucas Rosa razvijata nov programski jezik za Cardano

Charles Hoskinson je 18. oktobra napovedal, da osebno razvija nov programski jezik za Cardano. Kot sodelavca pri projektu je navedel Lucas Rosa, soustanovitelja Aiken in arhitekta orodij pri Midnight.

Soustanovitelj Aiken dela skupaj s Hoskinsonom

Rosa, na spletu znan kot @rvcas, je soustanovil Aiken in več kot dve leti in pol vodil njegov razvoj. Po zgodovini projekta je to delo vključevalo oblikovanje funkcionalnosti jezika, preden sta bila lastništvo in licenca prenesena na Pragma za dolgoročno skrbništvo.

Aiken je programski jezik in razvojni komplet za pametne pogodbe Cardano. Razvijalci ga uporabljajo za določanje pravil, ki urezujejo, ali lahko transakcije porabijo sredstva ali izvedejo druge operacije pod nadzorom pogodbe.

Rosa trenutno navaja svoj položaj kot arhitekt orodij pri Midnight. Njegovo ozadje zajema prevajalnike, porazdeljene sisteme in aplikacijsko infrastrukturo.

V objavi Hoskinsona je Rosa naveden kot sodelavec, brez dodeljene organizacijske vloge za Midnight.

Kako se povezujejo nameni in dokazi Groth16

Nameni opisujejo izid, ki ga želi uporabnik doseči, in pogoje, pod katerimi je sprejemljiv. Uporabnik lahko zahteva menjavo ADA za drug žeton in navede najmanjši znesek za prejem ter največjo provizijo. Specializirani udeleženci, imenovani reševalci, lahko nato poiščejo pot izvedbe in sestavijo transakcije, ki izpolnjujejo te pogoje.

Podatki, ki nosijo dokazilo, ali PCD, se nanašajo na informacije, ki jim je priloženo kriptografsko dokazilo o skladnosti z določenimi pravili. Dokazilo lahko zajema tudi zgodovino obdelave in potrdi, da so prejšnji izračunski koraki spoštovali ta pravila. Prejemnik lahko preveri dokazilo brez ponovitve celotnega predhodnega izračuna.

Groth16 omogoča kompaktne dokaze ničelnega znanja z razmeroma nizko zahtevnostjo preverjanja. Omogoča, da stranka dokaže, da je bil določen izračun izveden pravilno, ne da bi razkrila zasebne vhode, uporabljene za izdelavo dokazila. Kateri podatki aplikacije ostanejo javni, je odvisno od zasnove okoliškega sistema.

Skupaj bi ti koncepti lahko omogočili aplikaciji, da izrazi sprejemljive izide in preveri dokazila, da so bili izpolnjeni ustrezni izračunski pogoji. Poseben mehanizem, ki jih povezuje v predlaganem jeziku, ni bil opisan.

Povezovanje jezika z validatorji Cardano

Cardano že zagotavlja kriptografske gradnike za aplikacije, ki temeljijo na dokazih. Plutus V3 vključuje operacije BLS12-381, ki podpirajo učinkovito preverjanje združljivih dokazov ničelnega znanja. Razvijalci lahko te primitive uporabijo za gradnjo pogodb, ki preverjajo dokazila o izračunih, izvedenih zunaj verige blokov.

Preverjanje porablja izvedbene vire in prispeva k transakcijskim pristojbinam, plačanim v ADA. Zato je izvedljivost katere koli implementacije odvisna od tega, ali se sistem dokazov, preverjevalnik in obremenitev prilegajo omejitvam transakcij v omrežju Cardano.

V objavi Hoskinsona niso bili navedeni ime jezika, repozitorij, specifikacija ali datum izdaje. Njegov odnos z Aiken in Plutus prav tako ostaja nedoločen. Nerešen vidik integracije je, kako bi program, napisan v novem jeziku, ustvaril dokazilo in ga posredoval validatorju Cardano ter tako povezal uporabnikove navedene pogoje s pogodbo, ki avtorizira poravnavo.