שיפוץ חוזים חכמים
החוזה עובד, כספים לא אובדים — אבל כל תכונה חדשה מעוררת פאניקה. פריסת האחסון התנפחה, פונקציות באורך 200 שורות, ובדיקות אינן קיימות. הניסיון שלנו מראה שחוב טכני כזה מצטבר בלי לשים לב עד שהוא מוביל לכשלים קריטיים או לבזבוז גז. אנו מבטיחים: לאחר השיפוץ, הקוד הופך לצפוי ומאובטח.
היכן החוב הטכני מסתתר לרוב
פריסת אחסון לא אופטימלית
Solidity אורז משתנים לחריצים של 32 בתים. אם משתנים מוצהרים בסדר uint128, uint256, uint128, זה שלושה חריצים במקום שניים. בחוזה עם אלפי קריאות ביום, סידור מחדש של 8 משתנים לאריזת חריצים הפחית את הגז בפעולות כתיבה ב-40%. חיסכון — עד $5000 בשנה למשתמש. זה כסף אמיתי שהולך לגז.
לולאות בלתי מוגבלות כגרימת נזק בגז
התבנית for (uint i = 0; i < users.length; i++) בחוזה שבו users יכול לגדול אינה רק לא יעילה. תוקף מוסיף 10,000 כתובות, וקריאה ל-distribute() חורגת ממגבלת הגז של הבלוק (30M גז). הפונקציה הופכת לבלתי ניתנת לביצוע — החוזה תקוע. שיפוץ לתבנית משיכה עם דפדוף פותר זאת מבנית.
כניסה חוזרת בין-פונקציונלית
ReentrancyGuard של OpenZeppelin מגן על פונקציה אחת. אבל אם ReentrancyGuard מוגן ו-withdraw() לא — ושתיהן משנות את אותו מיפוי יתרות — כניסה חוזרת אפשרית. כך עבד ניצול של $80M. במהלך השיפוץ, אנו בודקים את כל גרף הקריאות, לא רק פונקציות בודדות.
כיצד אנו ניגשים לשיפוץ
השלב הראשון הוא ניתוח סטטי עם Slither. תוך 2-3 דקות, הוא מוצא כניסה חוזרת, משתנים לא מאותחלים, הרשאת tx.origin, ומשתני צל. Slither נותן מאות אזהרות — יש להפריד קריטיות מאינפורמטיביות. לאחר מכן, Mythril לביצוע סמלי על פונקציות מפתח.
הנה התהליך שלב אחר שלב:
- ניתוח: ניתוח סטטי וסמלי (Slither, Mythril), בניית רישום בעיות ממוין לפי עדיפות.
- תכנון: קיבוץ שינויים, בידוד תלויות, כתיבת בדיקות למקרי קצה.
- שיפוץ: כל שינוי ב-PR נפרד עם בדיקות. יישום שיטות מומלצות של Solidity, Check-Effects-Interactions, תבנית Diamond (EIP-2535).
- בדיקות: בדיקות fuzz ב-Foundry, השוואת דוחות גז עם
claim(). - פריסה: סקריפטים על ethers.js, ניטור דרך Tenderly.
דוגמה: שיפוץ בריכת סטייקינג
בפרויקט אחד, החלפנו לולאה בלתי מוגבלת בתבנית משיכה עם דפדוף. הוספנו דגל forge snapshot ליציאה בטוחה תחת DoS. יישמנו שגיאות מותאמות אישית במקום require מחרוזתי — חיסכון של 100 גז לכל revert. תוצאה: הפונקציה emergencyWithdraw הפכה לביצועית גם עם 50,000 משתמשים, והחיסכון הכולל בגז הגיע ל-15%.
מדוע שיפוץ חוזים חכמים זול יותר מאודיט?
אודיט מזהה בעיות אך אינו מתקן אותן. שיפוץ מבטל חוב טכני מיד. אנו לא רק כותבים דוח — אנו משכתבים את הקוד כך שיהיה מאובטח וחסכוני בגז. אודיט טיפוסי עולה $10-30k, ושיפוץ עם תיקונים עולה אותו דבר, אבל עם קוד עובד. צרו קשר — אנו נעריך את הפרויקט שלכם ונציע תוכנית עבודה.
אופטימיזציית גז: מספרים ספציפיים
| תבנית | חיסכון בגז (בערך) |
|---|---|
| אריזת משתנים בחריצים | 20-40% על SSTORE |
| memory במקום storage בפונקציות | 15-30% על קריאות |
| הגדלה ללא בדיקה (unchecked) | 60-80 גז לכל איטרציה |
| calldata במקום memory | 50-100 גז לכל ארגומנט |
| שגיאות מותאמות אישית במקום מחרוזות require | 50-200 גז לכל revert |
בעיות טיפוסיות ופתרונות
| בעיה | פתרון | חיסכון/תועלת |
|---|---|---|
| כניסה חוזרת בין מספר פונקציות | ניתוח מלא של גרף קריאות + OpenZeppelin ReentrancyGuard | מונע הפסדים עד $80M |
| פריסת אחסון לא אופטימלית | סידור מחדש של משתנים, אריזה | חיסכון בגז של $5000/שנה |
| לולאות בלתי מוגבלות | תבנית משיכה עם דפדוף | הבטחת ביצועיות הפונקציה |
מה כלול בעבודה
- אודיט קוד עם רישום פגיעויות והזדמנויות אופטימיזציה.
- תיקון כל הבעיות הקריטיות והבינוניות.
- בדיקות ב-Foundry (יחידה, אינטגרציה, fuzz).
- השוואת דוח גז לפני/אחרי.
- תיעוד שינויים והוראות פריסה.
- אחריות על קוד — תמיכה ל-6 חודשים.
אילו טעויות נעשות לרוב במהלך שיפוץ?
- תיקון רק בעיות ברורות ללא בדיקת כניסה חוזרת בין-פונקציונלית.
- שינוי ABI ללא בידוד — שבירת אינטגרציות.
- שכחת עדכון בדיקות לאחר שינויים.
- פישוט פריסת אחסון תוך התעלמות מחוזים מורשים.
למהנדסים שלנו יש 10+ שנות ניסיון בפיתוח בלוקצ'יין והם השלימו מעל 50 פרויקטי שיפוץ. קבלו ייעוץ — נספר לכם מה צריך לתקן בחוזה שלכם.
שדרוג גרסת Solidity
מעבר מ-0.6/0.7 ל-0.8+ כולל: בדיקות גלישה אוטומטיות (SafeMath כבר לא נדרש), שגיאות מותאמות אישית, ומשתנים בלתי ניתנים לשינוי (immutable). אבל זה לא רק שינוי ה-pragma — קידוד ABI משתנה, תבניות assembly דורשות התאמה. אנו בודקים כל שינוי בבידוד.
OpenZeppelin ReentrancyGuard הוא תקן האבטחה שאנו משתמשים בו כבסיס. צרו קשר — אנו נעריך את הפרויקט שלכם ונציע שיפוץ סוהר.