Быстрая записка по саммиту нулевых знаний 2024 года

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

Прогресс в области ZK-аппаратного обеспечения

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

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

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

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

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

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

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

Применение ZK-сертификатов

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

• Доказательство владения адресом на основе подписи DKIM по электронной почте
• Система взаимодействия с традиционной веб2-идентификацией с использованием OpenID connect
• Метод построения анонимных удостоверений на основе электронного паспорта

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