Виталик Бутерин описывает неразличимость обфускации для бездоверительного голосования на блокчейне

Сооснователь Ethereum Виталик Бутерин в техническом эссе описал, как обфускация неразличимости может обеспечить полностью приватное голосование в ончейне без доверенных посредников. Бутерин рассмотрел этот криптографический подход, предназначенный для скрытия логики программного обеспечения с сохранением корректных результатов, утверждая, что его можно объединить с инфраструктурой блокчейна для приватного, устойчивого к сговору голосования. Технология остается далекой от практического развертывания: текущие реализации требуют экстремальных вычислительных затрат, которые Бутерин описал как «галактический» уровень вычислений.

Обфускация неразличимости обрабатывает зашифрованные голоса, не раскрывая бюллетени

Бутерин объяснил, что обфускация неразличимости — это форма криптографии, предназначенная для скрытия того, как работает программное обеспечение, при этом позволяя ему выдавать корректные результаты при выполнении. Обфусцированная программа могла бы обрабатывать зашифрованные голоса и публиковать только итоговый подсчет, не раскрывая отдельные бюллетени и не показывая свою внутреннюю логику. Такой подход устранил бы необходимость в пороговых комитетах, которые в настоящее время разделяют ответственность за расшифровку данных выборов. Сочетание iO с инфраструктурой блокчейна может обеспечить приватное, устойчивое к сговору голосование с почти полным отсутствием доверия к комитетам, отвечающим за обработку бюллетеней или раскрытие результатов.

Инфраструктура блокчейна остается необходимой для управления состоянием

Бутерин заявил, что блокчейны по-прежнему необходимы, поскольку обфусцированное программное обеспечение не может предотвратить свое копирование или самостоятельно поддерживать изменяющееся состояние. Это ограничение делает обфусцированные программы непригодными для самостоятельного использования в приложениях, включающих балансы или другие системы с состоянием. Инфраструктура блокчейна потребуется для управления общим состоянием, которое обфусцированные программы не могут безопасно поддерживать независимо.

Текущие реализации требуют галактического уровня вычислений

Хотя исследователи недавно продемонстрировали способы построения iO с использованием разумных допущений безопасности, Бутерин сказал, что сегодняшние реализации требуют «галактического» уровня вычислений. Некоторые подходы выполняются дольше, чем время существования Вселенной. Бутерин описал обфускацию как долгосрочное исследовательское направление, а не готовую к производству технологию, сравнив ее текущую стадию с ранними исследованиями доказательств с нулевым разглашением до того, как годы оптимизации превратили их в практичную инфраструктуру блокчейна.

FAQ

Что такое обфускация неразличимости в голосовании на блокчейне? Обфускация неразличимости — это форма криптографии, предназначенная для скрытия того, как работает программное обеспечение, при этом позволяя ему выдавать корректные результаты при выполнении. В голосовании на блокчейне обфусцированная программа могла бы обрабатывать зашифрованные голоса и публиковать только итоговый подсчет, не раскрывая отдельные бюллетени и не показывая свою внутреннюю логику.

Почему блокчейны все еще необходимы, если программы для голосования обфусцированы? Блокчейны остаются необходимыми, потому что обфусцированное программное обеспечение не может предотвратить свое копирование или самостоятельно поддерживать изменяющееся состояние. Это делает обфусцированные программы непригодными для самостоятельного использования в приложениях, включающих балансы или другие системы с состоянием, требуя инфраструктуры блокчейна для управления общим состоянием.

Насколько практична обфускация неразличимости для голосования сегодня? Текущие реализации требуют «галактического» уровня вычислений, причем некоторые подходы выполняются дольше, чем время существования Вселенной. Бутерин описал технологию как долгосрочное исследовательское направление, а не готовую к производству, сравнив ее текущую стадию с ранними исследованиями доказательств с нулевым разглашением до того, как годы оптимизации сделали ее практичной.