Aiken Posodobitve prinašajo hitrejša orodja za pametne pogodbe razvijalcem Cardana

Aiken ni vrsta posodobitve Cardana, ki običajno sproži glasne odzive trga. Ne gre za nov potrošniški denarnik, lansiranje DeFi ali kampanjo likvidnosti. Toda za razvijalce, ki gradijo pametne pogodbe na Cardanu, najnovejše posodobitve Aikena nakazujejo na nekaj pomembnejšega od kratkotrajne pozornosti: razvojno okolje postaja hitrejše, čistejše in lažje za vzdrževanje.

Najbolj nove razvojne ure so se osredotočile na standardno knjižnico Aiken v3.1.0 in predogled Aikena v1.1.22. Seja je zajemala predstave o učinkovitosti standardne knjižnice, izboljšave prevajalnika, spremembe oblikovalnika, poročanje o testih, možnosti načrtov, izboljšave LSP in začetno delo okoli dostopa do prevajalnika temelječega na brskalniku. Praktično sporočilo je bilo jasno, Aiken še naprej zori kot eno najpomembnejših orodij za razvoj pametnih pogodb na Cardanu.

To je pomembno, saj je okolje za pametne pogodbe Cardana vedno temeljilo na varnosti, pravilnosti in natančni izvedbi. Te prednosti so dragocene, vendar tudi naredijo razvojno orodje ključnega pomena. Če pisanje, testiranje in vzdrževanje validatorjev postane lažje, Cardano ne pridobi samo lepše kode. Pridobi uporabnejšo pot za resne ekipe za gradnjo aplikacij, ki lahko preživijo uporabo v proizvodnem okolju.

Aiken stdlib v3.1.0 izboljša učinkovitost pametnih pogodb Cardano

Najpomembnejša posodobitev standardne knjižnice je uvedba bolj učinkovitih funkcij v primitivnem stilu za področja, kot so seznami, pari in slovarji. Na seji so te funkcije opisane kot tiste, ki pomagajo, ko razvijalec pričakuje, da vrednost obstaja, in ne želi nositi nepotrebnega upravljanja z opcijami skozi preostalo logiko pogodbe.

To se morda sliši kot majhna podrobnost, vendar so v razvoju pametnih pogodb majhne razlike pri izvajanju pomembne. Na Cardanu validatorjevo kodo ne sestavlja samo logika aplikacije. Prenaša stroške, spomin in posledice potrjevanja. Čistejši način izražanja skupnih operacij lahko izboljša tako berljivost kot tudi učinkovitost izvedbe.

Seja je vključevala razpravo o merilih uspešnosti, ki prikazuje, zakaj je to pomembno. En primer dostopa do seznama je bil opisan pri približno 73 kB pomnilnika in 24 milijonih CPU enot v eni izvedbi, medtem ko je bil novi pristop v primitivnem slogu predstavljen kot približno polovica tega v specifičnem kontekstu merjenja. Govorec je bil previden pri opisu teh kot majhnih meril uspešnosti in ne univerzalnih obljub, vendar še vedno prikazujejo smer izboljšav.

Posodobitev standardne knjižnice vključuje tudi pomočnike za delo s sredstvi in slovarji. Eden od obravnavanih primerov je bila možnost preverjanja, ali je en sklop sredstev vključen v drugega na učinkovit način. To je še posebej pomembno na Cardanu, kjer so domača sredstva osrednji del tega, kako so predstavljeni žetoni, DeFi pozicije, logika politike in vrednosti aplikacijskih tokov.

Nekatere izboljšave ne bodo vidne neposredno v javnem API-ju. Seja je omenila tudi optimizacije v funkcijah seznama, slovarjem, parom in sredstvom, vključno z združitvijo slovarjev, za katere je bilo rečeno, da so približno 15 do 20 odstotkov hitrejše. To ni vrsta spremembe, ki proizvaja dramatičen naslov, vendar izboljšuje temelje, na katerih razvijalci gradijo produkcijske pametne pogodbe.

Predogled Aiken v1.1.22 izboljšuje prevajalnik in potek dela razvijalcev

Predogled Aiken v1.1.22 se močno osredotoča na potek dela razvijalcev. To vključuje izboljšave prevajalnika, spremembe oblikovalnika, jasnejše rezultate preizkusov, obravnavo načrtov in popravke, povezane z LSP.

Posodobitve oblikovalnika so enostavno podcenjevane. Ne zvenijo toliko pomembno kot združljivost s Plutusom ali stroški izvedbe, vendar vplivajo na to, kako ekipe delajo vsak dan. Čistejši oblikovalnik olajša pregledovanje, združevanje in vzdrževanje repozitorijev. Seja je priznala, da so lahko spremembe oblikovalca moteče, ker lahko vplivajo na številne datoteke v kodi, vendar je cilj bolj berljiv izhod, zlasti v primerih z več argumenti, daljšimi vzorci ali bolj zapletenimi deklaracijami.

Poročanje o preizkusih je prav tako prejelo pozornost. Boljši rezultati preizkusov pomagajo razvijalcem razumeti, kaj je spodletelo, kje je spodletelo in kateri pogoj je povzročil težavo. Za jezik pametnih pogodb to ni kozmetično. Zmeden rezultat preizkusa lahko upočasni odpravljanje napak, medtem ko jasnejše poročanje pomaga ekipam odkriti težave z logiko pogodb prej.

