פורק Lido לסטייקינג נזיל: פיתוח, התאמה, אתחול

פיתוח פורק של Lido: צווארי הבקבוק של סטייקינג נזיל

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

המשתמש רואה סטטוס "בטיפול", והצוות רואה זנב בקשות הולך וגדל שאי אפשר לסגור בלי נזילות חיצונית.

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

קנסות הבקרים עוברים סוציאליזציה: סלאשינג של מפעיל אחד מקטין את היתרה של כל מחזיקי טוקן החליפין, ולא רק של זה שהריץ את הצומת התקול. בלי הפרדת אחריות בין המפעילים ובלי חיץ לכיסוי הקנסות, ההפסד נמרח על כל מצבת המחזיקים, והתשואה שלהם נשחקת בלי הסבר ברור.

תחת עומס נוספים עיכובי חישוב: חישוב מחדש של יתרות, צבירת תגמול ועדכון מעגל ה-oracle מתחילים לפגר זה אחרי זה, והנתונים בממשק נבדלים מהמצב בפועל של החוזים. חוסר הסנכרון עצמו לא גונב כספים, אבל פותח חלון לארביטראז' נגד הפרוטוקול. נפרק כיצד כל אחד מהכשלים האלה נסגר ברמת הארכיטקטורה של הפורק.

האפקט מפרוטוקול משלך: מדדים מדידים

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

המשמעות היא לא "נהיה נעים יותר", אלא גדלים קונקרטיים: כמה ממתין המשתמש למשיכה, איזה חלק מהפעולות לא עובר, וכמה מהר המעגל חוזר לפעול אחרי כשל של צומת.

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

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

שלושה מסלולים: העברת קוד מוכן, התאמה, הרכבת מודולים

העברת קוד מוכן, התאמה והרכבה מודולרית נבדלות לא ב"נכונות", אלא במה שאתם יורשים יחד עם הקוד: כלכלה, מרשם בקרים, הרשאות אדמין, סט תלויות חיצוניות. המסלול הראשון הוא הקצר ביותר, אבל הוא גם מעביר החלטות תכנון של אחרים — אותן מבטלים אחר כך בפאצ'ים, לא בהגדרות.

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

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

סדר העבודות: ביקורת, תכנון, הגדרה, בדיקה, מסירה

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

1. ביקורת דרישות ומעגל נוכחי. מפרקים איפה ובאיזה אופן הסטייק כבר מונח, אילו רשתות וסכימות קסטודיאליות מעורבות, אילו מגבלות קובעות הנהלת החשבונות והמדיניות הפנימית. התוצאה — רשימת האילוצים שהסכימה חייבת לכבד.
2. תכנון סכימת זרימות הכספים. קובעים את נתיב הכספים: קבלת דפוזיט, הנפקת טוקן-קבלה, חלוקת תגמול לפי דוח אורקל, עמלת הפרוטוקול, משיכה. בנפרד מתארים מגבלות, מנגנון השהיה ותפקידים עם הפרדת הרשאות.
3. הגדרת צמתים ותפקידים. פורסים צמתי בקרים, מפרידים מפתחות חתימה וניהול בין מחסנים שונים, מציבים ניטור על נפילת צומת והחמצת חובות.
4. הכנת מעגל בדיקות. מריצים מחזור מלא על עותק של פרמטרים מבצעיים, מחברים ארנקים, הנהלת חשבונות ופלטפורמות סחר של טוקן-הקבלה.
5. בדיקות קבלה. תרחישים של דפוזיט והנפקה, דוח אורקל, משיכה, כשל בקר, השהיה ועדכון חוזים — כל אחד עם תוצאה צפויה ופרוטוקול ריצה.
6. מסירת התפעול. מוסרים רגולציות, סכימת תפקידים ומפת התראות, מתארים סדר פעולות באירועים, מלמדים את הצוות ונשארים לליווי.

