Revisjon av smartkontrakter og protokollogikk linje for linje før utrulling: manuell gjennomgang, testing av invarianter og gjennomgang av utbedringene.
En kontrakt som er rullet ut, kan ikke rettes en rolig ettermiddag. Koden er offentlig, midlene er én transaksjon unna, og en feil utnyttes av den som leser den først. Revisjonen må skje før utrulling og må gjøres av folk som leser hver linje.
To revisorer gjennomgår koden uavhengig av hverandre og sammenligner deretter resultatene. Automatisert analyse og fuzzing støtter dem, men funnene som betyr noe, kommer av å forstå hva protokollen lover, og av å lete etter tilstanden der løftet brytes. Kontraktene er én del av risikoen: Nøkler, oppgraderingsrettigheter og komponenter utenfor kjeden gjennomgås sammen med dem.
01Omfang
Hva vi tester
Tilgangskontroll, eierskap og privilegerte funksjoner
Reentrancy, ukontrollerte eksterne kall og oppførsel ved tilbakekall
Aritmetikk, avrunding, tap av presisjon og håndtering av enheter
Økonomisk logikk: prisorakler, flash loans, slippage, likvidering, beregning av belønninger
Utrullingsskript, administrative nøkler og oppsett av multisignatur
02Fremgangsmåte
Slik utføres arbeidet
01
Spesifikasjon
Vi fastslår hva protokollen skal garantere. Der det ikke finnes noen spesifikasjon, skriver vi ned invariantene og avtaler dem med deg.
02
Uavhengig manuell gjennomgang
To revisorer leser koden linje for linje, hver for seg. Notatene deres slås sammen først når begge er ferdige.
03
Automatisert analyse
Statisk analyse, fuzzing og invarianttester kjøres mot de avtalte egenskapene. Tester som skrives under revisjonen, overleveres.
04
Gjennomgang av utbedringer
Utbedringene dine gjennomgås mot de opprinnelige funnene. Sluttrapporten angir hvilken commit som ble revidert, og hvilken commit hvert problem ble løst i.
Poengsum og vektor for alvorlighetsgraden til hvert funn.
FIRST
06Spørsmål
Spørsmål om denne tjenesten
Garanterer en revisjon at kontrakten er sikker?
Nei, og ingen kan ærlig gi den garantien. En revisjon er en tidsavgrenset gjennomgang av en bestemt commit. Den reduserer risikoen vesentlig og dokumenterer hva som ble undersøkt. Rapporten sier dette med rene ord.
Hvilke språk og kjeder arbeider dere med?
Solidity og Vyper på EVM-kjeder er kjernen i arbeidet. For andre språk og virtuelle maskiner bekrefter vi under avklaringen av omfanget om vi har de rette spesialistene, og takker nei når vi ikke har det.
Kan koden endres under revisjonen?
Revisjonen er knyttet til en låst commit. Endringer som gjøres under revisjonen, gjennomgås som et eget omfang, ellers ville rapporten beskrive kode som ikke lenger finnes.
Kommer dere til å publisere rapporten?
Bare hvis du ber oss om det. En publisert rapport inneholder hele listen over funn med den endelige statusen; vi utgir ikke forkortede versjoner som utelater problemer.