Hvorfor du har brug for en smart kontraktsikkerhedsrevision

Hvorfor du har brug for en smart kontraktsikkerhedsrevision

Smart kontraktsikkerhedsaudit hjælper dig med at identificere potentielle sikkerhedssårbarheder i dit system. De giver dig mulighed for at løse disse sårbarheder, før en ondsindet part udnytter dem og ødelægger din platform.





Men med sådan ny teknologi kan du undre dig over, hvad en smart kontraktrevision er, hvorfor en smart kontraktrevision er vigtig, og om du virkelig har brug for en smart kontraktrevision.





MAKEUSE AF DAGENS VIDEO

Hvad er en smart kontraktrevision?

  To mennesker brainstormer over et papir nær to åbne bærbare computere

En smart kontraktrevision er en grundig, systematisk inspektion og analyse af koden brugt af en smart kontrakt at interagere med en kryptovaluta eller blockchain. Denne proces bruges til at finde fejl, tekniske problemer og sikkerhedshuller i koden. Med dette kan smarte kontraktrevisionseksperter anbefale løsninger og foretage ændringer. Smart kontraktrevision er typisk påkrævet, fordi de fleste kontrakter omhandler værdifulde genstande og finansielle aktiver.





En smart kontraktrevision giver ikke en 100 % garanti for, at kontrakten vil være fri for fejl eller sårbarheder. Det sikrer dog, at den smarte kontrakt er sikker, efter at den er blevet evalueret af en teknisk ekspert.

Cyberangreb på blockchains og smarte kontrakter

Byrden påhviler blockchain-udviklere at finde sikkerhedssårbarheder og rette dem, før udnyttelserne bruges i virkelige angreb.



beskeder app fungerer ikke på mac

Ondsindede enheder bruger to hovedmetoder til at starte et vellykket angreb: Baiting og Reentrancy-angrebet. Den første er afhængig af sociale ingeniør-tricks som at overtale et offer til at sende kryptovaluta til angriberens tegnebog; den anden og mere vanskelige strategi kræver en omfattende forståelse af blockchain smarte kontrakter og relaterede elementer som side-chain og cross-chain wallets, samt kendskab til adskillige protokoller.

  Mand i sort hættetrøje ved hjælp af to macbooks

Her er tre bemærkelsesværdige blockchain-angreb.





Ormehul

Wormhole Bridge-hacket er det næststørste cryptocurrency-angreb til dato. Wormhole, en populær bro, der forbinder Ethereum og Solana blockchains, tabte omkring 0 millioner på et hack. Angriberen udnyttede et smuthul på broen til at stjæle 120k Wrapped Ether til en værdi af 3 millioner.

Angriberen var i stand til at præge omkring 20.000 wETH, en Ethereum-ækvivalent på Solana blockchain, til en værdi af 5 millioner på tidspunktet for hændelsen. Det gjorde de ved at forfalske en gyldig underskrift for en transaktion uden at stille sikkerhed.





Cream Financial

Hackere sugede omkring 130 millioner dollars i Ethereum-tokens ved at udnytte en fejl i Cream Finances flash-lånekontrakt. Cream Oracle-teknologien og dens metode til beregning af aktivpriser har betydelige begrænsninger.

Angriberen udnyttede begrænsningerne i prisberegninger lavet af smarte kontrakter brugt af CREAM Finances platform og ændrede prisen på yUSD-puljen brugt som sikkerhed, hvilket fik en 1 yUSD-aktie til at blive .

Som et resultat blev angriberens oprindelige indskud på ,5B i yUSD, ifølge Cream Finance, fordoblet. Hackeren konverterede derefter deres yUSD-indskud på Cream Finance til B og brugte B fortjenesten til at dræne projektets samlede likviditet.

Omvendt finans

Først trak angriberen 901 ETH tilbage fra Tornado Cash - en Ethereum-mixer. Derefter brugte angriberen SushiSwaps INV/WETH og INV/DOLA likviditetspuljer til at handle dem med INV. Bagefter pustede de prisen på INV op ved at bruge begge puljer registreret af Keep3r-prisoraklet, som overvågede INV-prisen. Dette gjorde det muligt for angriberen at hæve prisen på INV hos Inverse Finance og overtage et ,6 millioner INV-støttet lån i ETH, WBTC, YFI og DOLA.

Vigtigheden af ​​en smart kontraktsikkerhedsrevision

En sårbar smart kontrakt afspejler mere end blot et mangelfuldt programmeringsforsøg. Det kan plette en udviklers image og ødelægge projekter, der tog måneder eller år at lancere. Som et resultat er smart kontraktrevision nu en af ​​dem de udviklingstrin, programmører tager for hvert nyt projekt. Processen giver følgende fantastiske fordele:

  • Forbedret beskyttelse mod hackere
  • Forhindrer dyre smart kontraktkodefejl
  • Sikrere decentraliserede økonomiprodukter
  • Øget tillid til projektet og hele branchen
  • Højere troværdighed i en branche, der bliver mere konkurrencedygtig
  Gruppe af mennesker, der bruger bærbare computere

