Nova biblioteka pametnih ugovora za Cardano premašila je izvorni cilj

Inicijativa ContractsLibrary za Cardano pripremila je šest višekratno upotrebljivih pametnih ugovora, čime je premašila izvorni cilj od pet. Robertino Martinez, koji vodi inicijativu Developer Experience u AlwaysTrue, otkrio je napredak tijekom X Space rasprave Decentralizing Cardano’s Core Development.

Cilj biblioteke je ponuditi programerima komponente pametnih ugovora spremne za integraciju umjesto da moraju graditi uobičajenu funkcionalnost od početka. Nadahnuta pristupom OpenZeppelin u ekosustavu Ethereum, projekt spaja kod na lancu, alate za izgradnju transakcija, tehničke specifikacije i formalnu verifikaciju.

Šest ugovora stiglo je u završnu fazu pregleda koda i specifikacija. Robertino Martinez je naglasio da sigurnosne revizije nisu dovršene i da ih još ne bi trebalo implementirati na Cardano mainnet.

Šest ugovora ide prema javnom testiranju

Za ContractsLibrary se izvorno očekivalo da isporuči pet višekratno upotrebljivih pametnih ugovora. Prema Robertino Martinez, razvojni tim pripremio je šest i započeo završne provjere kvalitete prije šireg testiranja u zajednici.

Inicijativa se usredotočuje na cjelovite komponente usmjerene na aplikacije, a ne na izolirane programske funkcije. Programeri bi trebali moći konfigurirati postojeće ugovore, prilagoditi njihov izvorni kod ili kombinirati komponente kako bi ispunili različite zahtjeve aplikacija.

Biblioteka se oslanja na razvojne obrasce već uspostavljene u ekosustavu Cardano, uključujući rad Anastasia Labs.

Robertino Martinez je također potvrdio da je tim s visokim jamstvima započeo rad na formalnoj verifikaciji. Početni fokus su svojstva zajednička svim ugovorima, nakon čega slijedi verifikacija pojedinačnih implementacija.

Razlika između dovršenog razvojnog rada i spremnosti za produkciju ostaje važna. Šest pripremljenih ugovora ne znači da su već dostupni za neograničenu uporabu kao šest revidiranih ili formalno verificiranih ugovora.

Razvojni stog za Cardano nadahnut OpenZeppelin

OpenZeppelin je postao široko korišten izvor za višekratno upotrebljive komponente pametnih ugovora u Ethereum i drugim EVM ekosustavima. ContractsLibrary nastoji ponuditi usporediv razvojni resurs prilagođen proširenoj UTxO arhitekturi Cardano.

Svaka implementacija osmišljena je da objedini nekoliko povezanih elemenata.

Komponenta na lancu koristi Aiken za definiranje pravila koja provodi glavna knjiga Cardano. Komponente za izgradnju transakcija izvan lanca, uključujući podršku za MeshJS i Tx3, pomažu aplikacijama konstruirati transakcije potrebne za interakciju s tim validatorima.

Tehničke specifikacije opisuju namijenjeno ponašanje svakog ugovora, dok testiranje i formalna verifikacija pružaju dodatne načine za procjenu ispunjavaju li implementacije definirane zahtjeve.

Projekt također koristi Lean 4 za strojno provjerene dokaze odabranih svojstava ugovora.

Ova integrirana struktura rješava praktičan izazov u razvoju za Cardano, izgradnja decentralizirane aplikacije često zahtijeva usklađivanje validacije pametnog ugovora s izradom transakcija izvan lanca.

Pružanjem povezanih komponenti, ContractsLibrary nastoji smanjiti ponavljajući razvojni rad i olakšati integraciju uobičajenih obrazaca ugovora u nove aplikacije.

[NEWSBREAK]

Sigurnosne provjere ostaju završni zahtjev

ContractsLibrary je dio šire inicijative Developer Experience, koja je prešla iz Input Output u AlwaysTrue uz stalno vodstvo Robertino Martinez.

Inicijativa uključuje i druge alate kao što je cardano-init, koji pomaže programerima generirati povezane razvojne okoline za Cardano.

Za ContractsLibrary neposredni su prioriteti dovršiti provjere kvalitete koda, učiniti implementacije dostupnima za testiranje i nastaviti formalnu verifikaciju.

Robertino Martinez savjetovao je programerima da početno izdanje tretiraju kao priliku za testiranje, a ne kao biblioteku spremnu za produkciju. Također je naveo nadolazeći Dijkstra hard fork kao dodatni razlog za oprez dok se razvojni alati za Cardano prilagođavaju nadolazećim promjenama protokola.

Projekt razlikuje ugovore pripremljene za sigurnosne revizije od onih koji su dovršili potrebne provjere i dosegli stabilan status.

Njegovo javno spremište pruža kod i razvojnu dokumentaciju, no dostupni materijali ne potvrđuju da je svih šest ugovora objavljeno kao stabilne implementacije.

Ažuriranje koje je dao Robertino Martinez stoga predstavlja konkretnu razvojnu prekretnicu, tim je pripremio jedan ugovor više nego što je izvorno planirano. Javno testiranje, pojedinačna verifikacija i potrebne sigurnosne provjere ostaju odvojeni koraci prije nego se te implementacije mogu smatrati komponentama spremnima za produkciju.