امنیت قراردادهای هوشمند در دیفای: آسیب‌پذیری‌های رایج و چگونگی جلوگیری از آن‌ها

قبل از اینکه به آسیب‌پذیری‌های فنی بپردازیم، همیشه عاقلانه است که اطمینان حاصل کنیم فعالیت‌های پایه‌ای معاملاتی شما بر روی یک پلتفرم امن انجام می‌شود. شما می‌توانید آخرین قیمت‌ها و تغییرات دارایی‌های مختلف را در صفحه Exbix Markets بررسی کنید.

بخش ۲: آسیب‌پذیری‌ها و سوءاستفاده‌های رایج در قراردادهای هوشمند

بیایید به بررسی رایج‌ترین دسته‌های آسیب‌پذیری بپردازیم که منجر به مشکلات قابل توجهی شده‌اند. زیان‌ها در دیفای.

1. حملات بازگشتی: سرقت کلاسیک

حمله بازگشتی معروف‌ترین آسیب‌پذیری قرارداد هوشمند است که به‌طور مشهور توسط هک DAO در سال 2016 نشان داده شد و منجر به از دست رفتن 3.6 میلیون ETH و یک هارد فورک اتریوم شد.

• این چیست؟ یک حمله بازگشتی زمانی رخ می‌دهد که یک قرارداد مخرب قبل از اتمام اجرای تابع اولیه، به قرارداد فراخوانی شده بازگشت می‌کند. این می‌تواند به مهاجم اجازه دهد تا به طور مکرر وجوه را برداشت کند قبل از اینکه موجودی آنها به‌روزرسانی شود.
• نحوه کار:
  1. قرارداد A دارای یک withdraw() تابع است که ETH را به یک کاربر ارسال می‌کند و سپس تعادل داخلی کاربر را به‌روزرسانی می‌کند.
  2. قرارداد B حمله‌کننده withdraw() را صدا می‌زند.
  3. قرارداد A اتریوم را به قرارداد B ارسال می‌کند.
  4. قرارداد B دارای یک fallback() تابع است (که اتریوم را دریافت می‌کند) که بلافاصله تابع withdraw() را دوباره در قرارداد A صدا می‌زند.
  5. قرارداد A هنوز موجودی حمله‌کننده را به‌روز نکرده است، بنابراین می‌بیند که قرارداد B هنوز حق دریافت ETH بیشتری را دارد و دوباره آن را ارسال می‌کند.
  6. این حلقه ادامه دارد و قرارداد A را تخلیه می‌کند، تا زمانی که گاز تراکنش تمام شود یا قرارداد خالی شود.
• مثال معروف: هک DAO (۲۰۱۶).
• چگونه از آن جلوگیری کنیم:
  • از الگوی بررسی-تأثیرات-تعاملات استفاده کنید: این قاعده طلایی است. همیشه:
    1. بررسی کنید تمام شرایط را (برای مثال، require(balances[msg.sender] >= amount);).
    2. به‌روزرسانی کنید تمام متغیرهای داخلی حالت (تأثیرات) (برای مثال، balances[msg.sender] -= مقدار;).
    3. سپس، با سایر قراردادها یا EOAها (تعاملات) تعامل کنید (برای مثال، msg.sender.call{value: amount}("");).
  • استفاده از محافظت‌های بازگشتی: OpenZeppelin یک ReentrancyGuard مدیر را ارائه می‌دهد که یک تابع را در حین اجرای آن قفل می‌کند و از فراخوانی‌های بازگشتی جلوگیری می‌کند.

۲. حملات دستکاری اوراکل

قراردادهای هوشمند معمولاً به داده‌های دنیای واقعی نیاز دارند. اوراکل‌ها خدماتی هستند که این داده‌ها را فراهم می‌کنند. دستکاری در اطلاعات قیمتی که یک اوراکل ارائه می‌دهد، یک روش اصلی حمله است.