Udviklernes evne til at udføre bedre, mere varigt arbejde, som resulterer i sikrere produkter og applikationer, er muliggjort af denne smarte kontraktrevision. Derudover fungerer revisionsrapporten som en tredjepartseksperts godkendelsesstempel for et nyt projekt, som investorer og brugere kan stole på.

Den smarte kontraktsikkerhedsrevisionsproces

En smart kontraktrevision følger en stort set standardproces blandt revisionsudbydere. Selvom hver revisor kan have en noget anderledes tilgang, er standardproceduren som følger:

1. Definer revisionens omfang

Projektet (og dets tilsigtede anvendelse) og den overordnede arkitektur definerer den smarte kontrakt og projektspecifikationerne. En specifikation gør det muligt for auditteamet at forstå projektets mål, når de skriver og kører koden.

Den smarte kontraktspecifikation og anden relateret dokumentation giver detaljerede beskrivelser af projektets arkitektur, byggeproces og designbeslutninger. Normalt indeholder README-filen for projektet en beskrivelse af specifikationen.

2. Enhedstest

Her er det udviklerens ansvar at skrive unit test cases. Mens der køres enhedstest, tjekker revisoren for at se, om den smarte kontrakt fungerer efter hensigten. På dette tidspunkt anvender smarte kontraktrevisorer testnet- og revisionsværktøjer for at sikre, at enhedstestning dækker alle relevante risici.

Derudover giver tests smarte kontraktrevisorer adgang til uofficiel dokumentation, der giver yderligere detaljer om planlagt projektfunktionalitet.

3. Manuel revision

Den vigtigste del af revisionsprocessen. Revisoren kontrollerer hver linje i koden for fejl.

4. Automatiseret revision

Efter den manuelle revision foretager revisoren en detaljeret revision af koden ved hjælp af revisionsværktøjer som Slither, Scribble, Mythril og MythX. Revisorer anbefaler en smart kontraktrevision baseret på identificerede sårbarheder og kodeoptimering.

5. Indledende rapportering

Revisor laver et indledende udkast til rapporten, inklusive de fejl, de har fundet, og sender den derefter til projektudviklingsteamet for feedback og relevante rettelser.

tablet -berøringsskærm fungerer ikke korrekt

6. Slutrapport

Den sidste fase i den smarte kontraktrevisionsproces er den sidste skrivning af en revisionsrapport. Revisorerne bør gennemføre testene og manuelle og automatiske analyseprocesser, før de udarbejder en detaljeret revisionsrapport. De offentliggør den endelige rapport efter at have taget hensyn til de skridt, som teamet tog for at løse de rapporterede problemer.

Penetrationstest for smarte kontrakter

Ved at udføre penetrationstest kan du forhindre cybersikkerhedsrelaterede katastrofer, der kan skade din virksomheds omdømme og resultere i et stort økonomisk tab. Effektiv udnyttelse af intelligente kontraktsårbarheder vil muliggøre både påvisning af alvorlige sikkerhedssårbarheder og identifikation af potentielle indgangspunkter til informationssystemer.

  Mand skriver kode på to bærbare computere og projicerer på en skærm

Du kan udføre en smart kontraktgennemtrængningstest på tre måder.

Black Box test

I black box test , en penetrationstester, der tester en smart kontrakt i en 'sort boks', gør det uden at vide, hvordan det fungerer internt. En tester indtaster data og overvåger output genereret af den smarte kontrakt, der gennemgår testen. Dette giver mulighed for at identificere den smarte kontrakts responstid, brugervenlighed og pålidelighed, og hvordan kontrakten reagerer på uventede og forventede brugeraktiviteter.

Grå boks test

Gray box testing er en smart kontrakttestmetode, der bruges til at teste en smart kontrakt, mens man kun kender en del af dens interne struktur. Grå boks-test leder efter og lokaliserer sårbarheder forårsaget af dårlig, smart kontraktkodestruktur eller brug.

White Box Test

Hvid boks test analyserer en smart kontrakts interne strukturer i forhold til at teste en smart kontrakts funktionalitet. Det omtales også som klar bokstestning, gennemsigtig bokstestning, glasbokstestning og strukturel testning.

Formålet med denne test er at analysere hele systemet grundigt. Det bestemmer rækkevidden og skadeskapaciteten for en angribende part.

Smart Contract Security Audits er afgørende for DeFi- og NFT-projekter

Afslutningsvis har flere højtprofilerede projekter, der har mistet midler, fungeret som eksempler og gjort alle opmærksomme på det presserende behov for en god smart kontraktrevision. Men selvom du laver en smart kontraktrevision, er der ingen garanti for, at den smarte kontrakt altid vil være immun over for angreb.