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

ארכיטקטורת בלוקצ'יין מודולרית הובילה להתפוצצות קמבריאנית של פתרונות קנה מידה ולמרות היתרון הראשון של רכיבים אופטימיים, אוסף ידע אפס (ZK) עומד בתור כדי לשבת על כס המלכות. אוסף zkEVM, המכונה לעתים קרובות "הגביע הקדוש של קנה המידה" מכיוון שהם מציעים את אותה חווית מפתח בדיוק כמו Ethereum, נמצאים היום ברשת האינטרנט. זה לא איזה עתיד היפותטי; כעת נוכל לעבד כמויות גדולות של עסקאות בעלות נמוכה בשכבה 2 ולסיים את מעבר המצב שנוצר בשכבה 1 מבוזרת בתוך דקות. מפתחי Solidity קיימים אינם צריכים ללמוד שפות תכנות חדשות, לגלות כלים חדשים, או אפילו לכתוב מחדש ולבקר את ה-dapps הקיימים שלהם כדי למנף את הטכנולוגיה החדשה הזו. פריסת ה-Dapp שלך לאוסף zkEVM שווה ערך ל-EVM הוא פשוט כמו העתק הדבק.

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

כדי לגשר על הפער מהמקום בו אנו נמצאים היום למקום בו אנו צריכים להיות בעתיד, לכן חובה לכל צוותי ה-Rollup לתאר את התוכניות שלהם לביזור מתקדם ולמזעור אמון. ב-Linea, לפני השקת Mainnet Alpha שלנו לציבור ב-18 ביולי, הצגנו תוכנית בת 5 שלבים על האופן שבו אנו מתכוונים להסיר את גלגלי האימון שלנו ולספק פתרון אוסף בוגר מאובטח במלואו על ידי Ethereum. קו הוא סוג 2 zkEVM ידידותי למפתחים המבוסס על ידי חברת תשתיות ה-web3 המובילה Consensys.

רכיבי ZK מציעים מטבעם ערבויות אבטחה טובות יותר מאשר אוסף אופטימיים מכיוון שהם מסתמכים על קריפטוגרפיה, לא קריפטו-כלכלה, כדי להגן על מסד הנתונים. חוזים חכמים ב-Ethereum מאמתים הוכחת תוקף שפורסמה על ידי האוסף כדי לאשר את תקינות המעבר המוצע למדינה. עבור zkEVM, זה מחייב את כל קודי האופקודים והפרה-קומפילים הקיימים של EVM להיות מוכחים בשכבה 2. בעוד מספר חודשים בלבד, כחלק מהשלב הראשוני שלו, Linea תציע כיסוי של 100% של כל הביצועים האפשריים כך שכל משתמש או dapp צריך רק לסמוך על אימות ההוכחה ב-Ethereum כדי להיות משוכנע שלא התרחשה התנהגות זדונית. התוכנה ומעגלי האפס ידע יהיו קוד פתוח עבור כל אחד לאימות באופן עצמאי. הרישוי יאפשר למשתמשים להציג, לשנות ולחלק את הקוד, ויבטיח שקהילת Linea תוכל לפעול אם צוות הליבה יתרחק אי פעם מהמשימה המיועדת לו.

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

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

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

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

אין ספק ש-ZK-rollups ו-zkEVMs נמצאים כאן. Linea הוא zkEVM חדש בשידור חי ב-mainnet, שקוף לגבי מצב הבשלות הנוכחי שלו ויש לו נתיב ברור לביזור ולמזעור אמון. אנחנו כבר יכולים לראות את יתרונות המדרגיות אבל יש עדיין עבודה לעשות כדי להסיר גלגלי אימון. אנו מאמינים כי על ידי התמקדות במטרה הסופית כבר מההתחלה, אנו נמצאים בעמדה ייחודית להיות אוסף zkEVM הראשון למימוש החזון המלא של הרחבת Ethereum.