• این چیست؟ یک مهاجم قیمت یک دارایی را در یک صرافی غیرمتمرکز (DEX) با نقدینگی پایین دستکاری می‌کند تا فریب دادن اوراکل یک پروتکل برای گزارش قیمت نادرست.
• نحوه کار:
  1. یک پروتکل وام‌دهی از قیمت لحظه‌ای یک DEX به عنوان اوراکل خود استفاده می‌کند تا تعیین کند چه مقدار می‌توان بر اساس وثیقه وام گرفت.
  2. یک مهاجم یک وام فوری می‌گیرد تا نقدینگی را از یک جفت معاملاتی، مثلاً ABC/ETH، تخلیه کند و آن را بسیار بی‌نقدینگی کند.
  3. حمله‌کننده سپس مقدار کمی از ABC را معامله می‌کند تا قیمت آن را به‌طور قابل توجهی در برابر ETH در استخر اکنون غیرمقدار حرکت دهد.
  4. اوراکل پروتکل این قیمت دستکاری‌شده را می‌خواند.
  5. حمله‌کننده از ABC که به‌طور مصنوعی افزایش یافته به‌عنوان وثیقه استفاده می‌کند تا مقدار زیادی از دارایی‌های دیگر، که دستکاری نشده‌اند، از پروتکل قرض بگیرد.
  6. حمله‌کننده وام فوری را بازپرداخت می‌کند و قیمت ABC خود را اصلاح می‌کند، اما پروتکل با وثیقه‌های بی‌ارزش و یک بدهی بزرگ رها می‌شود.
• نمونه‌های مشهور: هک Harvest Finance (با ضرر ۳۴ میلیون دلار)، حادثه DAI در Compound.
• چگونه از آن جلوگیری کنیم:
  • استفاده از اوراکل‌های غیرمتمرکز: از شبکه‌های اوراکل قوی مانند Chainlink استفاده کنید، که داده‌ها را از چندین گره و منبع مستقل جمع‌آوری کنید و این کار را بسیار دشوار و پرهزینه برای دستکاری می‌کند.
  • استفاده از قیمت‌های میانگین وزنی زمان (TWAPs): استفاده از میانگین قیمت در یک دوره (به عنوان مثال، 30 دقیقه) به جای قیمت لحظه‌ای، دستکاری‌های کوتاه‌مدت را غیرمفید می‌کند.
  • استفاده از منابع داده متعدد: هرگز به یک نقدینگی از یک DEX واحد برای یک منبع قیمت حیاتی تکیه کنید.

۳. سرریز و زیرریز عدد صحیح

کامپیوترها محدودیت‌هایی در مورد اینکه یک عدد چقدر می‌تواند بزرگ باشد دارند. یک uint256 (عدد صحیح بدون علامت) در سالیدیتی حداکثر مقداری برابر با 2^256 - 1 دارد.

• این چیست؟
  • اضافه‌بار: زمانی که یک عملیات (مانند جمع) منجر به عددی بزرگتر از حداکثر مقدار شود، به عددی بسیار کوچک "برمی‌گردد".
  • کمبود: زمانی که یک عملیات (مانند تفریق) منجر به عددی کمتر از صفر شود (برای اعداد صحیح بدون علامت که نمی‌توانند منفی باشند)، به عددی بسیار بزرگ "برمی‌گردد". شماره.
• چگونه کار می‌کند:
  • یک موجودی از 100 توکن. کاربر 101 را خرج می‌کند. محاسبه 100 - 101 به زیر صفر می‌رود و در نتیجه موجودی به 2^256 - 1 می‌رسد که به طور موثر به کاربر موجودی تقریباً نامحدود می‌دهد.
• چگونه از آن جلوگیری کنیم استفاده از Solidity 0.8.x یا بالاتر: کامپایلر به طور خودکار برای سرریزها/کمبودها بررسی می‌کند و تراکنش‌هایی را که در آن‌ها رخ می‌دهد، معکوس می‌کند.
• استفاده از SafeMath برای کامپایلرهای قدیمی‌تر: کتابخانه SafeMath اوپن‌زدلین توابعی برای عملیات‌های حسابی ایمن قبل از نسخه 0.8 ارائه می‌دهد.