קרן ההון סיכון Andreessen Horowitz, הידועה גם בשם A16z, פרסמה ספריית Solidity שניתן להשתמש בה להצבעה אנונימית ב-Ethereum. הספרייה, שנקראת "ציקדה", מונעת מהבחירה של בוחר בודד להיות ידועה לפני סיום ההצבעה. בשילוב עם מערכות חברות בקבוצת אפס ידע כמו Semaphore, זה גם יכול להפוך את זהות הבוחר לבלתי ניתנת לזיהוי לצמיתות, על פי פוסט בבלוג מ-24 במאי של מהנדס A16z Michael Zhu.
נרגש להכריז על Cicada: אבן בניין חדשה להצבעה פרטית ברשת. https://t.co/hxE4KL4Se6
— moodle zoup (@moodlezoup) מאי 24, 2023
ציקדה מסתמכת על פאזלים של נעילת זמן, סוג של קריפטוגרפיה המאפשרת למשתמשים להצפין ערכים סודיים שניתן לפענח רק לאחר שעובר פרק זמן מסוים, אמר ג'ו.
חידות אלה קיימות מאז 1996. אבל לפני 2019, הם היו דורשים מהמשתמשים לחשוף את הערכים הסודיים שלהם לאחר שחלפה פרק הזמן. במערכות הצבעה, זה יכול היה לגרום לבעיות עם משתמשים שמגישים הצבעות ואז עוברים למצב לא מקוון, ולמנוע את כל ההצבעות לספור.
בשנת 2019, הרעיון של חידות נעילת זמן "הומומורפיות" הוצע על ידי ההצפנה ג'וליו מאלבולטה ו-Aravind Thyagarajan. זה איפשר לחבר את החידות יחד כדי לייצר פאזל סופי שהיה הרבה יותר קל לפתור מסכום החידות הבודדות. הפתרון לחידה הסופית חושף רק את סכום הערכים האישיים מבלי לחשוף את הערכים האישיים המרכיבים את הסכום הזה.
על פי הפוסט A16z, Cicada משתמש בחידות ההומומורפיות הללו, ומאפשר לספור קולות גם אם משתמשים אינם מקוונים.
כשניסו להעביר את המערכת של Malavolta ו-Thyagarajan לבלוקצ'יין, חוקרי A16z נתקלו במכשול ליצירת מערכת הצבעה הוגנת: כל בחירה הייתה צריכה להיות מקודד כערך בוליאני של "1" או "0". המשמעות היא שתוקפים יכלו לנסות להגדיל את כוח ההצבעה שלהם על ידי קידוד שגוי של ההצבעה - על ידי קידוד "100" כערך שלהם, למשל.
כדי לפתור בעיה זו, Cicada דורש מהבוחרים להגיש הוכחה אפס ידע על תקפות הקלפי יחד עם כל פתק הצבעה, נכתב בפוסט. ההוכחה מלמדת שההצבעה קודדה כהלכה, אך מבלי לחשוף את תוכן ההצבעה.
מידע נוסף: Anchorage Digital פותחת הצבעה DeFi עבור לקוחות משמורת
ציקדה רק מונעת מהקולות להיות ידועים בזמן ביצוע הסקר. לאחר ש"נסגר הסקר" או שחלפה תקופת נעילת הזמן, כל אדם יכול לקבוע את תוכן ההצבעה על ידי כפיית פתרון החידה. עם זאת, A16z הציע שניתן לפתור בעיה זו על ידי שילוב של Cicada עם מערכות חברות בקבוצת אפס ידע כמו Semaphore, Semacaulk או הוכחות מצב אפס ידע. במקרה זה, כפייה אכזרית של הפאזל רק תגלה שההצבעה הועמדה על ידי בעל זכות בחירה, אך לא תחשוף את האישורים ששימשו להוכחת כשירותו של הבוחר.
כדוגמה, ז'ו סיפק קישור לחוזה לדוגמה שהופק באמצעות Cicada, המסתמך גם על סמפור כדי להוכיח את זכאות הבוחר.
מערכות הצבעה הן זה מכבר מרכיב של ארגונים אוטונומיים מבוזרים (DAOs), הגופים המנהלים שלעתים קרובות מנהלים אפליקציות בלוקצ'יין. אבל ברוב המקרים, DAOs משתמשים באסימונים כדי לייצג הצבעות, מה שאומר שלמשתמשים בודדים יכולה להיות השפעה גדולה אם הם מחזיקים במספר רב של אסימונים. לדוגמה, ב-22 במאי, תוקף השתלט על טורנדו קאש על ידי הגשת הצבעות נוספות על הצעה זדונית, תוך שימוש בה כדי לרוקן את כל הכספים של חוזה הממשל. התוקף הציע מאוחר יותר להחזיר את השליטה למשתמשים.
מייסד Waves Sasha Ivanov טען ש-DAOs חייבים לעבור למערכת הצבעה דמוקרטית יותר אם יש להימנע מהתקפות ממשל כמו אלה.
מקור: https://cointelegraph.com/news/a16z-releases-anonymous-voting-system-for-ethereum