מחקר
עבודה אקדמיתמערכות שבניתי
דמואים, אבות-טיפוס וארטיפקטיםמימוש מלא של Aggios הבסיסי סביב הוכחת החלוקה EPA, המשמשת כקופסה שחורה ללא שינוי: חתימות האצלה מסוג BLS, אסימוני רישום מבוססי KZG עם הוכחות EqLog, הוכחות ספירה של אגרגטורים, תהליך אימות של ולידטורים, לוח מודעות ציבורי ומדדי ביצועים מ־10² עד 10⁶ מצביעים.
למה זה חשוב: מדגים שאגרגציה ניתנת לאימות בקנה מידה גדול אפשר להריץ מקצה לקצה בדפדפן, כולל יצירת ההוכחות והאימות הפומבי.
כל המערכת, כולל ה־prover וה־verifier של EPA, מקומפלת ל־WebAssembly ורצה ישירות בדפדפן, כך שכל אחד יכול ליצור בחירות, לייצר את ההוכחות ולאמת את התוצאה באתר הזה ללא שרת.
Coercion-Resistant Voting
מימוש מלא ב-Rust של הצבעה אלקטרונית עמידה לכפייה, המבוססת על פרוטוקול JCJ ועל Civitas. המימוש כולל את הליבה הקריפטוגרפית המלאה: הנפקת אישורים באמצעות DVRP, יצירת מפתח ElGamal ספי, הסרת הצבעות כפולות ואישורים לא תקפים באמצעות PET, MixNet דו-מעברי מבוסס RPC עם אימות פומבי, ופענוח מבוזר, והכל מחובר לצינור בחירות בר-הרצה עם ממשק Web.
למה זה חשוב: מדגים שהצבעה עמידה לכפייה ניתנת למימוש כצינור בחירות שלם, ולא רק כתיאור של פרוטוקול.
התובנה המרכזית של JCJ: כופה יכול להכריח אותך להצביע תחת איום, אך אינו יכול למנוע ממך להטיל מאוחר יותר הצבעה שקטה שמחליפה אותה. ההצבעה האמיתית שלך תמיד מנצחת.
The Social Evidence
תוסף דפדפן לבדיקת עובדות שיתופית. ניתן לסמן טקסט באתר חדשות, לצרף הערה שמקשרת אותו לראיה סותרת, וכל מבקר עם התוסף רואה את אותן הערות, וכך קריאה פסיבית הופכת לרישום ציבורי, משותף ומתמשך של חוסר עקביות.
למה זה חשוב: מדגים שתשתית של אחריותיות יכולה לשבת ישירות על המקור עצמו, גלויה לכל קורא, במקום באתר בדיקת עובדות נפרד.
הפרויקט מבוסס על הרעיון שאחריותיות דורשת תשתית: לא רק הטענה שפוליטיקאי סתר את עצמו, אלא הערה מקושרת שכל אחד יכול לראות על גבי המקור המקורי.
Subsenate
GitHub →מערכת הצבעה מבוססת zkSNARK שבוחרת באקראי קהילה של שופטים מתוך מאגר בעלי זכות בחירה: sortition קריפטוגרפי. באמצעות הוכחות באפס ידיעה, הבחירה היא אקראית ופרטית באופן שניתן לאימות: אף אחד אינו יכול לחזות או לתמרן את זהות הנבחרים, אך כל אחד יכול לוודא שהתוצאה הוגנת.
למה זה חשוב: מדגים ש-sortition יכול להיות אקראי באופן פרטי וניתן לאימות פומבי באמצעות הוכחות באפס ידיעה.
"Politicians and diapers must be changed often, and for the same reason." Subsenate מתייחסת ברצינות לבעיית התחלופה: sortition, בחירה אקראית של מקבלי החלטות אזרחיים, הייתה חלק מהדמוקרטיה האתונאית, והוכחות באפס ידיעה יכולות להפוך אותה לניתנת לאימות כיום.
Aggios EPA Benchmark
GitHub →קוד benchmark מאת Marius Lombard Platet להערכת Aggios על עומסי עבודה בסגנון EPA, שנבנה כדי להפוך טענות ביצועים למדידות ניתנות לשחזור ולא לאנקדוטות.
סוג כזה של benchmark הוא הגשר בין פרוטוקול קריפטוגרפי לבין מערכת שניתן לממש: הוא הופך טענות אסימפטוטיות או ארכיטקטוניות למדידות שאחרים יכולים לבדוק, להריץ מחדש ולאתגר.
על דמוקרטיה
ערכים ואמונהמבחינתי דמוקרטיה היא לא רק שיטת ממשל, אלא מנגנון שאמור לתת לאנשים כוח אמיתי על ההחלטות שמשפיעות על החיים שלהם. זה מנגנון עדין: קל מאוד לפגוע בו, והרבה יותר קשה לבנות אותו כך שיהיה הוגן, יציב ואמין.
חלק גדול מהעבודה שלי בקריפטוגרפיה נוגע בנקודה הזו. בניתי שתי מערכות הצבעה עובדות: CRelections, מימוש מלא של הצבעה אלקטרונית עמידה לכפייה, שבו ההצבעה האמיתית של הבוחר יכולה לגבור גם אם הוא נאלץ להצביע אחרת; ו-Subsenate, מערכת sortition מבוססת הוכחות באפס ידיעה שבוחרת באקראי קבוצה של שופטים מתוך ציבור בעלי זכות בחירה, רעיון שמגיע מאתונה העתיקה, אבל מקבל כאן אימות קריפטוגרפי מודרני.
השאלה שמעניינת אותי היא איך אפשר לבנות תהליכים דמוקרטיים שאנשים יכולים לסמוך עליהם גם כשהם לא סומכים על מי שמפעיל אותם. בעיניי, זו אחת ההבטחות החשובות של קריפטוגרפיה: לאפשר ביזור של סמכות, ועדיין לשמור על הוגנות, בטיחות ויכולת אימות.
יצירת קשר
אשמח לשמוע על מחקר, שיתופי פעולה, או סתם לקבל שלום.