Obravnava načrtov je še en pomemben del posodobitve. Načrti Aiken izpostavljajo informacije o pogodbah, ki jih zunanja orodja in aplikacije morda potrebujejo, vključno z validatorji in definicijami tipov. Na seji je bila opisana možnost, ki omogoča vključitev več tipov, zlasti ko ekipe želijo izpostaviti javne tipe, ki se morda ne pojavijo neposredno v podpisu validatorja. To izboljšuje povezavo med kodami pogodb na veriženju in zunajverižnimi sistemi, ki z njimi komunicirajo.

Obstajajo tudi izboljšave LSP v zvezi s predlogi uvoza. Prej je lahko jezikovni strežnik spodletel pri predlaganju modulov, če ti še niso bili nekje uvoženi v kodi, zaradi načina, kako obrezovanje modulov vpliva na njihovo odkrivanje. Predogled delo obravnava tovrstna vsakodnevna trenja. To je majhna izboljšava na papirju, a naredi razvojno okolje manj krhko.

Aikenov prevajalnik prav tako dobiva optimizacije pri generiranju kode. Seja je pojasnila, da lahko prevajalnik zdaj obravnava določene simetrične operacije bolj inteligentno z razporejanjem konstantnih argumentov, kjer je to primerno, in tako pomaga optimizacijo generirati manjši ali bolj učinkovit izhod. V enem primeru, povezanem z delom CIP 113, je govornik omenil zmanjšanje za okoli 100 bajtov pri programu velikosti 5 kB. Ta številka ne bo očarala ležernih opazovalcev, vendar ekipe za pametne pogodbe razumejo, da se previdna zmanjšanja kopičijo.

Zakaj je Aiken pomemben za razvijalsko plast Cardana

Večja zgodba ni le, da je Aiken prejel še eno posodobitev. Večja zgodba je, da se razvijalska plast Cardana izboljšuje prek številnih majhnih, praktičnih sprememb, ki zmanjšujejo trenje tam, kjer ga graditelji dejansko čutijo.

Aiken je postal eno ključnih orodij v Cardano ekosistemu pametnih pogodb, ker razvijalcem omogoča dostopnejši način pisanja validatorjev in hkrati cilja na Plutus. Na seji je ekipa potrdila združljivost s Plutusom V3 in razpravljala o prihodnjih premislekih v zvezi s Plutusom V4. Razprava o Plutusu V4 je bila previdna, ne promocijska. Sporočilo ni bilo, da prihaja velika takojšnja sprememba, temveč da je Aiken vzdrževan s prihodnjo smerjo protokola in knjige zapisov v mislih.

Ta previdnost je koristna. Cardano ima navado tehnične načrtovalske točke prehitro spremeniti v tržne naracije. Pri Aikenu je boljša interpretacija operativna. Razvijalci dobivajo boljše primitive, čistejši izhod, močnejše vedenje prevajalnika in pot proti bolj prilagodljivi integraciji.

Eden najbolj zanimivih delov seje, usmerjenih v prihodnost, je bila razprava o WebAssemblyju in dostopu do prevajalnikov, temelječem na brskalniku. Govornik je pojasnil, da je poudarek na izpostavitvi Aikenovega prevajalnika prek API-ja, ne na spreminjanju zgodbe o navideznih strojih. Cilj je praktičen, omogočiti prevajanje v brskalniških okoljih, podpirati interaktivne odlomke kode v dokumentaciji in odpreti vrata integracijam, kot so delovni tokovi temelječi na beležkah.

To bi lahko postalo pomembno za izobraževanje, revizije, dokumentacijo, predstavitve in vključevanje razvijalcev. Če lahko primeri pametnih pogodb Cardana postanejo interaktivni v dokumentaciji, lahko razvijalci hitreje eksperimentirajo z Aikenovo kodo in razumejo obnašanje pogodb, ne da bi najprej nastavili celotno lokalno okolje. To ne nadomešča resnega razvoja, vendar zmanjšuje prvo oviro za učenje.

Za Cardano je pomen teh posodobitev v tem, da Aiken nenadoma ne reši vsakega problema izkušnje razvijalcev. Ne reši. Varnost pri razvoju pametnih pogodb ostaja težavna, in model Cardano še vedno zahteva disciplino. Pomembna točka je, kje se izboljšave dogajajo: zmogljivost standardne knjižnice, kakovost prevajalnika, jasnost testov, generiranje kode, možnosti dokumentacije in združljivost s Plutusom.

Zadnje posodobitve Aikena so zato vzdrževanje s strateško vrednostjo. Pametni razvoj pametnih pogodb na Cardanu postane manj grob na robovih in bolj uporaben za ekipe, ki potrebujejo zanesljivo orodje, ne pa parol. Za ekosistem, ki ga zunaj pogosto sodijo po gibanju cen ali aktivnostih s ključnimi naslovi, je to tišji, vendar bolj vzdržen signal: Cardanova plast gradnikov se še vedno izostruje tam, kjer je koda dejansko napisana.