Zero Knowledge Summit 2024: Репортаж с нулевого саммита знаний

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

Развитие аппаратного обеспечения с нулевым знанием

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

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

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

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

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

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

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

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

Приложения нулевых знаний

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

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

Исследователи одной блокчейн-платформы поделились своим решением по взаимодействию OpenID Connect с традиционной идентификацией Web2, что сделало возможным анонимные переводы на аккаунты Google или Facebook.

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

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