אנו מתמחים בפיתוח פלטפורמות הלוואות קריפטו מאובטחות. בניסיוננו, סיפקנו 12 פרויקטי DeFi, כולל פרוטוקולים עם TVL משולב של מעל 500 מיליון דולר. הפסדים מפריצות לפרוטוקולי הלוואות יכולים להגיע למאות מיליוני דולרים—טעות אחת בחוזה יכולה לעלות בפרויקט כולו. הניסיון שלנו עוזר להימנע מהשגיאות האופייניות שמובילות לניצולים.
פריצה גדולה אחת הייתה פרוטוקול Euler Finance, שהפסיד 197 מיליון דולר. דוח ניצול Euler Finance הפגיעות הייתה בפונקציית donateToReserves, שאיפשרה צבירת גירעון ללא בדיקת בטחונות. התוקף השתמש בהלוואת פלאש כדי ליצור פוזיציה עם יחס בריאות שבור וביצע חיסול עצמי באמצעות מנגנון התרומה. הקוד עבר מספר ביקורות, אך השגיאה נותרה בלתי מזוהה. הפתרונות שלנו סייעו ללקוחות למנוע הפסדים של מעל 50 מיליון דולר.
פרוטוקולי הלוואות הם אחת הקטגוריות המורכבות ביותר ב-DeFi. כל פונקציה (הפקדה, הלוואה, החזר, חיסול) מתקשרת עם האחרות, והאינווריאנטים של המערכת אינם טריוויאליים. לכן, אנו שמים דגש מיוחד על אימות פורמלי ובדיקות מקיפות.
הצוות שלנו מציע פיתוח פלטפורמת הלוואות קריפטו מקצה לקצה—מהמפרט ועד לביקורת ופריסה. צרו קשר כדי לדון בפרטי הפרויקט שלכם.
מדוע פרוטוקולי הלוואות פגיעים במיוחד?
מניפולציית אורקל וחיסולים מדורגים
פרוטוקול הלוואות מסתמך על אורקל מחירים כדי לחשב את יחס הבטחונות. פגיעה באורקל מאפשרת לקחת הלוואה כנגד בטחונות מוערכים יתר על המידה או להימנע מחיסול.
Cream Finance הפסיד 130 מיליון דולר באמצעות מניפולציית אורקל: נכס עם נזילות דקה שימש כבטחון, מחירו עבר מניפולציה באמצעות הלוואת פלאש בבריכת AMM, והתוקף לווה סכום גדול פי כמה מהערך האמיתי.
הגנה—אורקל רב-שכבתי:
- Chainlink כמקור ראשי עם בדיקת עדכניות
latestRoundData(>שעה—השהיה) - Uniswap v3 TWAP כמקור משני עם חלון של 30 דקות
- מפסק חשמל: אם שני האורקלים חורגים ביותר מ-5%—הלוואות חדשות מושהות
חיסולים מדורגים הם בעיה נפרדת. במהלך ירידת שוק חדה, חיסול סימולטני של אלפי פוזיציות דוחף את מחיר הנכס למטה, ומפעיל חיסולים נוספים. Compound v3 פותר זאת באמצעות מגבלות חיסול ברמת הפרוטוקול.
חישוב יחס בריאות ודיוק מספרי
רוב השגיאות מתרחשות כאן. יחס בריאות = (collateralValue * collateralFactor) / borrowedValue. כאשר מחושב עם uint256 ללא קנה מידה מתאים, עיגול חותך דיוק.
דוגמה קונקרטית: בטחון של 1.001 ETH עם collateralFactor של 0.8 נותן כיסוי של 0.8008 ETH. הלוואה של 0.8 ETH. יחס הבריאות צריך להיות 1.001. אם החישוב נעשה כ-(collateral * factor / 1e18) / borrow במקום שימוש ב-mulDiv, אובדן דיוק יכול לסמן פוזיציה בריאה כניתנת לחיסול.
אנו משתמשים ב-FullMath.mulDiv מ-Uniswap v3 core לכל החישובים שבהם דיוק חשוב. אין חלוקה לפני כל הכפלות.
Reentrancy בשרשראות חיסול + העברה
פונקציית החיסול מבצעת בדרך כלל מספר פעולות: לוקחת בטחונות מהלווה, מחזירה חוב, משלמת בונוס למחסל. אם אסימון הבטחונות מיישם ERC-777 או יש לו hook העברה מותאם, יש חלון ל-reentrancy בין השלבים.
AAVE v3 משתמש ב-ReentrancyGuard ברמת חוזה ה-Pool ובנוסף בודק דגל _status בנתיבים קריטיים. עבור כל פרוטוקול הלוואות, nonReentrant על deposit, borrow, repay ו-liquidate הוא חובה.
למידע נוסף על reentrancy: התקפת reentrancy.
שגיאות נפוצות בפיתוח פרוטוקול הלוואות
- שימוש באורקל יחיד ללא גיבוי
- חישוב שגוי של יחס בריאות עקב עיגול
- חוסר בחיסול חלקי לפוזיציות גדולות
- התעלמות מ-reentrancy באסימונים מותאמים
- גורם בטחונות גבוה מדי לנכסים תנודתיים
כיצד להגן על פרוטוקול מפני חיסולים מדורגים?
מבנה מודולרי בדגם Compound v3
Comptroller / RiskManager
├── CToken / CometMarket (per asset)
│ ├── InterestRateModel
│ └── PriceOracle
├── LiquidationEngine
└── GovernanceModuleחוזה נפרד לכל נכס נתמך (תבנית CToken) לעומת חוזה Comet יחיד עם מיפויים—זוהי החלטה ארכיטקטונית בסיסית. תבנית CToken פשוטה יותר לביקורת ולבידוד סיכון: בעיה בשוק אחד אינה משפיעה על אחרים. חוזה יחיד זול יותר לפריסה ופשוט יותר למשתמשים.
| מאפיין | תבנית CToken (Compound v2) | חוזה יחיד (Comet) |
|---|---|---|
| מורכבות ביקורת | נמוכה יותר: חוזים מבודדים | גבוהה יותר: לוגיקה מורכבת |
| יעילות גז | פריסה גבוהה יותר, עסקאות נמוכות יותר | פריסה נמוכה יותר, עסקאות גבוהות יותר |
| סיכון שגיאה מערכתית | נמוך | בינוני |
| גמישות | גבוהה: ניתן להוסיף שווקים באופן עצמאי | בינונית: שינויים משפיעים על כל השווקים |
מודל ריבית
ריבית Kinked היא הסטנדרט: ריבית נמוכה בניצול < 80%, עלייה חדה מעל. נוסחה:
- אם
Comptroller / RiskManager ├── CToken / CometMarket (per asset) │ ├── InterestRateModel │ └── PriceOracle ├── LiquidationEngine └── GovernanceModule:U < kink - אם
borrowRate = baseRate + slope1 * U:U >= kink
בניצול של 95%, הריביות יכולות להגיע ל-100%+ APR—מנגנון זה לוחץ על הלווים להחזיר נזילות לבריכה.
פרמטרים (baseRate, slope1, slope2, kink) צריכים להיות ניתנים לשינוי באמצעות ממשל עם timelock. השוק משתנה, והפרמטרים האופטימליים משתנים איתו.
מכניקת חיסול
בונוס חיסול (5-10% מהבטחונות) הוא התגמול למחסלים. בונוס קטן מדי—מחסלים לא מתוגמלים, הפרוטוקול צובר חוב רע. גדול מדי—לווים מפסידים יותר מהסביר.
חיסול חלקי (החזר חלק מהחוב בלבד) הוא חובה. חיסול מלא של פוזיציה גדולה בבת אחת דורש הון עצום מהמחסל. Compound v3 מאפשר חיסול עד יחס בריאות של 1.05.
חיסולים באמצעות הלוואת פלאש הם התבנית הסטנדרטית. המחסל לוקח הלוואת פלאש, מחזיר את החוב, מקבל בטחונות (עם בונוס), מוכר אותם ב-DEX, מחזיר את הלוואת הפלאש בתוספת עמלה. הפרוטוקול חייב לתמוך בכך—כלומר, לא לחסום משיכת בטחונות באותה עסקה.
נכסים נתמכים וגורמי בטחונות
| נכס | גורם בטחונות | סף חיסול | דוגמה (Aave v3) |
|---|---|---|---|
| ETH/WETH | 80% | 82.5% | 80% / 82.5% |
| WBTC | 70% | 75% | 70% / 75% |
| USDC | 85% | 88% | 86% / 88% |
| LINK | 65% | 70% | 65% / 70% |
| ERC-20 תנודתי | 40-60% | 50-65% | משתנה |
מצב בידוד (Aave v3)—נכסים עם תקרת חוב, המשמשים רק כבטחונות ל-stablecoins. עבור נכסים חדשים או פחות נזילים, זו האסטרטגיה הנכונה: היא מפחיתה סיכון מערכתי.
מה כולל פיתוח פלטפורמת הלוואות
- תיעוד: מפרט, מודל מתמטי, פרמטרי סיכון
- חוזים חכמים ב-Solidity (Foundry) עם ארכיטקטורה מודולרית
- מערך בדיקות: יחידה, fuzz, אינטגרציה, בדיקות fork
- אינטגרציית אורקל (Chainlink, Uniswap TWAP)
- ממשק משתמש (אופציונלי)
- ביקורת חיצונית על ידי מומחים עצמאיים (עלות אופיינית לפרוטוקול מורכב: 30,000 עד 100,000 דולר)
- פריסה וניטור
- תמיכה ועדכונים לאחר השחרור
תהליך הפיתוח
- מפרט (3-5 ימים). הגדרת נכסים, מודלי ריבית, צורך בממשל ויכולת שדרוג.
- מפרטים מתמטיים (2-3 ימים). נוסחאות מאומתות על הפניה ב-Python לפני כתיבת Solidity. זה חוסך שבוע של ניפוי שגיאות בחוזים.
- פיתוח (4-6 שבועות). Foundry + בדיקות fuzz על כל האינווריאנטים: יחס בריאות לא יכול להיות שלילי, סך החוב אינו עולה על הרזרבות, בונוס החיסול מחושב נכון.
- בדיקות fork. הדמיית התקפות הלוואת פלאש על fork של mainnet. בדיקת חיסולים מדורגים באמצעות מניפולציית מחירים.
- ביקורת חיצונית. חובה לכל פרוטוקול עם TVL. רצוי שני מבקרים עצמאיים.
הערכות זמן
פרוטוקול הלוואות מינימלי בר-קיימא (נכס אחד, חיסול בסיסי)—4-6 שבועות. פלטפורמה מלאה עם מספר שווקים, ממשל, שדרוגים—2-3 חודשים. ביקורת—4-8 שבועות נוספים בהתאם לגודל הקוד.
צרו קשר כדי לדון בפרויקט שלכם. קבלו ייעוץ חינמי והערכה ראשונית.