Ce este un atac prin depășire aritmetică?
Un atac prin depășire aritmetică are loc când valoarea numerică dintr-un program atinge valoarea maximă și revine la zero, permițând unui atacator să manipuleze solduri sau limite. În crypto, această revenire la zero poate transforma o verificare de tipul „ai suficiente tokenuri?” într-un răspuns afirmativ, deși ar trebui să fie negativ. Imaginează-ți kilometrajul unei mașini vechi care trece de la 999999 la 000000, dar cu bani în joc.
„Compilatoarele moderne fac acest lucru imposibil.” Nu chiar. Multe contracte inteligente folosesc încă, în anumite locuri, operații aritmetice fără verificări, calcule personalizate sau cod assembly care poate reintroduce vulnerabilități de tip overflow.
Cum funcționează atacul prin depășire aritmetică
Iată o scurtă explicație, folosind un contract de tokenuri drept exemplu.
- Pasul 1: Contractul stochează soldurile folosind numere întregi cu dimensiune fixă și are o funcție care adună, scade sau înmulțește valori.
- Pasul 2: Atacatorul alege valori care împing un număr peste valoarea maximă, făcându-l să revină la o valoare foarte mică sau aproape de zero.
- Pasul 3: Această revenire inversează rezultatul unei verificări. De exemplu, după revenirea la zero, soldul pare uriaș sau limita transferului pare foarte mică, așa că verificarea require trece.
- Pasul 4: Atacatorul creează tokenuri nemeritate, ocolește o limită sau transferă fonduri pe care nu ar trebui să le poată muta.
- Pasul 5: Mută câștigurile prin tranzacții sau bridge-uri și pleacă înainte să-și dea cineva seama.
Iată un exemplu real: mai multe tokenuri ERC-20 au avut cândva o vulnerabilitate de tip overflow la procesarea în lot, care le-a permis atacatorilor să creeze cantități absurde de tokenuri și apoi să le vândă pe exchange-uri. Da, chiar s-a întâmplat.
De ce contează atacurile prin depășire aritmetică
Dacă deții tokenuri, creezi aplicații sau tranzacționezi DeFi, ar trebui să-ți pese. Totul ține de numere, iar crypto funcționează pe baza numerelor.
- Beneficiu: Dacă înțelegi cum funcționează, poți identifica din timp semnalele de alarmă și îți poți proteja banii.
- Perspectivă: Vulnerabilitățile aritmetice nu se demodează niciodată. Apar blockchain-uri și instrumente noi, dar profesioniștii continuă să profite de greșelile de calcul.
- Relevanță: Poți întâlni astfel de probleme în calculele privind oferta de tokenuri, sistemele de recompense, contoarele NFT și popularele dApp-uri care gestionează soldurile utilizatorilor.
În Solidity, lasă verificările aritmetice activate implicit și limitează blocurile unchecked la porțiuni mici de cod, auditate. Adaugă teste fuzz care încearcă valori extreme, nu doar scenarii ideale.
Caracteristici cheie ale atacului prin depășire aritmetică
Iată prin ce se deosebește de alte vulnerabilități:
- Revenire la zero: Numerele sar de la valoarea maximă înapoi la zero, ca un contor care se învârte în buclă.
- Silencios: Dacă operațiile aritmetice nu sunt verificate, nu apare nicio eroare nativă, iar rezultatele incorecte par valide.
- Ușor de declanșat: Adesea, atacatorii pot controla valorile de intrare și pot forța momentul exact în care se produce.
- Repetabil: Odată descoperit, atacatorii pot automatiza atacul și îl pot lansa împotriva multor ținte.
Variante
Iată principalele tipuri despre care vei auzi; fac parte din aceeași familie, dar folosesc metode diferite:
- Underflow: Scăderea coboară sub zero și revine la o valoare uriașă.
- Adunare: Adunarea unei valori la sold sau la ofertă o împinge peste maxim, apoi aceasta revine la valori mici.
- Înmulțire: Multiplicatorii de recompense sau factorii de scalare duc valoarea peste limite.
- Contor: Contoarele pentru ID-uri de tokenuri sau pentru ofertă se resetează, permițând continuarea emiterii peste limita stabilită.
Atacul prin depășire aritmetică nu ține doar de Solidity. Poate apărea și în Vyper, Rust, Move sau assembly personalizat, iar multe exploatări intens mediatizate s-au redus la operații aritmetice neverificate asupra soldurilor sau ofertei.
Exemplu
O funcție de recompense înmulțește un număr introdus de utilizator cu un bonus mare, valoarea revine la zero, verificarea limitei trece, iar atacul prin depășire aritmetică îi permite atacatorului să creeze mult mai multe tokenuri decât s-a intenționat.
Curiozitate
Ecranul de încheiere de la nivelul 256 din jocul arcade clasic? Blocarea aceea celebră a fost cauzată de o depășire aritmetică, demonstrând că până și jocurile retro pot anticipa accidental vulnerabilitățile crypto.
Pe scurt
Gândește-te la atacul prin depășire aritmetică drept o tură completă făcută de numere, prin golul căreia hoții se strecoară în fugă; păstrează verificările aritmetice activate și vei dormi mai liniștit.