Čo je Integer Overflow Attack?
Integer Overflow Attack nastáva, keď číslo v programe dosiahne svoju maximálnu hodnotu a vrátia sa späť, čo útočníkovi umožní zmeniť zostatky alebo limity. V kryptomene môže taký wraparound premeniť kontrolu typu „máš dosť tokenov?“ na áno, aj keď by mala byť odpoveď nie. Predstavte si starý tachometer auta, ktorý skáče z 999999 na 000000, ale s peniazmi v hre.
„Moderné prekladače robia toto nemožným.“ Nie celkom. Veľa smart kontraktov stále používa nekontrolovanú aritmetiku na miestach, vlastnú matematiku alebo assembler, ktoré môžu znovu zaviesť chyby spôsobujúce prekročenie.
Ako Integer Overflow Attack funguje
Tu je rýchly prehľad s tokenovým kontraktom ako scénou.
- Krok 1: Kontrakt ukladá zostatky s pevnou veľkosťou celých čísel a má funkciu, ktorá sčíta, odčíta alebo vynásobí sumy.
- Krok 2: Útočník zvolí vstupy, ktoré posunú číslo za svoje maximum, čo spôsobí wraparound na malú alebo nulovú hodnotu.
- Krok 3: Tento wraparound otestuje kontrolu. Príklad: po wrapine zostatok vyzerá obrovský alebo limit prenosu vyzerá malý, takže test require prejde.
- Krok 4: Útočník mintuje nezaslúžené tokeny, obíde strop alebo presunie prostriedky, ktoré by nemal mať možnosť pohybovať.
- Krok 5: Presúria zisky cez obchody alebo mostíky a odídu skôr, než si to niekto uvedomí.
Skutočný príbeh: niekoľko ERC 20 tokenov malo raz dávku chyby prekročenia, ktorá umožnila útočníkom mintovať absurdné zásoby a potom ich predať na burzách. Áno, to sa stalo.
Prečo naozaj stojí za to pozrieť sa na Integer Overflow Attack
Ak držíte tokeny, budujete aplikácie alebo obchodujete DeFi, mali by ste to brať vážne. Ide o čísla a čísla riadia crypto.
- Výhodou: Poznať, ako to funguje, vám pomôže včas rozpoznať varovné signály a chrániť svoje hotovosť.
- Perspektíva: Aritmetické chyby sú nadčasové. Objavia sa nové reťazce a nástroje, ale matematické omyly stále riešia profesionáli.
- Relevantnosť: Uvidíte ich v matematike množstva tokenov, systémoch odmien, počítadkách NFT a v obľúbených dApps, ktoré si hrajú s používateľskými zostatkami.
V Solidity udržujte aritmetiku ako predvolenú a nechajte blocks unchecked malé a preverené. Pridajte fuzz testy, ktoré skúsia extrémne hodnoty, nielen šťastné cesty.
Kľúčové charakteristiky Integer Overflow Attack
Čo ho odlišuje od iných chýb:
- Wraparound: Čísla skáču z maxima späť na nulu ako slučka.
- Tiché: Žiadna natívna chyba, ak je matematika nekontrolovaná, takže zlyhania vyzerajú ako legitímne výsledky.
- Spúšťateľné: Často vstupy pod kontrolou používateľa môžu vyvolať presný okamih, keď sa to stane.
- Opakovateľné: Po nájdení môžu útočníci skriptovať a spúšťať to na viacerých cieľoch.
Variácie
Hlavné odrody, ktoré najčastejšie zaslechnete, rovnaká rodina, rôzne cesty:
- Underflow: Odčítanie klesá pod nulu a wrapuje na obrovskú hodnotu.
- Addition: Pridávanie k zostatku alebo zásobe to preberie maximu a opäť na malé čísla.
- Multiplication: Odmenové multiplikátory alebo škálovacie faktory explodujú hodnotu nad limity.
- Counter: Token ID alebo počítadlá zásob sa prevrátia a umožnia mintovanie po rozpätí.
Integer Overflow Attack nie je len Solidity záležitosť. Môže sa objaviť vo Vyper, Rust, Move alebo v custom architektúre a mnoho verejne známych zraine vychádzalo z nekontrolovanej matematiky okolo zostatkov alebo zásob.
Príklad
Funkcia odmien vynásobí číslo zadané používateľom veľkým bonusom, hodnota sa wrapne, kontrola kapacity prejde a Integer Overflow Attack umožní útočníkovi mintovať oveľa viac tokenov, než bolo zamýšľané.
Zábavný fakt
Arkádová klasika s úrovňou 256 battle? Tá známa zamrznutia pri leveli pochádza z integer overflow, čo dokazuje, že aj retro hry môžu neúmyselne predviesť kryptomenové chyby.
Zhrnutie
Predstavte si Integer Overflow Attack ako čísla, ktoré urobia kompletnú osľapku a zlodeji medzi nimi prebehnú; držte matematiku pod kontrolou a budete spať lepšie.