Biblioteka Ethereum umożliwiająca anonimowe głosowanie – Cryptopolitan

Andreessen Horowitz przedstawia „Cicada”, bibliotekę, która umożliwia niemożliwe do wyśledzenia głosowanie w Ethereum. Anonimowa biblioteka Solidity do głosowania dla Ethereum została udostępniona przez firmę venture capital Andreessen Horowitz, popularnie znaną jako A16z. Biblioteka, działająca pod nazwą „Cykada”, utrzymuje wybory w lokalach wyborczych w tajemnicy do czasu zamknięcia lokali wyborczych. 

Anonimowe głosowanie na Ethereum z biblioteką „Cicada” A16z

Zgodnie z postem na blogu autorstwa inżyniera A16z, Michaela Zhu z 24 maja, może to również sprawić, że tożsamość wyborcy będzie wiecznie niepoznawalna w połączeniu z systemami członkostwa w grupach o zerowej wiedzy, takimi jak Semaphore.

Według Zhu, Cicada wykorzystuje łamigłówki z blokadą czasową, kryptografię, która umożliwia użytkownikom szyfrowanie osobistych wartości, które można rozszyfrować dopiero po określonym czasie.

Od 1996 roku te puzzle są dostępne. Jednak przed 2019 r. upoważniliby użytkowników do ujawnienia ich wartości po upływie tego okresu. Zakłóciło to zdolność systemów do głosowania do liczenia wszystkich głosów oddanych przez użytkowników, którzy przesłali swoje karty do głosowania przed przejściem do trybu offline.

Giulio Malavolta i Aravind Thyagarajan, dwaj kryptografowie, wprowadzili pomysł „homomorficznych” łamigłówek czasowych w 2019 roku. Umożliwiło to połączenie zagadek w jedną, prostszą do rozwiązania niż suma różnych zagadek. Ostateczną zagadkę można rozwiązać jedynie znając sumę różnych wartości, a nie poszczególne.

Post A16z twierdzi, że Cicada używa tych homomorficznych problemów do śledzenia głosów, nawet gdy użytkownicy nie są online.

Cicada wdraża weryfikację typu zero-knowledge, chroniąc uczciwość głosowania

Badacze A16z napotkali wyzwanie podczas próby dostosowania podejścia Malavolty i Thyagarajana do łańcucha blokowego: każda opcja musi być zakodowana jako wartość logiczna „1” lub „0”. W rezultacie osoby atakujące mogą próbować zwiększyć swoją siłę głosu, niewłaściwie kodując głosy, np. przez kodowanie „100” jako wartości.

Zgodnie z postem, aby rozwiązać ten problem, Cicada nakazuje, aby każdej karcie do głosowania towarzyszył dowód jej legalności o zerowej wiedzy. Nie ujawniając treści głosowania, dowód pokazuje, że głos został odpowiednio zakodowany.

Tylko podczas przeprowadzania ankiety głosy mogą być ukrywane przez cykady. Poprzez brutalne wymuszenie odpowiedzi na zagadkę po „zamknięciu ankiety” lub po upływie okresu blokady, każdy może odkryć wyniki głosowania. 

Jednak Cykada może być używana w połączeniu z systemami członkostwa w grupach o zerowej wiedzy, takimi jak Semaphore, Semacaulk lub dowody stanu o zerowej wiedzy, aby złagodzić ten problem, zgodnie z A16z. Rozwiązanie zagadki brutalną siłą pokaże tylko, że ważny głosujący oddał głos; nie pokaże dokumentów tożsamości używanych do weryfikacji uprawnień wyborcy.

Zhu wysłał adres URL do przykładowej umowy Cicada, która używa semafora do sprawdzania uprawnień wyborców jako ilustracji.

Zdecentralizowane autonomiczne organizacje (DAO), organy zarządzające, które często nadzorują aplikacje blockchain, od dawna uwzględniają metody głosowania w swoich strukturach. Ponieważ jednak DAO zazwyczaj używają tokenów do reprezentowania głosów, władza użytkownika może być nadmierna, jeśli kontroluje on znaczną liczbę tokenów. 

Na przykład 22 maja haker przejął kontrolę nad Tornado Cash, oddając dodatkowe głosy na nikczemną propozycję, którą następnie wykorzystał do wyciągnięcia wszystkich pieniędzy z umowy o zarządzanie. Później atakujący zaoferował użytkownikom przywrócenie kontroli.

Sasha Ivanov, założyciel Waves, zaproponował, że aby zapobiec takim włamaniom do zarządzania, DAO muszą przejść na bardziej demokratyczną metodę głosowania. Na Twitterze Zhu Przyznał że głosowanie on-chain „nie jest jeszcze gotowe na przypadki użycia w świecie rzeczywistym o wysokich stawkach”, ale wyraził optymizm co do dalszego rozwoju.

Wiele projektów blockchain obejmuje obecnie struktury zarządzania, które zależą od głosowania w łańcuchu. Na przykład projekt Stablecoin Maker wykorzystuje głosowanie on-chain, aby wybrać skład swoich rezerw i inne decyzje. W przeciwieństwie do tego, Uniswap i inne platformy DeFi wykorzystują zarządzanie w łańcuchu, aby zdecydować, które łańcuchy bloków wdrożyć.

A16z wchodzi do Optimism Collective z pakietem Rollup Client Magi

A16z, kryptowalutowy fundusz venture capital, również zaprezentował Magi, rozwiązanie OP Stack warstwy 2. Klient roll-up (warstwa konsensusu) opracowany w Rust jest najnowszą propozycją a16z i reprezentuje wejście firmy do Optimism Collective.

Magi służy jako klient konsensusu i dostarcza nowe bloki do klienta wykonawczego w warstwie wykonawczej Ethereum, aby przyspieszyć łańcuch. Magi został stworzony niezależnie, aby zwiększyć różnorodność klientów rollupów i zastąpić węzły operacyjne. Ponadto zespół a16z zamierza rozszerzyć Magi o nowe techniki synchronizacji, obsługę alternatywnych warstw dostępności danych, śledzenie niebezpiecznej głowy (niepotwierdzone bloki) i lepsze ramy.

Zespół a16z ma nadzieję, że Magi, nawet jako nowatorskie podejście, może stać się praktycznym substytutem węzła operacyjnego po kilku miesiącach prac. Węzeł operacyjny to oparta na Go implementacja dla klientów rolkowych obsługiwana przez Op Labs.