Zero Knowledge Summit 2024: Впечатления из отрасли

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

Развитие аппаратного обеспечения ZK

На протяжении долгого времени поддержка аппаратного обеспечения для генерации доказательств была в центре внимания отрасли. Открытая речь на этом саммите была посвящена последним достижениям в области ZK-аппаратного обеспечения.

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

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

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

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

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

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

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

Инновации ZK-подтверждений

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

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

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

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

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