DoraHacks ו- Cryptosat השלימו ניסוי מערכת הוכחה ZK בחלל

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

מערכת הוכחת אפס ידע בחלל

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

תחנת החלל הבינלאומית (ISS) מהווה מיקום אידיאלי. שבעה אסטרונאוטים מאכלסים אותה, ולאף אחד אחר אין גישה לחומרה. יתרה מכך, ה-ISS מחזיקה בחיבור בתדר רדיו לתחנת קרקע. כדי לערוך את הניסוי, הצוותים העלו מראש תוכניות קוד פתוח כדי ליצור קובץ עם מחרוזת התייחסות משותפת (CRS). ה-CRS הזה משמש את פתרון ההצבעה המופעל על ידי Zero-Knowledge של DoraHacks, המגן על פרטיות המשתמש ומונע קנוניה בממשל ובהצבעה. 

 

מנכ"ל ומייסד DoraHacks, אריק ג'אנג, מוסיף:

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

DoraHacks שיתפה פעולה עם Cryptosat בשל המוניטין שלה בסביבות מחשוב מהימנות בחלל. Cryposat פורסת cubesats ומטרתה לבנות את צי הלוויינים שלה במסלול נמוך למטרות הוכחת אפס ידע. למרות שלהגדרה הנוכחית יש מגבלות, אלה ייפתרו לאט לאט ברגע שצי הלוויינים יגדל. כתוצאה מכך, DoraHacks ו- Cryptosat יכולים לשתף פעולה במשימות חלל עתידיות כדי להרחיב את גבולות הגישה הזו. 

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

פוטנציאל אדיר למערכות אפס ידע

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

מייסד-שותף של Cryptosat, יונתן ווינטרוב, מוסיף:

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

בנוסף, הניסוי המוצלח על סיפון ISS סולל את הדרך לפתרונות מבוססי לוויין המציעים תפנית מהירה יותר למערכות הוכחה ZK לתחילת פרויקט. 

מקור: https://cryptodaily.co.uk/2023/01/dorahacks-and-cryptosat-complete-zk-proof-system-trial-in-space