16z представляет систему анонимного голосования на базе Ethereum

Венчурный фонд Andreessen Horowitz, также известный как «a16z», выпустил библиотеку Solidity Library, которую можно использовать для анонимного голосования на Ethereum. Названная «Цикада», Library не позволяет узнать выбор отдельного избирателя до окончания голосования. В сочетании с системами членства в группах с нулевым разглашением (ZK), такими как Semaphore, это также может сделать личность избирателя навсегда неизвестной, согласно сообщению в блоге от 24 мая инженера a16z Майкла Чжу.

Excited to announce Cicada: a new building block for private on-chain voting. https://t.co/hxE4KL4Se6

— moodle zoup (@moodlezoup) May 24, 2023

По словам Чжу, Cicada использует головоломки с блокировкой времени, тип криптовалюты, который позволяет пользователям шифровать секретные значения, которые могут быть расшифрованы только по прошествии определенного периода времени.

Эти головоломки существуют с 1996 года. Но до 2019 года они требовали от пользователей раскрытия своих секретных значений по истечении определенного периода времени. В системах голосования это могло вызвать проблемы с тем, что пользователи отправляли голоса, а затем отключались от сети, что мешало подсчету всех голосов.

В 2019 году концепция «гомоморфных» головоломок с временным замком была предложена криптографами Малавольтой и Тиагараджаном. Это позволило сложить головоломки вместе, чтобы получить окончательную головоломку, которую было намного проще решить, чем сумму отдельных головоломок. Решение последней головоломки показывает только сумму отдельных значений, не раскрывая отдельных значений, составляющих эту сумму.

Согласно сообщению a16z, Cicada использует эти гомоморфные головоломки, позволяя подсчитывать голоса, даже если пользователи выходят из сети.

При попытке перенести систему Малавольты и Тьягараджана на блокчейн исследователи a16z столкнулись с препятствием на пути к созданию честной системы голосования: каждый выбор нужно было кодировать как логическое значение «1» или «0». Это означало, что злоумышленник мог попытаться увеличить свое право голоса, неправильно закодировав голосование, например, закодировав «100» в качестве своего значения.

Чтобы решить эту проблему, Cicada требует от избирателей предоставить доказательство действительности бюллетеня с нулевым разглашением вместе с каждым бюллетенем, говорится в сообщении. Доказательство показывает, что голосование было закодировано правильно, но без раскрытия содержания голосования.

Связанный: Anchorage Digital открывает голосование DeFi для депозитарных клиентов

Cicada предотвращает раскрытие голосов только во время проведения опроса. Как только «опрос закрыт» или период блокировки по времени прошел, любой человек может определить содержание голосования путем грубой силы решения головоломки. Однако a16z предположил, что эту проблему можно решить, объединив Cicada с системами членства в группах с нулевым разглашением, такими как Semaphor, Semacaulk или ZK state proofs. В этом случае перебор головоломки только покажет, что голос был подан правомочным избирателем, но не раскроет учетные данные, использованные для подтверждения права избирателя.

В качестве примера Чжу предоставил ссылку на образец контракта, созданный с помощью Cicada, который также использует Semaphor для подтверждения права голоса.

Системы голосования уже давно являются компонентом децентрализованных автономных организаций (DAO), руководящих органов, которые часто управляют приложениями блокчейна. Но в большинстве случаев DAO используют токены для представления голосов, а это означает, что отдельный пользователь может иметь огромное влияние, если он владеет большим количеством токенов. Например, 22 мая злоумышленник получил контроль над Tornado Cash, создав для себя дополнительные голоса с помощью злонамеренного предложения, используя его для слива всех средств контракта на управление. Позже злоумышленник предложил вернуть контроль пользователям.

Основатель Waves Network Саша Иванов утверждал, что DAO должны перейти к более демократичной системе голосования, если мы хотим избежать подобных атак на управление.