בעת בחירת מנגנון תמחור לחוזים עתידיים תמידיים מבוזרים, אתה עומד בפני דילמה: ספר הזמנות דורש הון עצום ליצירת שוק וסובל מנזילות נמוכה בהשקה, בעוד שמודלים מבוססי אורקל חשופים למניפולציה באמצעות הלוואות פלאש. ה-AMM הווירטואלי (vAMM) עוקף את שתי הבעיות אך מציג בעיות משלו: בחירת עומק השוק הראשוני (k), חישוב נכון של שיעור המימון, והגנה מפני חוב אבוד. שירותי פיתוח ה-vAMM שלנו לחוזים עתידיים תמידיים מכסים עיצוב חוזה חכם של vAMM, אינטגרציית ClearingHouse, אופטימיזציה של שיעור המימון ועוד. אנו מתכננים ופורסים vAMMs מזה למעלה מ-5 שנים — הניסיון שלנו כולל פרוטוקולים עם TVL כולל של מעל $50M. vAMM מפחית את עלויות הנזילות ב-85% בהשוואה לספרי הזמנות, מה שהופך אותו לאידיאלי עבור סטארטאפים עם תקציבים מוגבלים. חבילות הפיתוח מתחילות ב-$50,000 עבור vAMM בסיסי ועולות עד $200,000 עבור פרוטוקול מלא עם שווקים מרובים.
פתרונות הניתנים על ידי vAMM
עתודות וירטואליות ופרמטר k
vAMM משתמש ב-x * y = k, כאשר x ו-y הם עתודות וירטואליות, לא טוקנים אמיתיים. סוחר פותח פוזיציית לונג ב-ETH: USDC וירטואלי נכנס לפול, ETH וירטואלי יוצא. המחיר זז כמו ב-AMM רגיל.
הבעיה העיקרית היא בחירת ה-k הראשוני, הקובע את עומק השוק. k קטן מדי מוביל להשפעת מחיר גבוהה, מה שהופך מסחר ללא רווחי. k גדול מדי מאפשר פתיחת פוזיציות ללא שינוי מחיר ניכר, אך שיעור המימון לא עובד כמתוכנן.
ב-Perpetual Protocol, k חושב מחדש כאשר הנזילות השתנתה — מנגנון הנקרא הגירת נזילות. בעת שינוי k, יש לחשב מחדש את כל הפוזיציות הפתוחות עם העתודות הווירטואליות החדשות. שגיאה בחישוב מחדש זה מובילה ל-PnL שגוי עבור כל מחזיקי הפוזיציות.
פורמלית: אם סוחר פתח לונג ב-x1, y1 ומחפש מחיר יציאה ב-x2, y2 החדש לאחר שינוי גודל k, יש למפות נכון את נקודת הכניסה דרך יחס האינווריאנט. ללא זאת, הפרוטוקול מעריך בחסר או ביתר את ה-PnL.
מנגנון שיעור המימון
שיעור המימון הוא המנגנון שקושר את מחיר ה-vAMM לאורקל הספוט. אם מחיר ה-vAMM גבוה מהאורקל (פרמיית לונג): מחזיקי לונג משלמים למחזיקי שורט. זה יוצר תמריץ ארביטראז' לפתיחת שורטים, המחזיר את המחיר לאורקל.
נוסחת שיעור המימון (8 שעות): FR = (markPrice - indexPrice) / indexPrice / 8
כאשר markPrice הוא ה-TWAP של ה-vAMM ב-8 השעות האחרונות, ו-indexPrice הוא מחיר האורקל (Chainlink).
פגיעות: בנזילות נמוכה, מישהו עם מספיק הון יכול להזיז את markPrice ולגבות מימון לא הוגן מהצד שכנגד. זו לא מתקפת הלוואת פלאש — הלוואות פלאש לא חיות יותר מבלוק אחד, אך מניפולציה רב-בלוקית אפשרית.
הגנה: תקרה על שיעור המימון (בדרך כלל 0.1% ל-8 שעות = 0.3% ליום ≈ 109% APR), מה שהופך מניפולציה ליקרה יחסית לרווח.
קרן הביטוח וחוב אבוד
בתנועת מחיר חדה נגד פוזיציה ממונפת גדולה, ייתכן שחיסול לא יסגור את הפוזיציה לפני שהבטחון יורד לאפס. הפרוטוקול סופג את ההפסד — חוב אבוד. קרן ביטוח מכסה מקרים אלה.
מקורות לקרן הביטוח: חלק מעמלות המסחר (בדרך כלל 10-25%), קנסות חיסול מסוחרים, מימון ראשוני מהצוות/DAO.
כאשר קרן הביטוח אפסה, חוב אבוד מחולק בין כל מחזיקי הצד הנגדי — הפסד מחולק. זה פוגע משמעותית בציפיות המשתמשים, ולכן יש צורך במנגנון מפורש ובניטור של יתרת קרן הביטוח.
מדוע ארכיטקטורת ClearingHouse ו-Vault קריטית לאבטחה
ClearingHouse — הרכז המרכזי
ClearingHouse מנהלת פתיחה/סגירה של פוזיציות, חישוב PnL, חיסולים ותשלומי מימון. זהו החוזה המורכב ביותר במערכת.
פונקציות מפתח:
function openPosition(OpenPositionParams calldata params) external returns (uint256 base, uint256 quote);
function closePosition(ClosePositionParams calldata params) external returns (uint256 base, uint256 quote);
function liquidate(address trader, address baseToken) external;
function settleFunding(address trader, address baseToken) external;PnL של סוחר: function openPosition(OpenPositionParams calldata params) external returns (uint256 base, uint256 quote); function closePosition(ClosePositionParams calldata params) external returns (uint256 base, uint256 quote); function liquidate(address trader, address baseToken) external; function settleFunding(address trader, address baseToken) external; (שווה ערך USDC בפתיחה) לעומת openNotional (בסגירה) + תשלומי מימון מצטברים.
אחסון פוזיציות: מיפוי closeNotional. הפוזיציה כוללת trader → token → Position, openNotional (למודל נזילות מרוכזת), openNotionalSharesAsBase (לחישוב מימון מצטבר).
AccountBalance — בידוד מרווח
מרווח מבודד לעומת מרווח צולב — החלטה ארכיטקטונית עם פשרות. השוואה:
| פרמטר | מרווח צולב | מרווח מבודד |
|---|---|---|
| יעילות הון | גבוהה | נמוכה |
| סיכון חיסול | כל הפוזיציות | רק אחת |
| מורכבות יישום | בינונית | גבוהה |
להשקה ראשונית, אנו ממליצים על מרווח צולב עם בידוד אופציונלי ברמת ממשק המשתמש (המשתמש מגביל את גודל הפוזיציה בעצמו). מרווח מבודד מוסיף מורכבות לחיסול — יש לקבוע איזה בטחון שייך לאיזו פוזיציה עבור חיסולים חלקיים.
Vault וניהול בטחונות
ה-Vault מקבל USDC (או בטחון אחר) ומנפיק טוקן חשבונאי פנימי. בפתיחת פוזיציה, הכספים ננעלים ב-Vault; בסגירה, הם מוחזרים עם PnL.
תקן ERC-4626 חל אם ה-Vault נושא ריבית (בטחון מושקע ב-Aave בזמן שאינו בשימוש). זה משפר את חוויית המשתמש: סוחרים מרוויחים ריבית על בטחון לא בשימוש. סיכון: ניצול של Aave = אובדן בטחון. יש צורך במפסק חשמל: משיכה מיידית מ-Aave באירועים חריגים דרך multisig של שומרים.
מדוע אינטגרציית אורקל קריטית ל-vAMM
אורקל הוא רכיב קריטי. אנו משתמשים באגרגטור של Chainlink למחיר המדד (ETH/USD). אבל ה-heartbeat של Chainlink = שעה אחת עבור סטייבלקוינס, שעה אחת עבור ETH — נדיר מדי למסחר פעיל.
פתרון: Chainlink Data Streams (מבוסס משיכה, עדכונים כל 100ms) או Pyth Network (ילידי Solana, אך תואם EVM דרך pythnet עם עדכונים תת-שנייתיים). עבור פריפטואלים על Ethereum L2 — שילוב Pyth + Chainlink: Pyth למחיר mark בזמן אמת, Chainlink לסילוק.
השוואת אורקלים:
| אורקל | תדירות עדכון | הגנה מפני מחיר מיושן | עלות |
|---|---|---|---|
| Chainlink Data Feeds | שעה אחת | כן (heartbeat) | חינם (גז) |
| Chainlink Data Streams | 100ms | לא (משיכה) | בתשלום |
| Pyth Network | תת-שנייה | לא (משיכה) | בתשלום |
הגנה מפני מחיר מיושן: אם האורקל לא עודכן במשך > N דקות (ניתן להגדרה), השהה פתיחת פוזיציות חדשות. חיסולים ממשיכים — קריטי לכושר הפירעון של הפרוטוקול.
כיצד חיסולים עובדים ב-vAMM
חיסול חלקי לעומת מלא
חיסול חלקי סוגר חלק מהפוזיציה, מספיק כדי להעלות את יחס המרווח מעל מרווח התחזוקה. המשתמש מפסיד פחות. אבל חישוב הכמות האופטימלית לחיסול חלקי אינו טריוויאלי: יש לפתור את lastTwPremiumGrowthGlobal.
חיסול מלא פשוט יותר אך אגרסיבי יותר. עבור פוזיציות קטנות (< $500), חיסול מלא מוצדק בחסכון בגז.
תמריצי חיסול
מחסלים זקוקים לתמריץ. תכנית סטנדרטית: קנס חיסול = 2.5% מהערך הנקוב של הפוזיציה, מתוכו 1.25% למחסל ו-1.25% לקרן הביטוח.
בעיית MEV: חיסולים נראים ב-mempool, בוטים מבצעים מתקפות סנדוויץ', או תוקפים את הפרוטוקול עצמו או מאלצים חיסולים מוקדמים דרך מניפולציית אורקל. Flashbots Protected Transactions עבור בוטי חיסול.
תהליך פיתוח פרוטוקול vAMM שלב-אחר-שלב
- מודל כלכלי: מגבלות מינוף, תקרות שיעור מימון, גודל קרן ביטוח ראשוני, בחירת רשת (Arbitrum One הפופולרית ביותר).
- עיצוב חוזה: מפרט פורמלי של אינווריאנטים, פריסת אחסון עבור ClearingHouse, ממשקים בין חוזים.
- פיתוח ב-Solidity 0.8.x עם Foundry: vAMM → Vault → AccountBalance → ClearingHouse → מתאמי אורקל → מנוע חיסול.
- אימות פורמלי: Fuzzing עם Echidna ובדיקות אינווריאנטים (totalLongExposure == totalShortExposure + netSkew, vaultBalance >= sum(collateral) + insuranceFund).
- ביקורת: לפחות שתי ביקורות עצמאיות עבור TVL > $5M.
- פריסה עם multisig וניטור.
vAMM דורש פי 10 פחות הון ראשוני מספר הזמנות עם עומק שוק דומה. זה הופך אותו לבחירה האידיאלית להשקת שוק נגזרים נזיל בעלויות מינימליות.
מה כלול בעבודה
- הצדקה כלכלית מלאה של פרמטרי vAMM (מינוף, עמלה, שיעור מימון) עם בדיקות לאחור.
- פיתוח חוזה חכם ב-Solidity עם 100% כיסוי בדיקות.
- אינטגרציית אורקל (Chainlink, Pyth) ואינטגרציה עם פרוטוקולים חיצוניים (Aave).
- פריסה לרשת היעד (Arbitrum, Optimism, Base) עם ממשל multisig.
- מסירת קוד מקור מלא וסקריפטי פריסה עם גישה למאגר Git.
- תיעוד טכני מקיף ודיאגרמות ארכיטקטורה.
- הדרכת צוות (שעתיים) המכסה תפעול פרוטוקול ונהלי חירום.
- תמיכה לאחר פריסה — 3 חודשים כלולים (ניטור, תיקונים חמים).
טעויות אופייניות ורשימת בדיקה
- בחירת פרמטר k: k קטן מדי מוביל להחלקת מחיר גבוהה; k גדול מדי שובר את שיעור המימון. בדוק לאחור עם תנודתיות היסטורית.
- מחיר אורקל מיושן: ודא heartbeat ומפסק חשמל; השתמש באורקלים מרוכבים.
- הצטברות חוב אבוד: נטר את רמת קרן הביטוח; הפרש מימון ראשוני מספק.
- תמריצי חיסול: הגדר קנס גבוה מספיק למשיכת מחסלים אך לא גבוה מדי לפגיעה במשתמשים.
- מנגנון הפסד מחולק: יישם בבירור; הימנע מהפתעות באמצעות תיעוד.
אנחנו צוות של מהנדסי בלוקצ'יין עם ניסיון של 10+ שנים בפיתוח פרוטוקולי DeFi. השקנו למעלה מ-50 פרויקטים, כולל מספר DEXs מובילים לפריפטואלים. צור קשר כדי לקבל תוכנית יישום מפורטת ל-vAMM שלך — נעריך לוחות זמנים ועלויות באופן אישי. בהשוואה לפריפטואלים מבוססי ספר הזמנות, vAMM מציע דרישות הון נמוכות פי 10 וזמן-לשוק מהיר פי 3. קבל ייעוץ על ארכיטקטורת vAMM – נבחר פרמטרים אופטימליים לפרויקט שלך.