מעברה של Ethereum ממנגנון קונצנזוס Proof of Work להוכחת החזקה (Proof of Stake) מייצג אחד משדרוגי הבלוקצ'יין המשמעותיים ביותר בהיסטוריה. שינוי זה, המכונה לעיתים קרובות "Merge", תוכנן כדי להתמודד עם בעיות המדרגיות הוותיקות של הרשת וצריכת האנרגיה הגבוהה. למרות שהמעבר הצליח להפחית את צריכת האנרגיה ביותר מ-99%, הוא הציג מערך חדש של דינמיקות כלכליות וטכניות שמבקרים טוענים שעלולות להשפיע על הביזור. הרשת כעת מסתמכת על מאמתים (validators) במקום כורים כדי להבטיח את ספר החשבונות, ומשנה באופן יסודי מי מחזיק בכוח בתוך האקוסיסטם.
ככל שהפרוטוקול מתפתח, הצגת פתרונות Layer 2 ושרדינג נועדה להגביר עוד יותר את קצב עיבוד העסקאות. עם זאת, התקדמות זו כרוכה בפשרות מורכבות בנוגע לאבטחה ולשלטון. "טרילמת הבלוקצ'יין" קובעת שרשת יכולה בדרך כלל לייעל רק שניים מתוך שלושה משתנים: ביזור, אבטחה ומדרגיות. מסלול התפתחות הנוכחי של Ethereum מנסה לפתור זאת על ידי שכבתיות של טכנולוגיות שונות, אך כל שכבה מציגה נקודות כשל פוטנציאליות או מרכוזיות הדורשות בחינה זהירה.
הוויכוח המתמשך סביב התפתחות Ethereum מתמקד בשאלה האם היעילויות החדשות הללו פוגעות בערך הליבה של הרשת. ביזור אינו مجرد buzzword אלא ההגנה העיקרית מפני צנזורה ומניפולציה. על ידי ניתוח המכניקה של Proof of Stake, מבנה פתרונות המדרגיות של Layer 2, ומציאות השלטון בפרוטוקול, נוכל להבין טוב יותר את הסיכונים העומדים בפני הפלטפורמה הגדולה ביותר לחוזים חכמים בעולם.
מכניקת הוכחת ההחזקה
תמריצים ואחריות מאמתים
במודל הוכחת ההחזקה, התחרות המצריכת משאבים של כריית קריפטו מוחלפת במערכת של מחויבות פיננסית. משתתפים, המכונים מאמתים (validators), נדרשים לנעול, או "להחזיק" (stake), כמות ספציפית של מטבע קריפטו בחוזה חכם כדי להשתתף ברשת. ההון הזה משמש כבטוחה להבטחת התנהגותם התקינה. הפרוטוקול בוחר באופן אקראי את מאמתים אלה כדי להציע בלוקים חדשים ולעדות על תקפותם של בלוקים שהוצעו על ידי אחרים.
מאמתים מקבלים תמריצים באמצעות פרסים המונפקים במטבע חדש ועמלות עסקאות. מערכת זו מתוארת לעיתים כגישה של "גזר ומקל". הפרסים משמשים כגזר, המעודדים השתתפות פעילה וכנה בסידור עסקאות. לעומת זאת, המקל הוא מנגנון המכונה "slashing". אם מאמת מתנהג בזדון, יורד מהרשת באופן עקבי, או מנסה לאמת היסטוריות סותרות, חלק או כל הנכסים המוחזקים שלו עלולים להיחסם. העונש הפיננסי הזה מחליף את עלות האנרגיה הפיזית הקיימת בהוכחת עבודה.
לולאת ריכוז העושר
ביקורת עיקרית על המודל הזה נוגעת לפוטנציאל של ריכוז עושר, המסוכם לעיתים כבעיית "העשירים נהיים עשירים יותר". במערכות הוכחת עבודה כמו Bitcoin, כרייה היא עסק מוכוון הון עם שולי רווח צרים. כורים נאלצים למכור חלק משמעותי מהמטבעות שהרווחו כדי לכסות עלויות חשמל וחומרה. לחץ המכירה הזה מחזיר מטבעות לשוק, ומנע מכורים להצטבר בקלות את ההיצע.
הוכחת החזקה משנה באופן יסודי את הזרימה הכלכלית הזו. מכיוון שהפעלת צומת מאמת דורשת חשמל זניח בהשוואה לכרייה, עלויות התפעול נמוכות ביותר. לכן, מאמתים אינם זקוקים למכור את הפרסים שלהם כדי לשמור על פעילות. בעלי החזקות גדולים יכולים פשוט להחזיק מחדש את הרווחים שלהם, ולהגדיל באופן רציף את חלקם בהיצע הרשת הכולל. מבקרים טוענים שהדינמיקה הזו מובילה באופן בלתי נמנע למרכוז כוח כלכלי בקרב מאמצים מוקדמים וישויות עשירות.
אתגרי שלטון בכלכלה החזקות
שלטון ב-Ethereum הוא תהליך כמעט-פוליטי המסתמך על "קונצנזוס גס" בין בעלי עניין שונים. בניגוד לחברה מרוכזת שבה החלטות ניתן לקבל באופן חד-צדדי, שדרוגי פרוטוקול דורשים תיאום בין מפתחים, מפעילי צמתים ומחזיקי טוקנים. ליבת התהליך היא הצעת שיפור Ethereum (EIP), מסמך המאפיין שינויים מוצעים. הצעות אלה נדונות, נבדקות, ומשולבות בסופו של דבר במאגר התוכנה אם הקהילה מסכימה לאמצן.
האתגר נעוץ בשמירה על "נייטרליות אמינה", עיקרון מנחה שנתמך על ידי מייסדי Ethereum. נייטרליות אמינה פירושה שהעיצוב המכני לא יפלה בעד או נגד אנשים ספציפיים. זה אומר למעשה שהחוקים של המשחק חייבים לטפל בכל אחד בצורה הוגנת. עם זאת, השגת זאת בפועל קשה כאשר לבעלי העניין יכולות שונות מאוד. אם קבוצה קטנה של ישויות שולטת ברוב את'ר המוחזק, הן יכולות theoretically להפעיל השפעה מוגזמת על אילו הצעות זוכות למשיכה או כיצד הרשת מתפתחת.
סיכוני מרכוזיות בשלטון מופיעים גם כאשר הקהילה מתפצלת על החלטות שנויות במחלוקת. בעוד שהמטרה היא תמיד קונצנזוס, חילוקי דעות עלולים להוביל לפיצולים קשים, כפי שנראה באירוע 2016 שהוליד את Ethereum Classic. ההחלטה לשנות את היסטוריית הבלוקצ'יין כדי להפוך האק נתפסה על ידי חלק כהפרת נייטרליות, המעדיפה את ההחזרה הפיננסית של הרוב על פני הבלתי-משתנה של הקוד. זה מדגיש את המתח בין שלטון "מתקדם" שמתקן בעיות ושלטון "שמרני" שדבק בקפדנות בכללי הפרוטוקול.
פקק התשתית
ביזור אינו רק עניין של מי מחזיק במטבעות, אלא גם מי מפעיל את התשתית. כדי שבלוקצ'יין יהיה עמיד בפני צנזורה באמת, קבוצה מגוונת של משתתפים חייבת להפעיל את הצמתים המאמתים את ספר החשבונות. אם דרישות החומרה או הנתונים להפעלת צומת הופכות גבוהות מדי, רק מוסדות גדולים יוכלו להשתתף. תרחיש זה פוגע בטבע ה-peer-to-peer של הרשת.
בלוקצ'יין של Ethereum גדול משמעותית מזה של Bitcoin מבחינת אחסון נתונים, המתבטא בטרה-בייטים במקום ג'יגה-בייטים. הפעלת צומת ארכיונלי מלא, האוגר את כל היסטוריית הבלוקצ'יין, מצריכה משאבים רבים. כתוצאה מכך, מפתחים רבים ואפליקציות בוחרות לא להפעיל צמתים משלהן. במקום זאת, הן מסתמכות על ספקי תשתית צד שלישי כמו Infura כדי להתחבר לרשת.
הסתמכות זו יוצרת נקודת כשל יחידה קריטית. בנובמבר 2020, תקלה טכנית ב-Infura גרמה לשיבוש זמני עבור משתמשים רבים ובורסות שהסתמכו על נתוניה. בעוד שבלוקצ'יין של Ethereum עצמו לא נעצר, היכולת של משתמשים רבים להתקשר איתו נותקה. אם ממשלה או שחקן זדוני יתמקדו במרכזי תשתית מרוכזים אלה, הם יוכלו למעשה לצנזר גישה לרשת עבור חלק גדול מהאקוסיסטם, ועוקפים את הטבע המבוזר של הפרוטוקול הבסיסי.
ניתוח פתרונות מדרג Layer 2
תפקיד שרשראות צד עצמאיות
כדי להתמודד עם העומס ברשת הראשית, מפתחים בנו פתרונות "Layer 2" שונים. גישה נפוצה אחת היא שימוש בשרשראות צד עצמאיות. אלה הן בלוקצ'יינים נפרדים הפועלים במקביל ל-Ethereum ומתחברים דרך גשר דו-כיווני. שרשראות צד תואמות ל-Ethereum Virtual Machine (EVM), ומאפשרות למפתחים להעביר אפליקציות בקלות. מכיוון שהן מעבדות עסקאות מחוץ לשרשרת הראשית, הן מציעות מהירויות גבוהות יותר ועלויות נמוכות יותר.
עם זאת, שרשראות צד מציגות פשרת אבטחה מובהקת. הן אחראיות על האבטחה של עצמן, כלומר עליהן לגייס מאמתים או כורים משלהן. הן אינן יורשות את ערבויות האבטחה של רשת Ethereum הראשית. מכיוון שרשתות אלה קטנות יותר בדרך כלל, קל יותר לקבוצה מתואמת לתפוס את רוב כוח ההצבעה של הרשת. אם מאמתי שרשרת צד יתקשרו, הם יוכלו לגנוב נכסים שהועברו לגשר לאותה שרשרת. המודל הזה נותן עדיפות למהירות ועלות על פני האבטחה החזקה הקיימת בשכבה 1.
רולאפים וזמינות נתונים
רולאפים מייצגים גישה שונה למדרגיות הניסיונית לשמר את אבטחת Ethereum. פתרונות אלה מעבדים עסקאות בשכבה משנית אך מפרסמים את נתוני העסקאות חזרה לרשת Ethereum הראשית. על ידי איגוד מאות העברות לעסקה אחת בשכבה 1, רולאפים מפחיתים משמעותית את העמלות תוך הבטחת נגישות וניתנת לאימות של הנתונים על ידי הרשת הראשית.
ישנם שני סוגים עיקריים של רולאפים: Optimistic ו-Zero-Knowledge (ZK). רולאפים Optimistic פועלים בהנחה שעסקאות תקפות כברירת מחדל. הרשת מחשבת את תקפות עסקה רק אם מישהו מאתגר אותה במהלך חלון זמן ספציפי. שיטה זו מפשטת את הקריפטוגרפיה אך מצריכה עיכוב, לרוב שבעה ימים, בעת העברת נכסים חזרה לשכבה 1. תקופת ההמתנה הזו נחוצה כדי לאפשר זמן לפתרון מחלוקות.
| מאפיין | Optimistic Rollups | ZK Rollups | Sidechains |
|---|---|---|---|
| מקור אבטחה | Ethereum Layer 1 | Ethereum Layer 1 | Independent Validators |
| זמן משיכה | ~7 ימים (תקופת אתגר) | מיידי (לאחר אימות) | משתנה (תלוי בגשר) |
| חישוב | הוכחות הונאה (בעת אתגר) | הוכחות תקפות (לכל אצווה) | קונצנזוס עצמאי |
רולאפים ZK משתמשים בהוכחות קריפטוגרפיות מורכבות כדי לאמת את תקפות כל אצוות העסקאות לפני שליחתן ל-Ethereum. זה מבטל את הצורך בתקופת אתגר, ומאפשר משיכות מהירות יותר. עם זאת, כוח החישוב הנדרש לייצור ההוכחות הללו עצום. כיום, הטכנולוגיה של רולאפים ZK פחות בשלה וקשה יותר ליישום מפתרונות Optimistic. ככל שהטכנולוגיות הללו מתפתחות, הן מעבירות את הפקק מחלל עסקאות לזמינות נתונים.
סיכוני פיצול
ככל שאקוסיסטם Ethereum מתרחב לסביבה רב-שכבתית, נזילות ופעילות משתמשים מתפצלות בין פלטפורמות שונות. בעוד שזה מקל על הלחץ בשרשרת הראשית, זה מציג מורכבות בנוגע להתחברות בין-מערכות. נכסים שהועברו לפתרון Layer 2 מועברים לעיתים קרובות "עטופים" או ננעלים בחוזי גשר. גשרים אלה היו היסטורית מטרות פגיעות עבור האקרים.
יתרה מכך, חוויית המשתמש מסתמכת בכבדות על פעולה חלקה של שכבות משניות אלה. אם רשת Layer 2 יורדת או חווה באג, כספי משתמשים עלולים להיתקע. בעוד שרולאפים מתוכננים לאפשר למשתמשים למשוך כספים ישירות מהרשת הראשית אפילו אם מפעיל Layer 2 נעלם, הידע הטכני הנדרש לביצוע יציאה ידנית כזו מעבר למשתמש הממוצע. זה יוצר תלות מעשית בהמשך פעילותם של מתווכי Layer 2.
התפשטות פתרונות המדרגיות השונים מחלקת גם את קהילת מפעילי הצמתים והמאמתים. במקום שכולם יבטיחו שרשרת אחת, משאבים מתחלקים בין פרוטוקולים שונים, כל אחד עם חוקים והנחות אבטחה משלו. פיצול זה עלול לדלל את תקציב האבטחה הכולל של האקוסיסטם אם לא מנוהל כראוי.
שרדינג ומורכבות פרוטוקול
חלוקת הרשת
מעבר לפתרונות Layer 2, Ethereum מתכנן ליישם "שרדינג" כשדרוג ליבתי לפרוטוקול. שרדינג כולל חלוקת מסד הנתונים של הרשת לחלקים קטנים יותר, ניתנים לניהול, המכונים shards. כל shard פועל במידה מסוימת כמו בלוקצ'יין נפרד עם מצב והיסטוריית עסקאות משלו. זה מאפשר לרשת לעבד עסקאות רבות במקביל, במקום לדרוש מכל צומת לעבד כל עסקה ברצף.
הצגת שרדינג מגבירה באופן דרמטי את הקיבולת של הרשת אך מוסיפה מורכבות משמעותית למנגנון הקונצנזוס. מאמתים כבר אינם אחראים על כל מצב הבלוקצ'יין. במקום זאת, הם מוקצים ל-shards ספציפיים. כדי למנוע משיכור של shard ספציפי על ידי קבוצה זדונית, הפרוטוקול חייב להקצות מאמתים ל-shards באופן אקראי ולערבב אותם תקופתית.
השלכות אבטחה של שרדינג
אבטחת מערכת שרדינג מסתמכת בכבדות על האקראיות של הקצאת מאמתים. במערכת לא-שרודינג, תוקף זקוק ל-51% מההחזקה הכוללת של הרשת כדי לפגוע בשרשרת. במערכת שרדינג, אם תוקף יכול להתמקד ב-shard ספציפי, הוא יזדקק רק לחלק מההחזקה הכוללת כדי לשחית מחיצה ספציפית זו. זו הסיבה שהמנגנון האקראי קריטי; הוא מבטיח שקבוצה בודדת לא יכולה לחזות או לשלוט באיזה shard היא תבטיח.
עם זאת, התיאום הנדרש בין shards מציג וקטורי התקפה חדשים. תקשורת בין-shards מסתמכת על השרשרת הראשית, או Beacon Chain, כדי לשמור על עקביות. אם שכבת התיאום הזו נכשלת או נתקעת, מצב הרשת עלול להפוך לבלתי עקבי. המעבר לשרדינג הופך את Ethereum מספר חשבונות מאוחד יחיד לרשת מורכבת של שרשראות מחוברות, ומעלה את המחסום הטכני עבור מפתחים ובודקים המנסים לאמת את שלמות המערכת.
בעיית "Nothing at Stake"
פגיעות תיאורטית ספציפית למערכות הוכחת החזקה היא בעיית "Nothing at Stake". במקרה של פיצול רשת – שבו הבלוקצ'יין מתפצל לשתי נתיבים מתחרים – מאמתים ביישומי PoS מוקדמים היו ממוטבים לאמת בשתי השרשראות. מכיוון שאימות עולה כמעט כלום מבחינת אנרגיה, הימור על שני התוצאות היה הבחירה הכלכלית הרציונלית כדי להבטיח פרסים ללא קשר לאיזו שרשרת תנצח.
אם כל המאמתים מאמצים אסטרטגיה זו, הרשת לעולם לא תשיג קונצנזוס, ובכך מפרה את אבטחת הבלוקצ'יין. Ethereum מטפל בכך באמצעות מנגנון ה-slashing שהוזכר קודם. על ידי אכיפת עונשים על אימות בלוקים סותרים, הפרוטוקול מכריח מאמתים לבחור צד. זה מיישר את האינטרסים הפיננסיים שלהם עם יציבות השרשרת הקנונית היחידה. בעוד שיעיל, זה מוסיף שכבת מורכבות נוספת ללקוח התוכנה, שכן עליו לזהות ולדווח על הפרות אלה כדי לאכוף עונשים.
מסקנה
מסע Ethereum לעבר מדרגיות וקיימות כולל איזון עדין בין עדיפויות מתחרות. המעבר להוכחת החזקה הצליח לטפל בחששות אנרגטיים ופרץ את הדרך לשרדינג, אך הוא העלה ככל הנראה את מחסום הכניסה למאמתים עצמאיים והציג סיכוני ריכוז עושר. באופן דומה, פתרונות Layer 2 מציעים הקלה נחוצה לעומס עסקאות אך לעיתים קרובות דורשים ממשתמשים לסמוך על מודלי אבטחה קטנים יותר, פחות נבדקים או סיקוונסרים מרוכזים.
עתיד הרשת תלוי ביכולתה למתן וקטורי מרכוזיות אלה תוך שמירה על קצב העיבוד הנדרש לאימוץ גלובלי. תהליך השלטון חייב לנווט שדרוגים טכניים אלה מבלי להיכנע להשפעת בעלי החזקות גדולים. ככל שהפרוטוקול הופך מורכב יותר, שמירה על הערכים הליבתיים של נייטרליות אמינה ועמידות בפני צנזורה תישאר האתגר העליון לקהילה.
ביזור אמיתי דורש ערנות מתמדת נגד הנטייה הטבעית של כוח ועושר להתרכז עם הזמן.