את'ריום עומדת בפני מהפך: מעבר לאימות הוכחות ידע אפס
בשבוע שעבר חוקר את'ריום ladislaus.eth פרסם מדריך שעוסק במעבר המתקרב של את'ריום לשימוש בהוכחות ידע אפס (ZK) לצורך אימות עסקאות. השינוי הזה מתואר כ"שקט אך מהותי", בשל השפעתו המתפשטת על הארכיטקטורה הכוללת של את'ריום. הכיוון החדש אינו נועד להוסיף תכונה נוספת, אלא לייצר אב טיפוס של מסלול אימות חלופי, שבו מאמתים יאשרו בלוקים על ידי אימות הוכחות ביצוע קומפקטיות.
המהלך הנוכחי, הזוכה לכינוי EIP-8025, מסמן מעבר משמעותי בתפקידו של את'ריום. במצב החדש, שכבה-1 של את'ריום תעבור מתפקיד של "התחשבנות וזמינות נתונים לגלגולים" לכיוון "ביצוע בעל תפוקה גבוהה עם עלות אימות נמוכה". הטיוטה מציעה שהשינוי לא ידרוש שדרוגים קשים וישמור על תאימות לאחור, תוך שמאמתים יוכלו לבחור בין יצירת הוכחות לאימות ללא מדינה.
במסגרת התהליך, לקוח שכבת הביצוע ייצר חבילת נתונים עצמאית, המכונה ExecutionWitness, המכילה את כל המידע הדרוש לאימות בלוק. תוכנית אורחת תצרוך את העדות ותאמת את המעבר במצב, והמאמת ייצור הוכחה לביצוע נכון. השדרוג הקרוב, המכונה Glamsterdam, כולל את התכונה ePBS שנועדה להרחיב את חלון ההוכחה של את'ריום, ולהפוך את יצירת ההוכחה בזמן אמת לאפשרית יותר.
עם זאת, השינוי לא חף מסיכונים. על אף שהוכחות ZK עשויות להוזיל את עלויות האימות, הן עלולות להוביל לריכוזיות יתרה. אם ההוכחה תדרוש חומרה כבדה כמו GPUs, ייתכן שרק מספר מוגבל של שחקנים יוכל להשתתף בתהליך, מה שיצמצם את ביזור הרשת.
ההשלכות על שכבות הבלוקצ'יין האחרות, כמו שכבה-2, לא יאחרו לבוא. אם את'ריום תצליח להגדיל את תפוקתה תוך שמירה על עלויות נמוכות, בלוקצ'יינים של שכבה-2 יצטרכו להמציא את עצמם מחדש. הם יידרשו להתמקד במכונות וירטואליות מיוחדות ובאינטראופרביליות כדי להישאר רלוונטיים.
האם לדעתכם המעבר להוכחות ידע אפס ישפר את הרשת או יוביל לריכוזיות מסוכנת? נשמח לשמוע את דעתכם בדיון.