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