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

Джозеф Бонно выпустил отчет с места о 11-й Конференции по нулевым знаниям (zkSummit), которая прошла 13 апреля 2024 года. Конференция состоялась 10 апреля в Афинах и собрала около 500 участников. Во время конференции прошло четыре выступления, охватывающие последние достижения в области нулевых знаний, производительности SNARK и проектирования сети доказательств.

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

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

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

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

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

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

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

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

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

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

Три дискуссии сосредоточены на усилиях по созданию нулевых знаний (zero-knowledge) на основе существующих систем идентификации, каждая из которых основана на различных системах идентификации.

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

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

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