Саммит нулевых знаний 2024: Наблюдение на месте

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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