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

איך זה עבד: הבעיה שכנה בתוך "מעגל הפעולה" (Action circuit) של אורצ'רד – לוגיקת הוכחת אפס-הידע שמאמתת עסקאות פרטיות. שגיאה לוגית באילוצי המעגל גרמה לכך שתוקף יכול היה לזייף הוכחת Halo 2 בעלת מראה תקין שהרשת הייתה מקבלת כאמיתית. הוכחה זו לא הייתה צריכה להיות מגובה בכספים אמיתיים או בשריפה תקפה של ערך קיים. זו הייתה, למעשה, דלת אחורית שקטה לטביעת מטבעות, שיכלה לאפשר לתוקף ליצור כמות בלתי מוגבלת ובלתי ניתנת לגילוי של מטבעות ZEC מזויפים .

מייסד זיקש, זוקו וילקוקס (Zooko Wilcox), אישר את חומרת הפגם, וקבע כי הפגיעות "יכלה להיות מנוצלת כדי ליצור באופן בלתי ניתן לגילוי כמות בלתי מוגבלת של ZEC מזויף" . מכיוון שהיה זה פגם בלוגיקה של ההוכחה עצמה, ולא באג תוכנה מסורתי, מטבעות מזויפים היו ניתנים להבחנה מאלו האמיתיים בשרשרת הבלוקים.

הסכנה הבלתי נראית: למה באג של 'תאמין לי' הוא סיוט לטכנולוגיית פרטיות

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

קרן זיקש אישרה כי "לא נמצאו ראיות לכך שהבאג נוצל אי פעם בפועל", וכי תקרת האספקה של 21 מיליון מטבעות ZEC נותרה על כנה . עם זאת, בשל מאפייני הפרטיות של אורצ'רד, מייסד זיקש נאלץ להודות כי בלתי אפשרי מבחינה קריפטוגרפית להוכיח אם הבאג נוצל לפני שתוקן . תוקף יכול היה לטבוע מטבעות בשקט במשך שנים, וספר החשבונות הראשי לא היה מכיל שום זכר לפשע.

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

תיקון החירום: איך נוטרלה הפצצה

התגובה התנהלה בתיאום מלא בכל המערכת האקולוגית של זיקש בשני שלבים מהירים:

1. מזלג רך לשעת חירום (1-2 ביוני): מפתחי זיקש שחררו את

   zcashd v6.12.5

   , אשר יחד עם שדרוגים לתוכנת Zebra, השביתו באופן זמני את כל העסקאות המוגנות של אורצ'רד ברשת כדי למנוע כל ניצול אפשרי בזמן שהשורש לבעיה נותח .
2. מזלג קשיח NU 6.2 (2-3 ביוני): תיקון קבוע נפרס באמצעות שדרוג רשת לשעת חירום (NU 6.2) אשר תיקן את לוגיקת המעגל הפגומה והפעיל מחדש את עסקאות אורצ'רד עם אילוצי הוכחת אפס-הידע המתוקנים .

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

התרסקות השוק והאמון שאבד

עם פרסום החשיפה הפומבית ב-4-5 ביוני, מחזיקי ZEC הגיבו בחומרה:

• ZEC צנח ביותר מ-40% מהמחיר שלפני החשיפה, מונע מחששות שכמות המטבעות האמיתית במחזור גדולה בהרבה מהמדווח .
• הירידה הוחרפה על ידי חיסול פוזיציות ממונפות וירידה כללית בשוק הקריפטו, אך הבאג באורצ'רד זוהה כטריגר הישיר והברור .
• דמויות בולטות בשוק הגיבו במהירות: ארתור הייז (Arthur Hayes), מייסד שותף של בורסת BitMEX, אישר בפומבי כי הוא חיסל את כל פוזיציית הזיקש (ZEC) שלו מיד לאחר פרסום הבאג .

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

האירוע הצית מחדש מספר ויכוחים ארוכי שנים בעולם הקריפטו:

• האם אפשר לסמוך על מטבעות פרטיות? העובדה שמאגר פרטיות ליבה – שנבנה על קריפטוגרפיית אפס-ידע חדשנית – הכיל סיכון זיוף שקט במשך ארבע שנים, חיזקה את הספקנות לגבי יכולת הביקורת של בלוקצ'יינים ממוקדי-פרטיות . המבקרים טוענים שאם האספקה עצמה אינה ניתנת לאימות על ידי צופים חיצוניים, מודל ה"תאמין לי" מחליף את מודל השקיפות של ביטקוין.
• ביקורת בסיוע AI מול ביקורות אבטחה מסורתיות. גילוי הבאג על ידי מודל AI תוך שעות, לאחר שחברות ביקורת מקצועיות החמיצו אותו במשך שנים, הצית ויכוח האם אימות פורמלי וניתוח קוד מונחה בינה מלאכותית צריכים להפוך לחובה עבור מעגלי אפס-ידע, במיוחד כאלו שמטפלים בערך כספי .
• סיכון המורכבות של הוכחות אפס-ידע. האירוע מדגיש את הקושי העצום ביישום נכון של מעגלי SNARK רקורסיביים כמו Halo 2. פרשנים שואלים האם המורכבות הקריפטוגרפית של פרוטוקולי פרטיות מודרניים עלתה על יכולתה של התעשייה לאבטח אותם באמצעות שיטות ביקורת קונבנציונליות .
• ממשל חירום ברשתות מבוזרות. תגובת המזלג הקשיח/רך המהירה הוכיחה את הערך של צוות פיתוח מהימן עם הכוח לעצור תכונת ליבה – אך גם העלתה שאלות לגבי מידת הביזור האמיתית של רשת, אם קבוצה קטנה יכולה להשבית את מאגר הפרטיות העיקרי שלה בן לילה .

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