Įdiegtos sutarties nebegalima ramiai pataisyti, kai patogu. Jos kodas viešas, jos lėšoms pasiekti užtenka vienos transakcijos, o trūkumu pasinaudoja tas, kas jį perskaito pirmas. Auditas turi būti atliktas prieš diegimą, ir jį turi atlikti žmonės, kurie perskaito kiekvieną eilutę.
Du auditoriai kodą peržiūri nepriklausomai vienas nuo kito, tada palygina rezultatus. Jiems padeda automatinė analizė ir fuzz testavimas, tačiau svarbūs radiniai atsiranda suprantant, ką protokolas žada, ir ieškant būsenos, kurioje tas pažadas sulaužomas. Sutartys yra tik viena rizikos dalis: kartu su jomis peržiūrimi raktai, atnaujinimo teisės ir už blokų grandinės ribų veikiantys komponentai.
01Apimtis
Ką testuojame
Prieigos kontrolė, nuosavybė ir privilegijuotos funkcijos
Pakartotinis įėjimas (angl. reentrancy), nepatikrinti išoriniai kvietimai ir atgalinių kvietimų elgsena
Aritmetika, apvalinimas, tikslumo praradimas ir matavimo vienetų tvarkymas
Ekonominė logika: kainų orakulai, greitosios paskolos (angl. flash loans), kainos nuokrypis (angl. slippage), likvidavimas, atlygių apskaita
Atnaujinamumas: tarpinės sutartys (angl. proxies), saugyklos išdėstymas, inicializatoriai
Parašai: pakartotinis panaudojimas, keičiamumas (angl. malleability), „permit“ srautai, domenų atskyrimas
Žinučių perdavimas tarp grandinių ir tiltai
Paslaugos trikdymas: dujų (angl. gas) limitai, neriboti ciklai, kenkimas kitiems naudotojams (angl. griefing)
Diegimo scenarijai, administravimo raktai ir kelių parašų konfigūracija
02Darbo eiga
Kaip atliekamas darbas
01
Specifikacija
Nustatome, kokias savybes protokolas turi išlaikyti. Jei specifikacijos nėra, invariantus užrašome ir suderiname su jumis.
02
Nepriklausoma rankinė peržiūra
Du auditoriai atskirai skaito kodą eilutė po eilutės. Jų pastabos sujungiamos tik tada, kai abu baigia darbą.
03
Automatinė analizė
Statinė analizė, fuzz testavimas ir invariantų testai vykdomi pagal suderintas savybes. Audito metu parašyti testai perduodami jums.
04
Pataisymų peržiūra
Jūsų pataisymai peržiūrimi pagal pirminius radinius. Galutinėje ataskaitoje nurodoma audituota kodo versija (angl. commit) ir versija, kurioje išspręsta kiekviena problema.
Ne, ir niekas negali sąžiningai to garantuoti. Auditas yra laiko apribota konkrečios kodo versijos peržiūra. Jis gerokai sumažina riziką ir dokumentuoja, kas buvo išnagrinėta. Ataskaitoje tai pasakyta paprastais žodžiais.
Su kokiomis kalbomis ir grandinėmis dirbate?
Darbo pagrindas – „Solidity“ ir „Vyper“ EVM grandinėse. Dėl kitų kalbų ir virtualiųjų mašinų nustatydami apimtį patvirtiname, ar turime tinkamų specialistų, o jei neturime, atsisakome.
Ar audito metu kodas gali keistis?
Auditas susietas su įšaldyta kodo versija. Audito metu atlikti pakeitimai peržiūrimi kaip atskira apimtis, antraip ataskaita aprašytų kodą, kurio nebėra.
Ar paskelbsite ataskaitą?
Tik jei to paprašysite. Paskelbtoje ataskaitoje yra visas radinių sąrašas su galutine jų būsena; sutrumpintų versijų, kuriose praleidžiamos problemos, nerengiame.