נקודת המכירה העיקרית של רשתות בלוק 2 שנבנו על גבי Ethereum - מלבד התפוקה המוגברת - היא אבטחה. L-2s אמורים לאפשר עסקאות מהירות וזולות יותר, ולהיות מאובטחות כמו Ethereum.
זה לא מפתיע שבמציאות הדברים מסובכים.
"אבטחה", בהקשר זה, המונח מתייחס לערבות להסדר עבור Ethereum mainnet. זה מתורגם לכמה בטוח שמשתמש יכול להיות שעסקאות L-2 שלו יסתיימו כהלכה - ללא צנזורה - והאם נכסים נשארים בטוחים מפני גניבה על ידי שכבה 2 בעלת ביצועים יותר.
לא מדובר באבטחת חוזים חכמה ברמה של יישומים. (זה גם לא על הימנעות משיכות או ניצול.) זה יותר קשור אם המכונה הוירטואלית Ethereum יכולה להריץ את הקוד בהתאם למפרטים.
קשה למצוא הגדרה מוסכמת אוניברסלית של המשמעות של להיות. "מאובטח על ידי Ethereum." לואי גוטמן הוא המוביל במערכת האקולוגית של StarkWare. לדבריו, נוכחות של תכונת הסמכה L-2, כמו מעריך, תהיה גורם מכריע. "פתח בריחה" - דרך לצאת ללא רשות עם הנכסים חזרה לרשת Ethereum.
"שכבה 2 דורשת מנגנון שמאפשר לעצמו לפתור את האתגרים שלה באמצעות השרשרת הראשית", אומר גוטמן ל-s.
צובר הנתונים L2Beat מגדיר שכבה-2 כ"שרשרת ששואבת את האבטחה שלה באופן מלא או חלקי מ-[Ethereum mainnet] כך שמשתמשים לא יצטרכו להסתמך על היושרה של מאמת L2 למען אבטחת הכספים שלהם."
זהו כלי שימושי מאוד. "ניתוח סיכונים" מסגרת למעקב אחר אפשרויות L-2 שונות. המסגרת מדרגת פרויקטים לפי הערך הכולל הנעול, לא לפי אבטחה. עם זאת, הוא משווה כל שכבה 2 פעילה על פני קריטריוני אבטחה שונים.
לאחר מכן, יש גם את "אימות המדינה" L2Beat מגדירה את השיטה כדרך חיים "הכי חשובה" זו הדרך שבה פועלת השרשרת "מבטיחה שמאמתי L2 לא יכולים לרמות ולכלול עסקאות לא חוקיות בבלוק L2, למשל מטבעות מטבעות מתוך אוויר דליל או לגנוב את המטבעות שלך," השאלות הנפוצות באתר מספקות מידע נוסף.
אימות יכול להתבצע באמצעות הוכחות ZK או הוכחות הונאה.
טכניקת האפס ידע משמשת ב-Rollups שכבה-2 על מנת לבדוק נכונות או חישוב מבלי לחשוף מידע רגיש.
תאר לעצמך שלתיבת האוצר שלך יש מנעול קוד סודי. אתה רוצה להדגים לחבר, מבלי לחשוף בפניו את הקודים, שאתה יכול לפתוח את החזה וכך לקבל את השילוב. מבחן אפס ידע מאפשר לך להוכיח שהקוד נכון מבלי שתצטרך לחשוף אותו.
הוכחת הונאה היא דרך לזהות ולמנוע פעילויות זדוניות או שגויות בעיבוד עסקאות מכלול. זה מבטיח את הדיוק והיושר של עסקאות המבוצעות מחוץ לשרשרת.
ההוכחה של Ethereum mainnet היא כמו שופט שבודק מהלכים חוקיים במהלך משחק שח. פעולת הונאה או מצב משחק שגוי לא יתקבלו אם מישהו ינסה לרמות.
זמינות נתונים מתייחסת לשאלה אם נתוני העסקאות מאוחסנים ברשת Ethereum mainnet - המאובטח ביותר - או במקום אחר.
ניתן ליצור שכבות-2 בארבע דרכים שונות. לפי L2Beat
- zkRollups - הוכחות תוקף עם נתונים על L1 Ethereum;
- אוסף אופטימיות - הוכחות הונאה עם נתונים על L1 Ethereum;
- Validium - הוכחות תוקף עם נתונים שנשמרו מחוץ לשרשרת; ו
- פלזמה - הוכחות הונאה עם נתונים שנשמרו מחוץ לשרשרת.
יש פשרות עם כל אחד מהסוגים האלה, וחלקם עשויים להיות טובים יותר למקרי שימוש מסוימים.
Loopring השיקה את ה-Dex שלה בפברואר 2020, האוסף הראשון מבוסס הוכחה. אבל היא עמדה בקיפאון בשנים האחרונות, כך עולה מנתוני L2Beat, ומעבדות בערך עסקה אחת כל 10 שניות, בעוד שה-TVL של הרשת ירד ב-88% מהשיא שלה ב-2021, ומורכב מיותר מ-50% LRC - האסימון המקורי של הרשת עצמה.
החברה ממשיכה למקד את מאמציה ביוזמות גיימינג וארנק חכם.
השקת האוסף האופטימי
שניהם נטלו את האוסף האופטימי באוגוסט 2021 ובדצמבר 2021. שניהם קיבלו את "מאבטח על ידי Ethereum" הוכחת הונאה אפשרית עם המעטפת.
לפי מפתחי אופטימיזם OP Labs "הוכחות תקלות" נכון יותר להשתמש במונח.
"המערכת לא תמיד מזהה 'הונאה', רוב הזמן זו רק 'תקלה' (כלומר צומת לא היה מסונכרן והוא מסכים עם שורש פלט שגוי וכו')", נאמר על ידי OP. דובר המעבדות. עם זאת, L2Beat משתמש ב"הוכחת הונאה" הנפוצה. שניהם ניתנים להחלפה בתפיסה.
ההבדל הראשוני ביישום חסין הונאה היה עניין של פרטים. האופטימיות בחרה ביישום פשוט. יוצר ארביטרום, Offchain Labs, העדיף עיצוב הוכחה "הוכחות אינטראקטיביות".
במרץ 2022, חוקר האבטחה יואבוייס ערך ביקורת לאחר מכן בנושא אופטימיות. "קשה להבטיח הוכחות הונאה בסיבוב אחד", הוא קיבל מענק רטרואקטיבית מצוות האופטימיות.
"אם הוכחות הונאה הופכות למורכבות מדי, הן עלולות להפוך ביזור מלא למסוכן מדי", כתב וייס. "סיקוונסר זדוני עלול להשחית ולמשוך את האוסף כולו אם הוא יכול לבצע מעבר מצב בלתי ניתן להוכחה."
הרצף הוא השולט בסדר העסקאות. הרצף יכול להיות מנוהל באופן מרכזי או מבוזר, אם כי הדוגמאות של היום נוטות להעדיף ניהול ריכוזי.
ארביטרום, שהיא גישה שמרנית יותר מזו של אופטימיזם בימיה הראשונים, הפכה לכוח הדומיננטי החדש. "תותח" בן ג'ונס אמר ל-s, מנהל קרן האופטימיות שהם משחררים את המהדורה. "פגיעות לא היו הנהג עבורנו לשנות את המסלול."
"זה נכון אמנם שחלק מהגמישות מוגבלת, וההחלטה שלנו להיות חלוצה של בסיס הקוד הראשון המקביל ל-EVM L2 הפכה את הגמישות והמודולריות הזו לחשובות מאי פעם", אמר ג'ונס, "זה היה המניע העיקרי, לצד פריצות דרך מחקריות שנבעו מפיתוח של תוֹתָח."
ארביטראם הוא היחיד מבין שני רולסופים אופטימיים גדולים שיש להם הוכחות הונאה. זו הייתה נקודה של אי הסכמה בין שני הצוותים לגבי תביעות ביטחון. מייסד שותף של Offchain Labs, סטיב גולדפדר, הרחיק לכת כדי להשוות את המצב הנוכחי של אופטימיזם ל"בניית מכוניות ללא מנועים" ואז נסה שוב "למכור אחת על ידי הדבקת מדבקה שאומרת "מנוע חזק מאוד".
חוסר בגרות יחסית
שדרוג Bedrock של Optimism, ששוחרר לאחרונה, הציג כמה שיפורים. עם זאת, הוכחות תקלות לא נכללו. ג'ונס לא נתן ציר זמן ספציפי אבל כן אמר "הוכחות תקלות הן בראש סדר העדיפויות במפת הדרכים של הביזור שלנו."
"אנו שואפים להגיע לביזור שלב 2 של [L2Beat] במהירות האפשרית, ולדעתנו, שלב 2 דורש יישומים מרובים של הוכחת תקלות."
L2Beat משחררת את המסגרת שלה עבור L2Beat. "שלבים" הוכרז כי מייסד Ethereum Vitalik Buterin הציע קבוצה של אבני דרך. שלב זה מתמקד ב"בגרות" של ביזור, שאינה בהכרח מקבילה ישירות לביטחון - אם כי ישנן הקבלות ברורות.
ל-Bedrock יש כעת מספר לקוחות לביצוע, אמר ג'ונס, זו תכונה ייחודית ל-Bedrock. "סוללת את הדרך להוכחות [אשמת] מרובות."
קונספט ה"סופרצ'יין" של OP Stacks אינו מוגבל להוכחות תקלות אלא כולל גם אפס ידע. קרן אופטימיזם פרסמה לאחרונה בקשה להצעה ליצור בדיוק את זה, ועודדה את צוות O(1) Labs של פרוטוקול Mina לסיים את העיצוב.
ג'ונס הצהיר כי מועמד שיצליח יספק יתירות וישפר את יכולת ההרכב של רשתות העל.
"הערה חשובה מאוד ב-RPP הזה היא שהיא מיועדת לאותה מכונת מצב מדויקת שבה פועלות הוכחות התקלות", אמר ג'ונס, "משמעות הדבר היא שרשת מאובטחת ב-ZK לא תדרוש הקרבה לשוויון EVM."
Starkware Guthmann אמרה כי "אימוץ רב יותר של zk כמערכת ההוכחה הבסיסית שלהם הוא מאוד מרגש עבור המערכת האקולוגית - זה יותר השקעה יותר מחקר ובתקווה יותר מוכיחים ותשתית יעילה יותר להתפתחות בלוקצ'יין."
הרעיון של L2Beat להתגלגל משלב 0 ל-2 הוא רעיון שהוא לא מתקבל על הדעת. "קצת קפדני מדי."
שלב 1 מחייב פריסת אוסף. "מערכת הוכחה מלאה ופונקציונלית," להלן כמה דוגמאות כיצד להשתמש ב-"לפחות חמישה שחקנים חיצוניים שיכולים להגיש הוכחות הונאה", למשתמשים צריכה להיות היכולת לעזוב את Ethereum mainnet "ללא עזרת המפעילים המורשים."
השלב 2 דורש עבודה נוספת "האוסף הופך למנוהל במלואו על ידי חוזים חכמים", עם מערכת הוכחת הונאה ללא רשות - כל אחד יכול להגיש הוכחה - ולפחות 30 יום נעילת זמן לשדרוג מערכת, מה שנותן למשתמשים "זמן רב לצאת. ”
הרעיון של "פתח מילוט".
"הפער מ-0 ל-1 הוא אדיר", אומר גוטמן. "ואפילו מ-1 ל-2 זה לא ריאלי עבור כל L-2 שיהיו לו שלטון, כי בעצם מספר שתיים מניח שלעולם לא תשדרג את המערכת שלך, וזה בעייתי", "הוא אמר"
ג'ונס אמר "משיכות ללא רשות אינן מספיקות כדי להיות 'מאבטחות על ידי Ethereum', אם עדיין יש מולטיסיג שיכול לשבור באופן חד צדדי מאפייני אבטחה."
חוזים חכמים משודרגים לרוב באמצעות ארנקים מרובי חתימות.
"היכולת לסגת ל-L1 - לסביבה אחרת - היא מה שהופכת אותם למעניינים יותר כפתרון להרחבה שבו אתה שומר על משמורת עצמית", הוסיף גוטמן. אמר גוטמן.
גוטמן אומר שזו שאלה מהותית לגבי היכן נמצאות הרשתות על הספקטרום של ביזור. הוא גם אמר שטכנולוגיית אפס ידע מאפשרת השגת יכולת הרחבה מבלי לפגוע בביזור.
רק ארביטראם, מבין הקבוצות הגדולות, השיגה את שלב 1. הבורסה המבוזרת, dYdX, רשומה כעת באמצעות פלטפורמת StarkEx של Starkware. עם זאת, זה יעבור בקרוב לקוסמוס.
גוטמן סבור שסיווג זה מוצדק לחלוטין. "הם מצליחים הרבה יותר מכל הקבוצות האחרות ביחד", "הוא אמר"
עם זאת, בסופו של דבר, הוא מאמין שטכנולוגיות אפס ידע יהפכו לסטנדרט הן לאבטחה והן להרחבה.
"יש הבדל בין אופטימיות והיעדר הוכחות הונאה שלהם, לבין zkSync ומה ש-Starkware עושה. יש הבדל בקדמה הטכנולוגית".
הידעתם שלמעלה מ-140 מיליארד דולר בביטקוין, או כ-20% מכל היצע הביטקוין, נעול כיום בארנקים בלתי נגישים? או שאולי איבדת גישה לארנק הביטקוין שלך? אל תתנו לכספים האלה להישאר מחוץ להישג ידם! מאתר ביטויי AI Seed כאן כדי לעזור לך להחזיר את הגישה ללא מאמץ. תוכנה רבת עוצמה זו משתמשת בטכנולוגיית מחשוב-על מתקדמת ובינה מלאכותית כדי ליצור ולנתח אינספור ביטויי זרע ומפתחות פרטיים, מה שמאפשר לך לקבל בחזרה גישה לארנקים נטושים עם יתרות חיוביות.
