אבטחת חוזים חכמים ב-DeFi: פגיעויות נפוצות וכיצד להימנע מהן

לפני שנצלול לפגיעויות הטכניות, תמיד כדאי לוודא שהפעילויות המסחריות הבסיסיות שלך מתבצעות בפלטפורמה מאובטחת. אתה יכול לבדוק את המחירים והמהלכים האחרונים עבור נכסים שונים בעמוד ה- שווקי Exbix .

חלק 2: פגיעויות נפוצות בחוזים חכמים וניצולן

בואו ננתח את הקטגוריות הנפוצות ביותר של פגיעויות שהובילו לתוצאות משמעותיות הפסדים ב-DeFi.

1. התקפות חזרה: השוד הקלאסי

התקפת החזרה היא הפגיעות המפורסמת ביותר בחוזים חכמים, שהודגמה בצורה מפורסמת על ידי הההאקת DAO בשנת 2016, שהובילה להפסד של 3.6 מיליון ETH ולספליט קשה של את'ריום.

• מה זה? התקפת חזרה מתרחש כאשר חוזה זדוני מתקשר חזרה לחוזה הקורא לפני שהביצוע הראשוני של הפונקציה הושלם. זה יכול לאפשר לתוקף למשוך כספים שוב ושוב לפני שהיתרה שלו מעודכנת.
• איך זה עובד:
  1. לחוזה A יש פונקציית withdraw() ששולחת ETH למשתמש ואז מעדכן את היתרה הפנימית של המשתמש.
  2. החוזה של התוקפן B קורא ל withdraw().
  3. חוזה A שולח ETH לחוזה B.
  4. לחוזה B יש פונקציית fallback() (שמקבלת את ה-ETH) שמ מיידית קוראת ל withdraw() בחוזה A שוב.
  5. חוזה A עדיין לא עדכן את יתרת התוקפן, כך שהוא רואה ש-Contract B עדיין זכאי ליותר ETH ושולח אותו שוב.
  6. הלולאה הזו נמשכת, מרוקנת את Contract A, עד שהגז של העסקה נגמר או שהחוזה ריק.
• דוגמה מפורסמת: ההאק של DAO (2016).
• איך להימנע מכך:
  • השתמש בדפוס בדיקות-השפעות-אינטראקציות: זהו הכלל הזהב. תמיד:
    1. בדוק את כל התנאים (למשל, require(balances[msg.sender] >= amount);).
    2. עדכן את כל משתני המצב הפנימיים (השפעות) (למשל, balances[msg.sender] -= כמות;).
    3. לאחר מכן, אינטראקציה עם חוזים אחרים או EOAs (אינטראקציות) (למשל, msg.sender.call{value: amount}("");).
  • השתמש בשומרי חזרתיות: OpenZeppelin מספקת מודיפיקטור ReentrancyGuard שסוגר פונקציה במהלך הביצוע שלה, ומונע קריאות חוזרות.

2. התקפות מניפולציה על אורקל

חוזים חכמים זקוקים לעיתים קרובות לנתונים מהעולם האמיתי. אורקל הם שירותים המספקים נתונים אלו. מניפולציה על נתוני המחיר שאורקל מספק הוא אחד מכיווני ההתקפה העיקריים.

• מה זה? תוקף מניפולציה על מחיר של נכס בבורסה מבוזרת (DEX) עם נזילות נמוכה כדי לרמות את האורקל של פרוטוקול לדווח על מחיר לא נכון.
• איך זה עובד:
  1. פרוטוקול הלוואות משתמש במחיר הנוכחי של DEX כאורקל שלו כדי לקבוע כמה ניתן ללוות כנגד בטחונות.
  2. תוקף לוקח הלוואת פלאש כדי לרוקן נזילות מזוג מסחר, נגיד, ABC/ETH, מה שהופך אותו לבלתי נזיל מאוד.
  3. התוקף אז סוחר בכמות קטנה של ABC כדי להזיז באופן משמעותי את המחיר שלו נגד ETH על הבריכה הלא נזילה כעת.
  4. האורקל של הפרוטוקול קורא את המחיר המניפולטיבי הזה.
  5. המתקיף משתמש ב-ABC המנופח באופן מלאכותי כבטוחה כדי ללוות כמות עצומה של נכסים אחרים, שאינם מניפולטיביים, מהפרוטוקול.
  6. המתקיף מחזיר את ההלוואה המהירה, והמחיר של ABC מתקן את עצמו, אך הפרוטוקול נשאר עם ערבויות חסרות ערך וחוב רע עצום.
• דוגמאות מפורסמות: ההאק של Harvest Finance (34 מיליון דולר אבודים), המקרה של DAI של Compound.
• איך להימנע מזה:
  • השתמשו באורקליים מבוזרים: השתמשו ברשתות אורקל חזקות כמו Chainlink, אשר אגרגט נתונים ממספר צמתים ומקורות עצמאיים, מה שהופך אותם לקשים מאוד ויקרים למניפולציה.
  • השתמש במחירי ממוצע משוקלל בזמן (TWAPs): שימוש בממוצע מחיר על פני תקופה (למשל, 30 דקות) במקום במחיר הנוכחי מונע מניפולציה לטווח קצר.
  • השתמש במקורות נתונים מרובים: אל ת סמוך על הנזילות של DEX אחד בלבד עבור feed מחיר קריטי.

3. חפיפות וחתיכות של מספרים שלמים

למחשבים יש גבולות על כמה גדול יכול להיות מספר. uint256 (מספר שלם לא חתום) ב-Solidity יש ערך מקסימלי של 2^256 - 1.

• מה זה?
  • עודף: כאשר פעולה (כמו חיבור) מניבה מספר שגדול מהערך המקסימלי, הוא “מתגלגל” למספר מאוד קטן.
  • חסר: כאשר פעולה (כמו חיסור) מניבה מספר שמתחת לאפס (עבור מספרים שלמים לא חתומים, שלא יכולים להיות שליליים), הוא מתגלגל למספר מאוד גדול. מספר.
• איך זה עובד:
  • יתרה של 100 אסימונים. משתמש מוציא 101. החישוב 100 - 101 יגרום לחוסר איזון, מה שיביא ליתרה של 2^256 - 1, ובכך ייתן למשתמש יתרה כמעט אינסופית.
• איך להימנע זה:
  • השתמשו ב-Solidity 0.8.x או מאוחר יותר: המפענח בודק אוטומטית עבור חצאים/חסרים ומחזיר עסקאות שבהן הם מתרחשים.
  • השתמשו ב-SafeMath עבור מפענחים ישנים: ספריית SafeMath של OpenZeppelin סיפקה פונקציות עבור פעולות אריתמטיות בטוחות לפני גרסה 0.8.