Саммит Нулевых Знаний 2024: Записки с места

10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников примут участие в этом однодневном мероприятии, в рамках которого состоятся четыре выступления. Ниже приведены основные моменты мероприятия, охватывающие последние достижения в области аппаратного обеспечения нулевых знаний, производительности SNARK и проектирования сетей доказательств.

Развитие аппаратного обеспечения ZK

Поддержка аппаратного обеспечения для доказательства с нулевым знанием всегда была в центре внимания отрасли. На этом саммите несколько экспертов поделились последними достижениями в этой области:

Некоторые исследователи фонда сделали полный обзор ZK-аппаратного обеспечения, разделив соответствующие компании на три категории: компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, и компании, работающие в децентрализованных сетях доказательства. Он прогнозирует, что такие технологии, как оптимизированные аппаратные системы проверки SNARK, могут достичь увеличения вычислительной эффективности в 1000 раз, что окажет значительное влияние на будущее развития Ethereum. Он также отметил, что большинство доказательств будет использовано с упаковкой Groth16, а оборудование в основном сосредоточено на непонятных компактных доказательствах ZK.

Сооснователь компании представил разработанную ими систему верификации, которая одновременно оптимизирует систему доказательства и аппаратный дизайн. Предварительные тесты показали, что в некоторых приложениях производительность хеш-функции Groestl значительно превосходит Keccak.

Децентрализованная сеть удостоверителей

Несколько экспертов обсудили направления будущего развития децентрализованных сетей доказателей:

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

Доктор-студент одного университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора и предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.

Генеральный директор по технологиям одной компании обсудил рынок доказательств с поддержкой многопартийных вычислений, особенно как осуществить децентрализованные взаимодействия между небольшими клиентами и крупными доказателями, защищая при этом конфиденциальность.

Приложение ZK-сертификатов

На конференции также обсуждались различные схемы создания нулевых знаний на основе существующих систем идентификации:

Соучредитель проекта познакомил с основанным на электронной почте доказательством нулевых знаний владения. Этот метод использует проверку подписи DKIM для подтверждения того, контролирует ли пользователь определенный адрес электронной почты, и может быть применен в таких сценариях, как анонимные переводы и сообщения о нарушениях.

Некоторые исследователи компании поделились решением, использующим OpenID Connect для взаимодействия с традиционной идентификацией web2, что делает возможным такие приложения, как переводы на аккаунты Google или Facebook.

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

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