Fond rizikového kapitálu Andreessen Horowitz, tiež známy ako A16z, vydal knižnicu Solidity, ktorú možno použiť na anonymné hlasovanie o Ethereu. Knižnica s názvom „Cicada“ bráni tomu, aby bola voľba jednotlivého voliča známa pred ukončením hlasovania. V kombinácii so systémami členstva v skupinách s nulovými znalosťami, ako je Semafor, môže tiež spôsobiť, že identita voliča bude natrvalo nepoznateľná, podľa blogového príspevku z 24. mája od inžiniera A16z Michaela Zhu.
S nadšením oznamujeme Cicada: nový stavebný blok pre súkromné hlasovanie v reťazci. https://t.co/hxE4KL4Se6
— moodle zoup (@moodlezoup) Môže 24, 2023
Cicada sa spolieha na hádanky s časovým zámkom, typ kryptografie, ktorý umožňuje používateľom šifrovať tajné hodnoty, ktoré možno dešifrovať až po uplynutí určitého časového obdobia, uviedol Zhu.
Tieto hádanky existujú od roku 1996. Pred rokom 2019 by však od používateľov vyžadovali, aby po uplynutí časového obdobia odhalili svoje tajné hodnoty. V hlasovacích systémoch to mohlo spôsobiť problémy s používateľmi, ktorí odoslali hlasy a potom prešli do režimu offline, čím sa zabránilo spočítaniu všetkých hlasov.
V roku 2019 navrhli koncept „homomorfných“ hádaniek s časovým zámkom kryptografi Giulio Malavolta a Aravind Thyagarajan. To umožnilo sčítanie hádaniek, aby sa vytvorila konečná hádanka, ktorá sa dala vyriešiť oveľa ľahšie ako súčet jednotlivých hádaniek. Riešenie záverečného rébusu odhalí iba súčet jednotlivých hodnôt bez toho, aby odhalilo jednotlivé hodnoty tvoriace tento súčet.
Podľa príspevku A16z používa Cicada tieto homomorfné hádanky, čo umožňuje počítať hlasy, aj keď používatelia prejdú offline.
Pri pokuse preniesť Malavoltov a Thyagarajanov systém do blockchainu výskumníci A16z narazili na prekážku pri vytváraní spravodlivého hlasovacieho systému: Každá voľba musela byť zakódovaná ako booleovská hodnota „1“ alebo „0“. To znamenalo, že útočníci sa mohli pokúsiť zvýšiť svoju hlasovaciu silu nesprávnym zakódovaním hlasu – napríklad zakódovaním „100“ ako svojej hodnoty.
Na vyriešenie tohto problému vyžaduje Cicada od voličov, aby spolu s každým hlasovaním predložili dôkaz o platnosti hlasovacích lístkov s nulovými znalosťami, uviedol príspevok. Dôkaz ukazuje, že hlasovanie bolo zakódované správne, ale bez odhalenia obsahu hlasovania.
Súvisiace: Anchorage Digital otvára DeFi hlasovanie pre klientov, ktorí sú v správe
Cicada bráni len tomu, aby boli hlasy známe počas hlasovania. Po „uzavretí hlasovania“ alebo po uplynutí časového limitu môže ktokoľvek určiť obsah hlasovania hrubým násilím na riešenie hádanky. A16z však navrhol, že tento problém možno vyriešiť kombináciou Cicada so systémami členstva v skupinách s nulovými znalosťami, ako sú Semafor, Semacaulk alebo dôkazy stavu s nulovými znalosťami. V tomto prípade brutálne vynútenie hádanky odhalí iba to, že hlas odovzdal oprávnený volič, ale neodhalí poverenia použité na preukázanie spôsobilosti voliča.
Ako príklad, Zhu poskytol odkaz na vzorovú zmluvu vyrobenú pomocou Cicada, ktorá sa tiež spolieha na Semafor na preukázanie volebnej spôsobilosti.
Hlasovacie systémy sú už dlho súčasťou decentralizovaných autonómnych organizácií (DAO), riadiacich orgánov, ktoré často spravujú blockchainové aplikácie. Vo väčšine prípadov však DAO používajú tokeny na reprezentáciu hlasov, čo znamená, že jednotliví používatelia môžu mať nadmerný vplyv, ak vlastnia veľké množstvo tokenov. Napríklad 22. mája útočník ovládol Tornado Cash tým, že odovzdal mimoriadne hlasy o zlomyseľnom návrhu a použil ho na vyčerpanie všetkých finančných prostriedkov zmluvy o riadení. Útočník neskôr ponúkol, že používateľom vráti kontrolu.
Zakladateľ Waves Sasha Ivanov tvrdil, že DAO musia prejsť na demokratickejší systém hlasovania, ak sa majú vyhnúť takýmto útokom na vládnutie.
Zdroj: https://cointelegraph.com/news/a16z-releases-anonymous-voting-system-for-ethereum