Nova knjižnica pametnih pogodb za Cardano presega prvotni cilj

Pobuda ContractsLibrary za Cardano je pripravila šest večkrat uporabnih pametnih pogodb in tako presegla prvotni cilj petih. Robertino Martinez, ki pri AlwaysTrue vodi pobudo Developer Experience, je napredek predstavil med razpravo X Space Decentralizing Cardano’s Core Development.

Knjižnica želi razvijalcem ponuditi komponente pametnih pogodb, pripravljene za vključitev, namesto da bi morali pogosto uporabljene funkcionalnosti graditi od začetka. Po navdihu pristopa OpenZeppelin v ekosistemu Ethereum projekt združuje kodo na verigi, orodja za sestavljanje transakcij, tehnične specifikacije in formalno preverjanje.

Šest pogodb je doseglo zaključno fazo pregleda kode in specifikacij. Martinez je poudaril, da varnostne revizije še niso zaključene in da jih za zdaj ne gre uvajati v glavno omrežje Cardano.

Šest pogodb se približuje javnemu testiranju

Za ContractsLibrary je bilo sprva pričakovano, da bo dostavila pet večkrat uporabnih pametnih pogodb. Po besedah Martineza je razvojna ekipa pripravila šest in začela zaključna preverjanja kakovosti pred širšim testiranjem v skupnosti.

Pobuda se osredotoča na celovite, na aplikacije usmerjene komponente in ne na izolirane programske funkcije. Razvijalci naj bi lahko obstoječe pogodbe konfigurirali, prilagodili njihovo izvorno kodo ali kombinirali komponente, da bi izpolnili različne zahteve aplikacij.

Knjižnica se opira na razvojne vzorce, ki so v ekosistemu Cardano že uveljavljeni, vključno z delom skupine Anastasia Labs.

Martinez je tudi potrdil, da je skupina za visoko stopnjo zanesljivosti začela z delom na formalnem preverjanju. Začetni poudarek je na lastnostih, ki so skupne pogodbam, temu pa bo sledilo preverjanje posameznih implementacij.

Razlikovanje med zaključenim razvojnim delom in pripravljenostjo za produkcijo ostaja pomembno. Šest pripravljenih pogodb ne pomeni, da je šest revidiranih ali formalno preverjenih pogodb že na voljo za neomejeno uporabo.

Razvojni sklop po navdihu OpenZeppelin za Cardano

OpenZeppelin je postal široko uporabljan vir za večkrat uporabne komponente pametnih pogodb v omrežju Ethereum in drugih ekosistemih EVM. ContractsLibrary želi ponuditi primerljiv razvojni vir, prilagojen razširjeni arhitekturi UTxO za Cardano.

Vsaka implementacija je zasnovana tako, da združuje več povezanih elementov.

Komponenta na verigi uporablja Aiken za določanje pravil, ki jih uveljavlja knjiga verige omrežja Cardano. Gradniki transakcij izven verige, vključno s podporo za MeshJS in Tx3, pomagajo aplikacijam sestaviti transakcije, potrebne za interakcijo s temi validatorji.

Tehnične specifikacije opisujejo predvideno vedenje vsake pogodbe, testiranje in formalno preverjanje pa ponujata dodatne načine za oceno, ali implementacije izpolnjujejo določene zahteve.

Projekt uporablja tudi Lean 4 za strojno preverjene dokaze izbranih lastnosti pogodb.

Ta integrirana struktura naslavlja praktičen izziv pri razvoju na Cardano, gradnja decentralizirane aplikacije pogosto zahteva usklajevanje validacije pametnih pogodb z izgradnjo transakcij izven verige.

S povezovanjem komponent želi ContractsLibrary zmanjšati ponavljajoče se razvojno delo in olajšati vključevanje pogostih vzorcev pogodb v nove aplikacije.

[NEWSBREAK]

Varnostni pregledi ostajajo zadnja zahteva

ContractsLibrary je del širše pobude Developer Experience, ki je prešla z družbe Input Output na AlwaysTrue pod nadaljnjim vodstvom Martineza.

Pobuda vključuje tudi druga orodja, na primer cardano-init, ki pomaga razvijalcem ustvariti povezano razvojno okolje za Cardano.

Za ContractsLibrary so neposredne prednostne naloge zaključiti preverjanja kakovosti kode, omogočiti dostopnost implementacij za testiranje in nadaljevati formalno preverjanje.

Martinez je razvijalcem svetoval, naj začetno izdajo obravnavajo kot priložnost za testiranje in ne kot za produkcijo pripravljeno knjižnico. Kot dodaten razlog za previdnost je navedel tudi bližajoči se hard fork Dijkstra, medtem ko se razvojna orodja za Cardano prilagajajo prihajajočim spremembam protokola.

Projekt razlikuje med pogodbami, pripravljenimi za varnostne revizije, in tistimi, ki so zaključile zahtevane preglede in dosegle stabilno stanje.

Javni repozitorij projekta ponuja kodo in razvojno dokumentacijo, vendar razpoložljivi materiali ne potrjujejo, da je vseh šest pogodb izdano kot stabilne implementacije.

Posodobitev, ki jo je podal Martinez, tako predstavlja konkreten mejnik v razvoju, ekipa je pripravila eno pogodbo več, kot je bilo prvotno načrtovano. Javno testiranje, posamezna preverjanja in zahtevane varnostne revizije ostajajo ločeni koraki, preden je mogoče te implementacije obravnavati kot komponente, pripravljene za produkcijsko rabo.