UPLC Link preverja pametne pogodbe Cardano glede na objavljeno kodo

UPLC Link uporabnikom Cardano omogoča preveriti, ali nameščena pametna pogodba ustreza objavljeni izvorni kodi. Odprtokodna platforma ponovno izdela pogodbe in primerja njihove kriptografske prstne odtise. Prek Cexplorer lahko uporabniki dostopajo do repozitorija in informacij o gradnji, povezanih s skriptom, ki ga pregledujejo.

Cexplorer povezuje skripte Cardano z njihovim izvorom

Možnost Cexplorer "Verify Source" poveže pregled pogodbe z UPLC Link in omogoči dostop do izvornega repozitorija, natančne revizije kode, različice prevajalnika in parametrov pogodbe.

Giovanni Gargiulo, višji arhitekt verige blokov pri Cardano Foundation, je potek dela prikazal med Developers Office Hours 25. septembra. Povzetek seje, objavljen 7. oktobra, je dokumentiral integracijo in načrte za razširitev podpore prevajalnikom.

Orodje naslavlja vrzel med objavo kode in ugotavljanjem, kaj dejansko teče na verigi. Projekt lahko objavi izvorno kodo in naroči revizijo, vendar uporabniki še vedno potrebujejo način, da ugotovijo, ali nameščena pogodba ustreza pregledani različici.

Za aplikacije, ki obravnavajo ADA in druga sredstva Cardano, to poveže pravila, ki so na voljo za pregled, s skriptami, ki urejajo zamenjave, posojila ali zaklenjena sredstva. Preverjanje izvorne kode vzpostavi to povezavo, varnostna revizija pa oceni kodo za ranljivosti.

Ponovna izdelava pogodb ustvari preverljivo ujemanje

Pametne pogodbe Cardano se izvajajo kot prevedeni Untyped Plutus Core ali UPLC. Zgoščitve skriptov identificirajo prevedene programe, ne da bi razkrile, katera revizija izvorne kode ali nastavitve gradnje so jih ustvarile.

UPLC Link začne z določenim GitHub commit in različico prevajalnika. Zgradi izvorno kodo, izračuna nastale zgoščitve skriptov in jih primerja s pričakovanimi identifikatorji na verigi.

Platforma podpira tudi parametrizirane pogodbe, katerih končna oblika je odvisna od vrednosti, podanih med nastavitvijo. Razvijalci lahko te vrednosti vnesejo prek vmesnika, vključno s sklici na druge skripte, in ponovno izračunajo rezultat.

Ujemanje zahteva pravilno izvorno kodo, prevajalnik in parametre.

Javni vmesnik je trenutno označen kot alpha in podpira pogodbe Aiken. Predstavitev je opisala delo v smeri podpore za Scalus, Plutarch in plu-ts, skupaj z načrtovano povezavo z Blaster za avtomatizirano formalno verifikacijo lastnosti pogodb.

Te razširitve bi razširile pokritost platforme onkraj njenega trenutnega poteka dela Aiken.

Zapisi na verigi podpirajo neodvisno preverjanje

CIP-0171 predlaga skupni format metapodatkov za beleženje informacij, potrebnih za reproduciranje gradnje pogodbe Cardano. Uporablja oznako metapodatkov transakcije 1984 za identifikacijo izvornega repozitorija, revizije kode, prevajalnika, okolja za gradnjo in parametrov.

Izvorna koda ostane v svojem repozitoriju, medtem ko veriga blokov ohranja navodila za gradnjo. Revizorji in raziskovalci lahko zapise objavijo neodvisno od prvotnega izvajalca, nato pa jih preizkusijo tako, da ponovno zgradijo referencirano kodo in preverijo nastalo zgoščitev.

Specifikacija v uradnem registru CIP ostaja predlog. Njen format podpira več družin prevajalnikov, pri čemer vsako orodje za preverjanje določa, katere podpira.

UPLC Link že omogoča registracijo prek podpisane transakcije Cardano, pri čemer je omrežnina plačana v ADA. Njegov zaledni del indeksira poslane zapise za odkrivanje prek javnega registra. Projekt ponuja tudi API za druge storitve in objavlja navodila za lokalni zagon platforme.

Pri registrirani pogodbi lahko pregledovalci začnejo z njenim naslovom ali zgoščitvijo skripta, pridobijo zabeležene podrobnosti gradnje in sami preverijo povezavo z izvorno kodo. Ekipe aplikacij lahko ta reproducibilen zapis priložijo svoji kodi in revizijskim poročilom.