Саммит по нулевым знаниям 2024: Основные моменты

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

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

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

• Исследователь某基金会 дал полное описание аппаратного обеспечения с нулевым знанием, разделив соответствующие компании на три категории: компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, и компании, которые управляют децентрализованными сетями доказательств. Он прогнозирует, что оптимизированный zkVM в сочетании со специализированным оборудованием может достичь увеличения производительности в 1000 раз, что окажет значительное влияние на будущее развития Ethereum. Он также сообщил, что будет проведен официальный конкурс по верификации доказателей и верификаторов с призовым фондом до 20 миллионов долларов.

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

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

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

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

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

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

Применение нулевых знаний

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

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

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

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

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