Саммит по нулевым знаниям 2024: Официальный отчет

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

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

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

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

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

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

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

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

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

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

Нулевые знания

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

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

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

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

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