הטיעון של ויטליק בוטרין בעד העברת חלק גדול מהעבודה הקריפטוגרפית מחוץ לשרשרת נשען על הבחנה פשוטה: חישוב הוא לא נתונים. פעולה קריפטוגרפית מובנית, או precompile, יכולה להוזיל את בדיקת החתימה או ההוכחה — אבל את הנתונים שעליהם מתבצעת הבדיקה עדיין צריך להעביר לרשת. טיוטת EIP-8288 מציעה להשאיר מטענים קריפטוגרפיים גדולים מחוץ לבלוקים ככל האפשר, ולאגד את האימות שלהם באמצעות הוכחות STARK רקורסיביות. ההצעה עדיין מסומנת כטיוטה.
4
16
למה לא להוסיף עוד פעולות מובנות?
פעולות מובנות מאפשרות לבצע בדיקות קריפטוגרפיות מסוימות בזול יותר. אבל הן לא מעלימות את עלות העברת החתימות, ההוכחות או הקלטים הנדרשים לבדיקה. בוטרין טען שרוחב הפס להעברת נתונים — ולא רק כמות הגז שמושקעת באימות — מגביל את היקף החומר הקריפטוגרפי שאפשר לטפל בו באת'ריום. הוא העריך את תקרת תפוקת הנתונים המעשית בכ-8 מגה־בייט לשנייה, גם עם PeerDAS ובלוקים שנושאים נתוני blob. זו הערכה שלו, לא מגבלת calldata רשמית.
4
12
יש גם מחיר לגמישות: תמיכה בכל שיטה קריפטוגרפית באמצעות פעולה מובנית נפרדת עשויה להגדיל את מורכבות הפרוטוקול ולדרוש התאמות במימושי הלקוחות. EIP-8288 מבקשת במקום זאת ליצור מסלול משותף לאימות הוכחות עבור שיטות קריפטוגרפיות שונות.
7
16
הדוגמאות בטיוטה ממחישות את האתגר: היא מתייחסת לחתימות מבוססות גיבוב בגודל של כ-2–3 קילובייט, שהאימות הישיר שלהן עשוי לעלות 150,000–200,000 יחידות גז. אלה הערכות לדוגמה שמופיעות בהצעה, ולא עלות קבועה לכל חתימה או מימוש.
10
איך EIP-8288 אמורה לפעול?
הצעת ה-EIP הרשמית מציינת את ויטליק בוטרין ואת תומס קורטאגר כמחברים, ומתארת את ההצעה כהרחבה לעסקאות מסוג frame של EIP-8141. המבנה המוצע כולל שלושה שלבים עיקריים:
16
- העסקאות מצהירות על תלות תמציתית. כל תלות מזהה שיטה, גיבוב של הנתונים וגיבוב של מפתח האימות. לפי ההצעה, כל שלשה כזו מקודדת ב-96 בייט.
16
13
- הנתונים הקריפטוגרפיים המלאים מועברים בזמן הפצת העסקה. החתימות או ההוכחות הגדולות נמסרות לצד העסקאות כשהן עוברות ברשת, במקום להופיע בבלוק במלואן. משתתפים בממפול — מאגר העסקאות שממתינות להיכלל בבלוק — יכולים לשלב את עבודת האימות.
15
16
- האימות נאסף להוכחה אחת. לפי התכנון, הוכחות STARK רקורסיביות יאחדו בדיקות רבות. במקום כל מטען קריפטוגרפי בנפרד, הבלוק יכלול הוכחה מצטברת. המטרה היא לצמצם את כמות הנתונים שנדרשת בבלוק, לא להגדיל את תקרת רוחב הפס של הרשת.
6
15
16
משתמשים יוכלו גם לבצע חישובים קריפטוגרפיים כבדים במכשירים שלהם ולספק הוכחות STARK לחישוב. כך מבקשת ההצעה לאפשר תמיכה במגוון רחב יותר של שיטות קריפטוגרפיות, בלי ליצור פעולה מובנית נפרדת לכל אחת מהן.
3
6
מה עשוי להשתנות — ומה לא
אם השיטה תפעל כמתוכנן, תלות תמציתית ואימות מצטבר עשויים להפחית את כמות הנתונים המקוריים של חתימות והוכחות שצריך לכלול בבלוקים. כלומר, לא מדובר רק ב״קריפטוגרפיה מהירה יותר״: חלק מהעבודה עובר למשתמשים ולמשתתפי הממפול, ובמקביל מצמצמים את הנתונים שאת'ריום צריכה לכלול בשרשרת.
1
13
16
זה לא אומר שהעלויות הקריפטוגרפיות נעלמות. משתמשים ומשתתפי הרשת עדיין צריכים לייצר, להפיץ ולאמת את הנתונים וההוכחות. המקורות הזמינים גם אינם מבססים חיסכון מסוים בגז או פתרון למגבלות ההתרחבות הרחבות של את'ריום.
השאלות שעדיין פתוחות
אמינות ההוכחות והגיבובים. הטיוטה מציינת כאחת מהנחות האבטחה שלה את אמינות מעגלי האימות ופונקציות הגיבוב שמשמשות לתלויות. עדכון מאוחר יותר גם קושר את גיבוב התלויות של הבלוק למעגל האגרגציה. אלה אמצעי הגנה שצריך להעריך — לא הוכחה לכך שהמערכת כבר נבדקה במלואה או הוכחה כבטוחה בפריסה.
32
סיכוני מניעת שירות בממפול. צבירת ההוכחות מוסיפה עבודה וטיפול בנתונים בשכבת הממפול. סיכון למתקפות מניעת שירות מוזכר כאזור שדורש תשומת לב, אך החומר הזמין אינו מראה שכל ההגנות הושלמו או שהן מספיקות.
25
הגבלות בטיוטה אינן כללים פעילים ברשת הראשית. אחת מגרסאות ההצעה הרשמית מגבילה עסקה ל-16 תלויות חתימה ולתלות STARK אחת. אלה פרמטרים של טיוטה, לא כללים שהופעלו באת'ריום.
32
האבטחה של חתימות מבוססות סריגים. לפי דיווחים, בוטרין השאיר אפשרות להוסיף פעולות מובנות לחתימות כאלה — למשל לשימוש בחשבונות ובארנקים — אם יוכח שהן בטוחות. חשש שדווח לגבי מתקפות אפשריות בסיוע בינה מלאכותית הוא נושא לבדיקה, לא ראיה לכך שחתימות מבוססות סריגים נפרצו.
17
24
ה-EIP הרשמית עדיין מסומנת טיוטה, והדיווחים מתארים עבודה על סימולציות ועל רשתות בדיקה, ולא פריסה מאושרת ברשת הראשית. המקורות הזמינים אינם מצביעים על החלטת אימוץ סופית או על מועד פריסה מוסכם.
15
16