Ett driftsatt kontrakt kan inte lappas en lugn eftermiddag. Dess kod är offentlig, dess medel ligger en transaktion bort, och en brist utnyttjas av den som läser den först. Granskningen måste göras före driftsättningen och av människor som läser varje rad.
Två granskare läser koden oberoende av varandra och jämför sedan resultaten. Automatiserad analys och fuzzing stöder dem, men de fynd som betyder något kommer från att förstå vad protokollet lovar och leta efter det läge där löftet bryts. Kontrakten är en del av risken: nycklar, uppgraderingsrättigheter och komponenter utanför kedjan granskas tillsammans med dem.
01Omfattning
Vad vi testar
Åtkomstkontroll, ägarskap och privilegierade funktioner
Reentrancy, okontrollerade externa anrop och beteende vid callbacks
Aritmetik, avrundning, precisionsförlust och hantering av enheter
Ekonomisk logik: prisorakel, flash loans, slippage, likvidation, beräkning av belöningar
Poäng och vektor för allvarlighetsgraden hos varje fynd.
FIRST
06Frågor
Frågor om den här tjänsten
Garanterar en granskning att kontraktet är säkert?
Nej, och ingen kan ärligt ge en sådan garanti. En granskning är en tidsbegränsad genomgång av en specifik commit. Den minskar risken väsentligt och dokumenterar vad som undersöktes. Rapporten säger det med tydliga ord.
Vilka språk och kedjor arbetar ni med?
Solidity och Vyper på EVM-kedjor är kärnan i arbetet. För andra språk och virtuella maskiner bekräftar vi när omfattningen fastställs om vi har rätt specialister, och vi tackar nej när vi inte har det.
Kan koden ändras under granskningen?
Granskningen är bunden till en fryst commit. Ändringar som görs under granskningen granskas som en separat omfattning, annars skulle rapporten beskriva kod som inte längre finns.
Kommer ni att publicera rapporten?
Bara om du ber oss om det. En publicerad rapport innehåller hela listan över fynd med deras slutliga status; vi ger inte ut förkortade versioner som utelämnar problem.