Hoskinson i Lucas Rosa razvijaju novi programski jezik za Cardano

Charles Hoskinson je 18. listopada objavio da osobno razvija novi programski jezik za Cardano. Kao suradnika na projektu naveo je Lucas Rosa, suosnivač Aiken i arhitekt alata u Midnight.

Suosnivač Aikena radi zajedno s Hoskinson

Rosa, poznat na internetu kao @rvcas, suosnovao je Aiken i vodio njegov razvoj više od dvije i pol godine. Prema njegovoj povijesti projekta, taj je rad uključivao osmišljavanje značajki jezika prije prijenosa vlasništva i licence u korist Pragma za dugoročno skrbništvo.

Aiken je programski jezik i razvojni alatni komplet za Cardano pametne ugovore. Programeri ga koriste za definiranje pravila koja određuju mogu li transakcije trošiti imovinu ili obavljati druge operacije pod nadzorom ugovora.

Rosa trenutno navodi svoju poziciju kao Tooling Architect u Midnight. Njegova pozadina obuhvaća prevoditelje, distribuirane sustave i aplikacijsku infrastrukturu.

Hoskinsonova objava navodi Lucas Rosa kao suradnika bez dodjeljivanja organizacijske uloge za Midnight.

Kako se povezuju namjere i Groth16 dokazi

Namjere opisuju ishod koji korisnik želi postići i uvjete pod kojima je prihvatljiv. Korisnik može zatražiti zamjenu ADA za drugi token, navodeći minimalni iznos za primitak i maksimalnu naknadu. Specijalizirani sudionici nazvani rješavači tada mogu pronaći put izvršenja i konstruirati transakcije koje zadovoljavaju te uvjete.

Podaci koji nose dokaze, ili PCD, odnose se na informacije praćene kriptografskim dokazom da su u skladu s definiranim pravilima. Dokaz može obuhvatiti i povijest obrade, potvrđujući da su prethodni računalni koraci poštovali ta pravila. Primatelj može provjeriti dokaz bez ponavljanja cjelokupnog prethodnog računanja.

Groth16 pruža kompaktne dokaze nultog znanja s relativno niskom složenošću provjere. Omogućuje strani da dokaže da je određeno računanje ispravno izvedeno bez otkrivanja privatnih ulaza korištenih za izradu dokaza. Koji podaci aplikacije ostaju javni ovisi o dizajnu okolnog sustava.

Zajedno, ovi koncepti mogli bi omogućiti aplikaciji da izrazi prihvatljive ishode i provjeri dokaze da su relevantni računalni uvjeti ispunjeni. Specifičan mehanizam koji ih povezuje u predloženom jeziku nije opisan.

Povezivanje jezika s Cardano validatorima

Cardano već pruža kriptografske gradivne blokove za aplikacije temeljene na dokazima. Plutus V3 uključuje BLS12-381 operacije koje podržavaju učinkovitu provjeru kompatibilnih dokaza nultog znanja. Programeri mogu koristiti te primitive za izgradnju ugovora koji provjeravaju dokaze o računanju izvedenom izvan blockchaina.

Provjera troši izvršne resurse i doprinosi transakcijskim naknadama plaćenim u ADA. Praktičnost bilo koje implementacije stoga ovisi o sustavu dokaza, verifikatoru i opterećenju koje se uklapa u transakcijska ograničenja Cardano.

Hoskinsonova objava nije navela naziv jezika, repozitorij, specifikaciju ni datum izlaska. Njegov odnos s Aiken i Plutus također ostaje nespecificiran. Neriješena točka integracije jest kako bi program napisan u novom jeziku generirao dokaz i učinio ga dostupnim Cardano validatoru, povezujući korisnikove navedene uvjete s ugovorom koji autorizira namiru.