Ethereum התבססה כשורש היסוד של הפיננסים המבוזרים והמערכת האקולוגית הרחבה יותר של Web3. היא משמשת כשכבת ההסדרה עבור מיליארדי דולרים בשווי ומארחת אלפי יישומים מבוזרים. עם זאת, הפופולריות העצומה הזו יצרה אתגרים משמעותיים בנוגע לקיבולת הרשת. ככל שיותר משתמשים נוהרים אל הרשת, הביקוש למרחב בלוקים חורג מההיצע הזמין. הבקבוק הזה בצוואר גורם לעומס ברשת ועמלות עסקאות מזנקות שמכוונות לעיתים קרובות מחוץ למשתמשים יומיומיים.
הקהילה מזהה זה זמן רב כי הבלוקצ'יין הראשי של Ethereum, המכונה לעיתים קרובות Layer 1, אינו יכול להתמודד עם נפח העסקאות העולמי לבדו. הרשת מעבדת באופן קבוע יותר ממיליון עסקאות מדי יום, אך זה אינו מספיק כדי לענות על הביקוש הגלובלי. כדי להתמודד עם זאת, מפתחים בנו פתרונות שיושבים על גבי הרשת הראשית. אלה מכונים באופן קולקטיבי פתרונות הרחבת Layer 2. הם שואפים להגביר את תפוקת העסקאות מבלי לפגוע באבטחה החזקה שהופכת את Ethereum לבעלת ערך.
בין הגישות השונות להרחבה, רולאפים התבלטו כטכנולוגיה המבטיחה ביותר לעתיד לטווח ארוך של הרשת. רולאפים מעבדים עסקאות מחוץ לשרשרת הראשית של Ethereum אך מפרסמים את נתוני העסקאות חזרה אליה. גישה זו מפחיתה את הנטל על הרשת הראשית תוך הבטחה כי הנתונים נשארים נגישים ומאובטחים. בתוך קטגוריה זו, שני מתחרים עיקריים עלו לחזית: Optimistic Rollups ו-Zero-Knowledge (ZK) Rollups.
אתגר ההרחבה ושכבה 2
כדי להבין מדוע רולאפים נחוצים, יש קודם כל לתפוס את המגבלות הטבועות בעיצוב בלוקצ'יין. זה מתואר לעיתים קרובות כ-"דילמת הבלוקצ'יין". המושג מצביע על כך שרשת מבוזרת יכולה לייעל רק שתיים מתוך שלושת התכונות העיקריות בבת אחת: מבוזרות, אבטחה והרחבה. Ethereum נתנה עדיפות היסטורית למבוזרות ואבטחה. בחירה זו אומרת שההרחבה בשכבה הבסיסית מוגבלת באופן טבעי.
עלות העומס
כאשר הרשת הופכת עמוסה, המנגנון לכלול עסקאות בבלוק דומה למכירה פומבית. משתמשים מציעים הצעות מחיר זה נגד זה כדי שמבקרי ההוכחה יעבדו את העסקאות שלהם. זה מוביל למחירי גז תנודתיים. בתקופות של ביקוש גבוה, ביצוע החלפת טוקן פשוטה או אינטראקציה עם יישום מבוזר יכול לעלות סכומים מופרזים. החיכוך הזה מגביל את צמיחת המערכת האקולוגית ומעכב אימוץ נרחב של יישומים מבוזרים (DApps).
העברת ביצוע מחוץ לשרשרת
פתרונות Layer 2 מטפלים בזה על ידי העברת העבודה הכבדה מחוץ לשרשרת הראשית של Ethereum. במקום שכל צומת ברשת הראשית תעבד כל חישוב בודד, הביצוע מתרחש בשכבה משנית. רשת Layer 2 מטפלת בחישוב ובאחסון שינויי מצב. לאחר מכן היא שולחת באופן תקופתי סיכום או הוכחה של העסקאות האלה לרשת הראשית של Ethereum. זה מקבע את מצב Layer 2 ל-Layer 1, ומנצל את האבטחה של Ethereum מבלי העומס שלה.
סוגי פתרונות הרחבה
בעוד שרולאפים הם המוקד, קיימים פתרונות אחרים. ערוצים, דומים לרשת הברק של Bitcoin, מאפשרים למשתמשים לבצע עסקאות ללא הפסקה מחוץ לשרשרת ולהסדיר רק את היתרה הסופית על השרשרת. Plasma יוצרת שרשראות ילד שמשתמשות בשרשרת הראשית לבוררות אמון. שרשראות צד עצמאיות פועלות במקביל לאתריום עם מנגנוני קונצנזוס משלהן. עם זאת, רולאפים זכו להעדפה מכיוון שהם שומרים נתונים על השרשרת, ומספקים ערבויות אבטחה גבוהות יותר משרשראות צד או Plasma.
איך רולאפים פועלים
רולאפים מקבלים את שמם מתהליך ה-"גלגול למעלה" או איגוד מאות או אלפי עסקאות לאצווה אחת. במקום להגיש כל עסקה בנפרד לרשת הראשית של Ethereum, מפעיל הרולאפ מגיש אצווה דחוסה של נתונים. זה מפחית באופן משמעותי את טביעת הרגל של הנתונים ב-Layer 1. על ידי חלוקת עמלות העסקה של ההגשה בין משתמשים רבים, העלות למשתמש יורדת באופן דרמטי.
ההבדל הקריטי בין שני סוגי הרולאפים העיקריים נעוץ באופן שבו הם מוכיחים לרשת הראשית שהעסקאות מחוץ לשרשרת תקפות. הרשת הראשית זקוקה לדרך להבטיח שהנתונים המוגשים נכונים ושאיש אינו מעבד עסקאות לא תקפות או גונב כספים. Optimistic Rollups ו-ZK-Rollups נוקטות שתי גישות פילוסופיות וטכניות שונות לחלוטין בתהליך האימות הזה.
רולאפים אופטימיסטיים: ההנחה של חפות
רולאפים אופטימיסטיים פועלים על עיקרון דומה ל-"חף עד שיוכח אשם". כאשר אצווה של עסקאות מוגשת לרשת הראשית של Ethereum, המערכת מניחה באופן אוטומטי שהעסקאות תקפות. היא אינה מבצעת חישוב כבד מיידי כדי לבדוק כל חתימה או שינוי מצב. ההנחה ה-"אופטימיסטית" הזו מאפשרת שיפורים משמעותיים במהירות ובתפוקה מכיוון שהעלות של אימות קבוע מוסרת.
מנגנון הוכחת הונאה
כדי להבטיח אבטחה, רולאפים אופטימיסטיים משתמשים במנגנון המכונה הוכחת הונאה. בעוד שהמערכת מניחה תקפות כברירת מחדל, יש חלון זמן ספציפי לאחר ההגשה המכונה תקופת אתגר. במהלך חלון זה, שנמשך בדרך כלל כשבוע, משתתפים אחרים ברשת יכולים לערער על תקפות אצוות עסקאות. אם מישהו מזהה פעילות זדונית או חישוב לא תקף, הוא יכול להגיש הוכחה לרשת הראשית שמאתגרת את האצווה.
אם אתגר מאומת כנכון, אצוות העסקאות הלא תקפות נגלגלות חזרה. השחקן הזדוני שהגיש את האצווה הרעה מעונש, לעיתים קרובות על ידי איבוד הכספים שהוא קשר או "הפקיד" כדי להשתתף כמבקר הוכחה. הגישה של "גזר ומקל" הזו מעודדת התנהגות כנה. משתתפים יודעים שאם ינסו לרמות, סביר להניח שיתפסו ויענשו כלכלית במהלך חלון האתגר.
תאימות ופיתוח
אחד היתרונות העיקריים של רולאפים אופטימיסטיים הוא רמת המורכבות שלהם מבחינת יישום. הם מסתמכים על טכנולוגיית קריפטוגרפיה סטנדרטית שהיא מובנת היטב בתעשייה. מכיוון שהם אינם דורשים הוכחות מתמטיות חדשות מורכבות לכל אצווה, הם קלים יותר לבנייה. חשוב מכך, הם מציעים תאימות גבוהה למכונת האת'ריום הווירטואלית (EVM).
תאימות EVM זו אומרת שמפתחים יכולים להעביר את היישומים המבוזרים הקיימים שלהם מ-Layer 1 של Ethereum לרולאפ אופטימיסטי עם שינויים מינימליים. חוזים חכמים שנכתבו עבור הרשת הראשית עובדים בדרך כלל בצורה חלקה על Layer 2 אלה. זה אפשר אימוץ מהיר, כיוון שפרוטוקולים ופרויקטים גדולים של DeFi יכולים להרחיב את הפעילות שלהם מבלי לכתוב מחדש את בסיסי הקוד שלהם.
בקבוק הצוואר של המשיכות
הסתמכות על תקופת אתגר מציגה חיסרון משמעותי בחוויית משתמש. מכיוון שהרשת חייבת להמתין לראות אם הוגשה הוכחת הונאה, העברת נכסים מ-Layer 2 חזרה ל-Layer 1 אינה מיידית. משתמשים בדרך כלל חייבים להמתין עד סיום תקופת המחלוקת, שעלולה לקחת שבוע או יותר. בעוד שספקי נזילות צד שלישי יכולים להציע יציאות מהירות יותר בתשלום, הגשר הטבעי שומר על העיכוב הזה כדי להבטיח אבטחה.
רולאפים ZK: ודאות מתמטית
Zero-Knowledge (ZK) Rollups נוקטות את הגישה ההפוכה. במקום להניח שעסקאות תקפות, הן מספקות הוכחה מפורשת שהן כן. בכל פעם שאצווה של עסקאות נאגדת, מפעיל Layer 2 מייצר הוכחה קריפטוגרפית, ספציפית Zero-Knowledge Proof (SNARK או STARK). ההוכחה הזו מוגשת לרשת הראשית של Ethereum יחד עם נתוני העסקאות.
הוכחות תקפות
ההוכחה משמשת כערבות מתמטית שהעסקאות באצווה בוצעו נכון לפי כללי הפרוטוקול. רשת Ethereum הראשית מאמתת את ההוכחה הזו. אם ההוכחה עוברת, עדכון המצב מסתיים מיידית. אין צורך לסמוך על המפעיל או להמתין שמישהו יערער על הנתונים. המתמטיקה מבטיחה ששינוי מצב לא תקף לא יכול להיווצר מלכתחילה.
סופיות מיידית
מכיוון שהתקפות מאומתת מיידית עם ההגשה ל-Layer 1, רולאפים ZK אינם דורשים תקופת אתגר. ברגע שהאצווה מתקבלת, הכספים מאובטחים והמצב סופי. זה פותר את בעיית העיכוב במשיכות הטבועה ברולאפים אופטימיסטיים. משתמשים יכולים למשוך את הכספים שלהם מ-Layer 2 ל-Layer 1 מיד לאחר אימות ההוכחה, ללא תקופת המתנה של ימים רבים. זה מציע חוויית משתמש מעולה להעברת נכסים בין שכבות.
עצימות חישובית
החיסרון של רולאפים ZK הוא הכוח החישובי העצום הנדרש לייצור הוכחות התקפות. יצירת הוכחת Zero-Knowledge היא משימה מורכבת ומצריכת משאבים. העלות החישובית הגבוהה הזו יכולה להגביל את התפוקה של הרולאפ עצמו או להעלות את עלויות יצירת הבלוקים. עם זאת, ככל שהחומרה משתפרת והטכנולוגיה הקריפטוגרפית הבסיסית מבשילה, העלויות האלה יורדות.
מורכבות טכנית
רולאפים ZK מסתמכים על פרימיטיבים קריפטוגרפיים חדשים ומורכבים יותר בהשוואה לרולאפים אופטימיסטיים. יישום שלהם קשה באופן משמעותי. יתר על כן, יצירת רולאפ ZK שתואם לחלוטין למכונת האת'ריום הווירטואלית הייתה אתגר הנדסי גדול מבחינה היסטורית. בעוד שמתקדמים, חישוב כללי על רולאפים ZK מפגר אחרי התאימות הקלה המוצעת על ידי פתרונות אופטימיסטיים.
השוואת הפשרות
שני סוגי הרולאפים מציעים יתרונות מובחנים בהתאם לצרכי היישום ולמשתמש. שניהם יושבים באופן מאובטח על גבי Ethereum, ומשלימים את האבטחה שלהם מהרשת הראשית, אך המכניקות התפעוליות שלהם מובילות לחוזקות וחולשות שונות.
| מאפיין | רולאפים אופטימיסטיים | רולאפים ZK |
|---|---|---|
| שיטת אימות | הוכחות הונאה (מודל מחלוקת) | הוכחות תקפות (אימות מתמטי) |
| זמן משיכה | איטי (כ-7 ימים) | מהיר (דקות עד שעות) |
| מורכבות | נמוכה (קריפטוגרפיה סטנדרטית) | גבוהה (טכנולוגיית קריפטו חדשה) |
שיקולים אבטחתיים
רולאפים אופטימיסטיים מסתמכים על לפחות שחקן כן אחד שצופה בשרשרת ומגיש הוכחת הונאה אם משהו משתבש. לעומת זאת, רולאפים ZK מסתמכים על מתמטיקה; חוזה חכם ברשת הראשית פשוט דוחה כל אצווה שאין לה הוכחה תקפה. בעוד ששניהם נחשבים מאובטחים מאוד בהשוואה לשרשראות צד, רולאפים ZK מציעים תיאורטית ערבות אבטחה חזקה יותר מכיוון שהם אינם תלויים בתמריצים תיאורטיקת משחקים או צופים פעילים כדי לתפוס הונאה.
פוטנציאל תפוקה
לרולאפים ZK יש גם יתרון ביעילות נתונים. מכיוון שההוכחה עצמה מאשרת את נכונות השינויים, רולאפים ZK זקוקים באופן טכני לפרסם פחות נתונים לשרשרת הראשית מאשר רולאפים אופטימיסטיים. פתרונות אופטימיסטיים חייבים לפרסם מספיק נתונים כדי לאפשר לכל אחד לשחזר את העסקה ולאמת אותה במהלך אתגר. ההבדל הקל הזה אומר שרולאפים ZK יכולים להשיג תיאורטית תפוקה גבוהה יותר לטווח ארוך.
המערכת האקולוגית העתידית
התחרות בין הטכנולוגיות האלה אינה משחק סכום אפס. הן עשויות להתקיים יחד במשך שנים, משרתות נישות שונות. עם זאת, הקונצנזוס בקרב חוקרים רבים הוא שרולאפים ZK מייצגים את עתיד ההרחבה של Ethereum לטווח ארוך. היתרונות המיידיים של רולאפים אופטימיסטיים – קלות פריסה ותאימות EVM – אפשרו להם להשיג יתרון מוקדם באימוץ. פרויקטים כמו Polygon ניצלו טכנולוגיה אופטימיסטית כדי לספק הקלה מיידית לעומס.
גישות היברידיות
באופן מעניין, הקווים עשויים להתערבב. פלטפורמות מסוימות, כמו Polygon, חקרו שילוב טכנולוגיית ZK במפת הדרכים שלהן למרות שהתחילו עם מסגרות אחרות. סביר שהמערכת האקולוגית תראה פתרונות היברידיים או נדידה הדרגתית שבה יישומים אופטימיסטיים משדרגים להוכחות ZK כשהטכנולוגיה הופכת נגישה יותר ותואמת EVM.
תפקיד השארדינג
שני סוגי הרולאפים ייהנו משדרוגי העתיד של Ethereum, במיוחד שרדינג. שרדינג מחלק את הרשת לחלקים קטנים יותר כדי לעבד יותר נתונים. עבור רולאפים, היתרון העיקרי הוא זמינות נתונים מוגברת. מאחר שרולאפים צריכים לפרסם נתוני עסקאות ל-Layer 1, כמות המרחב הזמין ברשת הראשית מגבילה אותם. שרדינג יגדיל באופן עצום את קיבולת הנתונים של Ethereum, ויאפשר לרולאפים לעבד באופן אקספוננציאלי יותר עסקאות בעמלות נמוכות יותר.
אימוץ מפתחים
כרגע, מפתחים בוחרים על סמך בשלות נוכחית. DApps הדורשים תמיכה מלאה ב-EVM היום בדרך כלל בוחרים ברולאפים אופטימיסטיים. עם זאת, ככל שטכנולוגיית "zkEVM" (רולאפים ZK התואמים ל-EVM) מבשילה, המחסום לכניסה למודל הוכחת תקפות ייעלם. ברגע שהעלויות של המורכבות יירדו, היתרונות של משיכות מיידיות ואבטחה מתמטית יניעו כנראה מעבר לפתרונות ZK.
מסקנה
הרחבת Ethereum חיונית כדי שהרשת תממש את הפוטנציאל שלה כמצע פיננסי גלובלי. פתרונות Layer 2 עברו מעבר למושגים תיאורטיים והפכו לחלקים חיוניים בתשתית. רולאפים אופטימיסטיים מספקים כיום פתרון פרגמטי ועובד שמקל על עומס באמצעות טכנולוגיה סטנדרטית ותורת המשחקים. הם מציעים למפתחים דרך קלה להרחיב יישומים קיימים, אם כי עם הפשרה של משיכות מעוכבות.
רולאפים ZK מציעים פתרון טכני מתוחכם יותר שמבטיח סופיות מיידית ואבטחה קפדנית באמצעות הוכחות תקפות. בעוד שהם מתמודדים עם מכשולים בנוגע לעלות חישובית ומורכבות יישום, הם פותרים את בקבוקי הצוואר של המשיכות שמטרידים מודלים אופטימיסטיים. ככל שמחקר קריפטוגרפי מתקדם, רולאפים ZK מוכנים להפוך לסטנדרט להרחבת בלוקצ'יין בעלת ביצועים גבוהים.
הבחירה ביניהם תלויה כיום בצורך בתאימות מיידית לעומת יעילות לטווח ארוך.