ערכת האספקה: תצורות, סכימות, רגולציות הנפקה

את העבודה אנחנו מוסרים לא כ"פרוטוקול עובד על המילים", אלא כערכה שלפיה הצוות שלכם יכול להפעיל את המערכת בלעדינו. כל מה שנדון מתועד בארטיפקטים: מקבצי סביבה ועד סדר הפעולות של מהנדס תורן בעת כשל. להלן — מה בדיוק נשאר אצל הלקוח.

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

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

קייס: מדדים לפני ואחרי הפעלת פרוטוקול סטייקינג

פרוטוקול סטייקינג נזיל הופעל כפורק מותאם של מימוש פתוח: כבסיס נלקחה הארכיטקטורה של Lido, ומודולי משיכת הכספים, העבודה עם מפעילי הבקרים ומעקב החלקים נכתבו מחדש לפי כללים משלנו. להלן — מדדים שנלקחו מהמעגל העובד, לא מעמד הדגמה.

מה היה לפני העיבוד מחדש

הגרסה הראשונה עלתה לרשת עם ניהול ידני של תור המשיכה: בקשות נאספו בחבילות פעם ביום, ולכן המשיכה ארכה משניים עד שלושה ימים, ובימי שיא נמתחה עד חמישה. שיעור הבקרים הפעילים עמד על כ-60% — צומת חדש הוכנס לעבודה רק אחרי התאמת דפוזיט ידנית ואישור מהמפעיל.

כ-8% מהפעולות — דפוזיט, משיכה, חלוקה מחדש של הסטייק בין מפעילים — הסתיימו בכשלים ודרשו ריצה חוזרת ידנית.

מה שינו

מודול תור המשיכה נכתב מחדש: מכסת עיבוד הבקשות מחושבת לכל אפוק, בקשות מבוצעות בחבילות בלי המתנה לאישור ידני, ויציאה מהתור לא חוסמת קבלת דפוזיטים חדשים. הכנסת הבקר לעבודה עברה אוטומציה — הצומת עולה מיד עם אישור הדפוזיט, וחלוקה מחדש של הסטייק בין מפעילים מתבצעת לפי משקלים מוגדרים.

מה נהיה

זמן משיכת הכספים במצב רגיל — 4–6 שעות, בשיא — עד יממה, כלומר הבקשה הפסיקה להיות פעולה של ימים רבים. שיעור הבקרים הפעילים עלה ל-93%: הכספים שהושקעו הפסיקו לעמוד בחוסר מעש בהמתנה לשלב ידני.

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

מה לעשות אם הפורק כבר פרוס, והנזילות לא גדלה

בפרוטוקול שכבר פרוס — פורק של Lido — את האבחון מתחילים משלושה צמתים: קבלת הסטייק, שער החליפין והיציאה. אם חוזה הדפוזיט מושהה או שמכסת מאגר המפעילים מוצתה, המפקיד נתקל בסירוב לפני שהוא רואה תשואה. בהמשך מפרקים את התעריף: עמלת הפרוטוקול, תגמולי הקונצנזוס, חלוקת ההכנסה מביצוע בלוקים.

כשל נפוץ שני — פער בין השער לשוק. דוח אורקל נדיר יוצר סדק לארביטראז': החלק נסחר בסטייה מנכס הבסיס, פלטפורמות הבטחונות מעלות את הדיסקאונט, והמפקיד עובר לסטייק ישיר. מרכיבים מחדש את תדירות הדוחות ואת החלקת השער, כדי שמחיר החלק לא יקפוץ על גבול הדוח.

חיבור נזילות — אלה פרמטרים, לא קמפיין: עומק מאגרים, גודל הטווח במאגרים מרוכזים, ליסטינג באגרגטורים, הכרה בחלק כבטחון בשווקי אשראי. זה עובד רק אחרי שהשער מחושב ביושר והיציאה צפויה — אחרת מושכים מחזור שנעלם בסטייה הראשונה.

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

