Aztec משיקה את Tierra V6: תיקון באג קריטי ושכבת בדיקות חדשה ברשת הפרטיות של אתריום

Aztec, הרשת שנבנתה מעל אתריום במטרה לאפשר עסקאות פרטיות, פרסמה גרסה חדשה בשם Tierra, הידועה גם כ-V6. לפי Decrypt, השדרוג פותר באג קריטי שהתגלה בגרסה הקודמת, מוסיף אימות פורמלי של הקוד וכולל מערכת בדיקות אוטומטית המסתייעת בבינה מלאכותית. The Block, שמצטט את קרן Aztec, מדווח על תיקון של בעיות אבטחה קודמות ועל הכפלת מהירות היצירה של הוכחות לעסקאות פרטיות.

פרטיות על גבי אתריום

ברשת ציבורית כמו אתריום כל עסקה גלויה לכולם: מי שלח, למי ובאיזה סכום. Aztec שייכת למשפחת "שכבות 2", רשתות שמעבדות עסקאות מחוץ לשרשרת הראשית ומעגנות את התוצאה בה. היא מוסיפה לכך הצפנה, כך שהעסקה עצמה נשארת סודית.

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

בדיקה מתמטית ובדיקה אוטומטית

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

הרכיב השני הוא מערכת בדיקות שנעזרת בבינה מלאכותית. Decrypt מזכיר אותה כחלק מהשדרוג, אך התקציר שבידינו אינו מסביר איך היא פועלת ואילו סוגי תקלות היא אמורה לאתר, ולכן אי אפשר להעריך את תרומתה בשלב זה.

באג בלי פרטים

הפער הבולט בין שני הדיווחים הוא בניסוח. Decrypt מדבר על באג קריטי אחד מהגרסה הקודמת, ואילו The Block כותב על "בעיות אבטחה" בלשון רבים. ייתכן שמדובר באותו עניין ואולי לא, ומהתקצירים אי אפשר להכריע.

חסרות גם עובדות בסיסיות יותר: מה היה הבאג, האם מישהו ניצל אותו, והאם נכסי משתמשים עמדו בסיכון בפועל. כל עוד לא פורסמו פרטים כאלה, ההגדרה "קריטי" היא הערכה של המקורות ולא מידע שאפשר לבדוק. מי שעוקב אחרי הפרויקט יחפש כנראה בהודעות הרשמיות של הקרן תיאור טכני של הבאג, כי הוא יאפשר להעריך עד כמה התיקון משמעותי.

המידע בכתבה נועד להרחבת הדעת בלבד ואינו מהווה ייעוץ השקעות או תחליף לייעוץ מקצועי.

מקורות: Decrypt · The Block