Predlog Cardano Plutus cilja na nižje režijske stroške izvajanja skriptov

Razvojni tok Plutus za Cardano je dodal dva predloga, osredotočena na to, kako pametne pogodbe obdelujejo podatke glavne knjige. CIP-0194 uvaja vgrajeno ujemanje vzorcev za UPLC, medtem ko CIP-0195 določa, kako je treba tipe Plutus V4, kot sta ScriptContext in TxInfo, kodirati kot Data. Oba sta še v pregledu.

CIP-0194 že ima delujoč prototip implementacije, pri čemer zgodnja lokalna merila kažejo občutno krajši čas izvajanja CEK za več vzorcev dostopa do podatkov. Meritve niso umerjene na verižne izvedbene enote, proizvodni stroškovni parametri pa še niso dokončno določeni.

CIP-0194 dodaja ujemanje vzorcev v Plutus Core

Pametne pogodbe Cardano pogosto pregledujejo strukturirane Data, vključno s transakcijskimi informacijami znotraj ScriptContext. Obstoječi programi UPLC lahko te strukture razgradijo prek funkcij, kot so unConstrData, chooseData in seznamske operacije, pri čemer vsak korak doda delo znotraj ocenjevalnika CEK.

CIP-0194 predlaga novo operacijo Match, ki lahko neposredno pregleda ugnezdene vrednosti in zajame le tista polja, ki jih skript potrebuje. Zajema cela števila, bajtne nize, sezname, pare in strukturirane Data, medtem ko obstoječi mehanizem Case ostaja na voljo za enostavnejše operacije.

Sprememba je namenjena predvsem validatorjem, ki večkrat pregledujejo transakcijski kontekst, vključno z zahtevnejšo logiko DeFi, trgovanja in posojanja.

Delujoč prototip v kodni bazi Plutus že obstaja. Za proizvodno rabo bi bili še vedno potrebni preskusi skladnosti, umerjeni stroškovni parametri, podpora v glavni knjigi in izdaja vozlišča Cardano.

Zgodnji primerjalni preizkusi kažejo krajši čas izvajanja CEK

CIP vključuje lokalne primerjalne preizkuse, ki primerjajo Match z obstoječimi metodami razgradnje Data.

Pri pridobivanju ene globoko ugnezdene vrednosti je bil izmerjeni čas izvajanja CEK v preizkušenih scenarijih med 6.38 in 13.74 krat hitrejši. Preizkus s 64 ugnezdenimi plastmi Data je zabeležil 2.297 mikrosekund z Match, v primerjavi z 31.068 mikrosekund pri uporabi obstoječega pristopa.

Razlika v zmogljivosti se zmanjša, ko skripti zajamejo več vrednosti, pri čemer so se preizkušane izboljšave gibale približno od 1.67 do 6.10 krat, odvisno od strukture in izhodiščne metode.

Ti podatki merijo lokalno dejansko zmogljivost CEK, ne pa končnih izvedbenih enot Cardano. Stroškovni model ostaja neumerjen. Predhodni proračuni CPU in pomnilnika v predlogu so se izboljšali za 10% do 90% pri različnih obremenitvah, pri čemer so tipični scenariji s kontekstom skripta pokazali približno 40% do 60% izboljšanje pri začetnih parametrih.

Predlog dodeli Match jeziku Plutus Core različice 1.2.0, kar bi zahtevalo podporo v glavni knjigi in aktivacijo prek postopka trde razvejitve Cardano, preden bi ga skripti lahko uporabljali na glavni mreži.

CIP-0195 opredeljuje podatkovni model Plutus V4

CIP-0195 obravnava drugo stran sklada Plutus, saj določa, kako morajo biti tipi API glavne knjige Plutus V4 predstavljeni kot Data.

Predlog zajema V4 ScriptContext in povezane strukture, vključno z razširjenim TxInfo. Nadomešča bolj neformalen pristop iz starejših različic Plutus, kjer so morali razvijalci in alternativna orodja pogosto sklepati o obnašanju kodiranja iz implementacijske kode namesto iz namenske specifikacije.

Predlagana zasnova V4 še naprej uporablja sezname za kodiranje podatkovnih tipov. CIP-0195 navaja, da novejše operacije UPLC omogočajo učinkovit dostop do seznamov, hkrati pa se izognejo dodatnim konstruktorjem in integraciji z glavno knjigo, ki bi jo zahteval širši model na osnovi polj.

CIP-0194 in CIP-0195 se lahko razvijata neodvisno, vendar skupaj obravnavata, kako bo naslednja generacija Plutus strukturirala in dostopala do podatkov glavne knjige. Če bo sprejet, bi CIP-0195 standardiziral, kako Plutus V4 izpostavlja te podatke, medtem ko bi CIP-0194 validatorjem ponudil način z nižjim režijskim stroškom za njihov pregled. Oba še zahtevata odobritev specifikacije, umerjene stroškovne modele in integracijo z glavno knjigo, preden dosežeta glavno omrežje Cardano.