קריטריוני ההפעלה מחדש — מדדים, לא תחושות: חלק הסטייק בפרוטוקול, סטיית השער מנכס הבסיס, עומק המאגר מול בקשה גדולה, זמן המשיכה. כל עוד לפחות אחד מהם מחוץ לנורמה, התמריצים רק מסווים את החור.

שאלות טכניות נפוצות: סיכונים ומגבלות ההפעלה

לפני הפעלת פורק של Lido לקוחות בודקים ארבעה דברים: מה יקרה לכספים שכבר הושקעו, האם אפשר להחזיק את המערכת במעגל סגור, מי אחראי לקנסות הבקרים ואיך מחליפים את מודול חישוב התגמול. להלן — תשובות ישירות, כולל מגבלות הפרוטוקול שכדאי לדעת לפני ההתחלה, לא אחריה.

האם אפשר להפעיל את המערכת בלי יציאה לפלטפורמות חיצוניות?

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

מי נושא באחריות לקנסות הבקרים?

הקנס נופל על מפעיל הצומת, ובפורק זה מוטבע בכללים: חלק מהתגמול של המפעיל מעוכב כחיץ כיסוי, וחריגה נסגרת מקרן ביטוח. עבור מפעילים חיצוניים גודל החיץ וסדר הפיצוי נקבעים בחוזה ונבדקים באוטומציה — האחריות לא נמחקת בין המשתתפים.

איך מחליפים את מודול חישוב התגמול?

המודול מוציא לחוזה נפרד ומתעדכן דרך ניהול עם השהיית ביצוע: הלוגיקה הישנה והחדשה פועלות במקביל, עד שנסגרים חישובי התקופות הקודמות. לפני ההחלפה העדכון מורץ ברשת בדיקות עם עותק מצב, והמעבר מתבצע על גבול התקופה, כדי לא לחשב מחדש את מה שכבר נצבר.

נדון במשימה: נחזור עם אומדן ותוכנית עבודה

כדי לחזור עם אומדן ותוכנית עבודה, אנחנו צריכים לא רשימת משאלות, אלא נתוני פתיחה קונקרטיים. מהרשת היעד תלוי נפח ההתאמה של חוזי הפורק של Lido, ממודל התגמולים — לוגיקת החישובים ומודולי החלוקה, ומסט התפקידים — סכימת הגישה לפעולות קריטיות.

לפי תוצאות הניתוח נשלח מסמך: הרכב העבודות לפי שלבים, לוחות זמנים להפעלה וגבול האחריות — מה אנחנו סוגרים ומה נשאר בצד שלכם. האומדן מפורק לפי שלבים, ולכן אפשר להפעיל בחלקים ולשנות את הסדר לפי העדיפויות שלכם.

• רשת יעד ודרישות תאימות — קובעים את סט החוזים ואת נפח העבודה הנוספת.
• פרמטרים של הטוקן ולוגיקת התגמולים: עמלת הפרוטוקול, חלוקת התשואה, הנפקה ופדיון.
• תפקידים והרשאות: מפעילי בקרים, גזברות, ועדת ניהול, מי מאשר פעולות קריטיות.
• דרישות למפתחות וגישות: סכימות חתימה, מגבלות, הפרדת סמכויות בין המשתתפים.
• אינטגרציות: ארנקים, אגרגטורים, מאגרי נזילות, מקורות נתונים על שערים.
• נתוני פתיחה רגולטוריים וכללי גישת משתמשים — משפיעים על מודולי הבדיקה והמגבלות.
• מה כבר נעשה: ביקורת, אב-טיפוס, חישובים — מקצר לוחות זמנים ומסיר כפילות עבודות.

נדון במשימה: תארו את מצב הפרויקט הנוכחי ואת היעד בלוחות זמנים — נחזור עם אומדן, הרכב עבודות ולוחות זמנים לשלבים.