Конференция нулевых знаний 2024: Наблюдение на месте

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

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

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

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

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

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

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

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

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

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

Нулевые знания доказательства

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

• Проект направлен на разработку доказательства владения адресом электронной почты с использованием нулевых знаний, основываясь на доказательствах знания DKIM-подписей.
• Другой проект использует OpenID connect для взаимодействия с традиционной web2-идентичностью, что делает возможным такие приложения, как переводы на счета Google или Facebook.
• Третий проект рассматривает, как создать анонимные сертификаты на основе существующих электронных паспортов, например, подтверждение наличия паспорта определенной страны и возраста, не раскрывая конкретную информацию.

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