UPLC Link provjerava Cardano ugovore u odnosu na objavljeni kod

UPLC Link omogućuje korisnicima Cardana provjeriti odgovara li implementirani pametni ugovor izvornom kodu koji je za njega objavljen. Platforma otvorenog koda ponovno izgrađuje ugovore i uspoređuje njihove kriptografske otiske. Putem Cexplorera korisnici mogu pristupiti repozitoriju i informacijama o izgradnji povezanim sa skriptom koju pregledavaju.

Cexplorer povezuje Cardano skripte s njihovim izvorom

Opcija Cexplorera “Verify Source” povezuje pregled ugovora s UPLC Linkom te omogućuje pristup izvornom repozitoriju, točnoj reviziji koda, verziji kompajlera i parametrima ugovora.

Giovanni Gargiulo, Senior Blockchain Architect at the Cardano Foundation, demonstrirao je tijek rada tijekom Developers Office Hours 25. rujna. Sažetak sesije objavljen 7. listopada dokumentirao je integraciju i planove za proširenje podrške za kompajlere.

Alat adresira jaz između objave koda i utvrđivanja onoga što se pokreće na lancu. Projekt može objaviti svoj izvorni kod i naručiti reviziju, ali korisnicima i dalje treba način da utvrde da implementirani ugovor odgovara pregledanoj verziji.

Za aplikacije koje rade s ADA i drugom imovinom na Cardanu, ovo povezuje pravila dostupna za uvid sa skriptama koje upravljaju zamjenama, zajmovima ili zaključanim sredstvima. Potvrda izvornog koda uspostavlja tu vezu, a sigurnosna revizija procjenjuje kod zbog ranjivosti.

Ponovna izgradnja ugovora stvara podudaranje koje se može provjeriti

Pametni ugovori na Cardanu izvršavaju se kao kompajlirani Untyped Plutus Core odnosno UPLC. Njihovi heševi skripti identificiraju kompajlirane programe bez otkrivanja koja je revizija izvornog koda ili koje su postavke izgradnje proizvele te programe.

UPLC Link započinje s određenim GitHub commitom i verzijom kompajlera. Gradi izvorni kod, izračunava pripadne heševe skripti i uspoređuje ih s očekivanim identifikatorima na lancu.

Platforma također podržava parametrizirane ugovore, čiji konačni oblik ovisi o vrijednostima unesenima tijekom postavljanja. Razvojitelji mogu unijeti te vrijednosti kroz sučelje, uključujući reference na druge skripte, i ponovno izračunati rezultat.

Podudaranje zahtijeva točan izvorni kod, kompajler i parametre.

Javno sučelje trenutačno nosi oznaku alpha i podržava Aiken ugovore. U prezentaciji je opisan rad na podršci za Scalus, Plutarch i plu-ts te planirano povezivanje s Blasterom za automatiziranu formalnu verifikaciju svojstava ugovora.

Ova proširenja proširila bi pokrivenost platforme izvan njezina trenutačnog Aiken tijeka rada.

Zapisi na lancu podržavaju neovisnu provjeru

CIP-0171 predlaže zajednički format metapodataka za bilježenje informacija potrebnih za reproduciranje izgradnje Cardano ugovora. Koristi oznaku metapodataka transakcije 1984 za identifikaciju izvornog repozitorija, revizije koda, kompajlera, okruženja izgradnje i parametara.

Izvorni kod ostaje u svom repozitoriju, dok blockchain čuva upute za izgradnju. Revizori i istraživači mogu objavljivati zapise neovisno o izvornom implementatoru, zatim ih testirati ponovnom izgradnjom referenciranog koda i provjerom dobivenog heša.

Specifikacija i dalje ostaje prijedlog u službenom CIP registru. Njezin format prilagođen je nekoliko obitelji kompajlera, pri čemu svaki alat za verifikaciju određuje koje podržava.

UPLC Link već nudi registraciju putem potpisane Cardano transakcije, pri čemu se mrežna naknada plaća u ADA. Njegov pozadinski sustav indeksira predane zapise za pronalaženje kroz javni registar. Projekt također pruža API za druge usluge i objavljuje upute za lokalno pokretanje platforme.

Za registrirani ugovor recenzenti mogu krenuti od njegove adrese ili heša skripte, dohvatiti zabilježene pojedinosti o izgradnji i sami provjeriti vezu s izvorom. Timovi aplikacija mogu uz svoj kod i revizijska izvješća priložiti taj reproducibilni zapis.