שכבה 2: אישור מהיר אינו סליקה סופית

ציינו באיזה שלב אתם צופים

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

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

הבינו את ההבדל בין שיטות האימות

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

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

הבחינו בין עיכוב בסליקה לנזילות לצורך משיכה

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

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

בדקו מנגנוני בקרה ותשתיות

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

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

מדדו את העלות לאורך מחזור החיים כולו

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

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

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

פרסום נתונים אינו הבטחה לאחסון תמידי

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

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

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

העריכו את מסלול היציאה שתשתמשו בו בפועל

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

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

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