Саммит нулевых знаний 2024: репортаж с места событий

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

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

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

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

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

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

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

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

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

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

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

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

1. Доказательство владения адресом с нулевым знанием на основе электронной почты, основанное на проверке подписи DKIM.

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

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

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