10 апреля 2024 года в Афинах прошел 11-й саммит по нулевым знаниям. Около 500 участников собрались на это однодневное мероприятие, состоявшееся с четырьмя выступлениями. Ниже приведен обзор ключевых моментов саммита, охватывающий последние достижения в области нулевых знаний, производительности SNARK и проектирования сетей доказательств.
Развитие аппаратного обеспечения ZK
Поддержка аппаратного обеспечения, генерирующего доказательства нулевого знания, всегда была в центре внимания отрасли. Два доклада на главной сцене обрисовали последние достижения в этой области:
Один исследователь дал полное описание ZK-аппаратного обеспечения, включая использование универсального оборудования, производство специализированного оборудования и компании, работающие в децентрализованных сетях доказательств. Он прогнозирует, что благодаря оптимизации аппаратного обеспечения система верификации SNARK и другие предстоящие оптимизации могут достичь 1000-кратного повышения вычислительной эффективности, что окажет значительное влияние на будущие версии Ethereum. Он также упомянул, что будет проведён конкурс на формальную верификацию для доказателей и верификаторов с призовым фондом до 20 миллионов долларов.
Сооснователь компании представил систему Binius, а также концепцию одновременного проектирования системы доказательства и аппаратного обеспечения. Binius использует бинарные башенные поля и протокол sumcheck. Интересно, что ранние тесты показали, что хеш-функция Groestl значительно превосходит Keccak по производительности в некоторых приложениях.
Децентрализованная сеть доказателей
Многие эксперты в отрасли предполагают, что в будущем доказательство генерации крупных отчетов (например, корректности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель одной компании обсудила предстоящую сеть для подтверждающих. Она проанализировала различные потенциальные механизмы дизайна и пришла к выводу, что конструкции, основанные на соревнованиях или майнинге, могут оказаться неэффективными. Она предложила, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель имеет наибольшие шансы на успех, и в будущем может быть похожа на сегодняшние блоки.
Докторант одного из университетов представил новую статью о экономике сети доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора между доказателями и участниками торгов, и предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Главный технический директор компании обсудил рынок доказательств, поддерживающих многопартийные вычисления (MPC), особенно то, как использовать MPC для защиты конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбирать комбинации систем доказательств для выполнения линейных операций с целью минимизации затрат в MPC.
Инновации ZK-удостоверений
Три дискуссии сосредоточены на усилиях по созданию нулевых знаний на основе существующих идентификационных систем:
Соучредитель проекта представил доказательство владения ZK-адресом электронной почты, которое основывается на знании DKIM-подписей для конкретного адреса электронной почты. Эта технология может быть применена в таких сценариях, как перевод средств на адрес электронной почты, анонимные сообщения о правонарушениях и т. д.
Исследователь из одной лаборатории обсудил технологии взаимодействия OpenID connect с традиционными веб2 идентичностями. Это делает возможным такие приложения, как переводы на аккаунты Google или Facebook.
Член проекта обсудил, как создать анонимные сертификаты на основе существующих электронных паспортов. Например, пользователь может подтвердить, что он обладает паспортом определенной страны и достиг определенного возраста, не раскрывая конкретную информацию.
Эти инновации демонстрируют огромный потенциал технологии нулевых знаний в области аутентификации и защиты конфиденциальности, предлагая новые идеи для управления цифровыми идентичностями в будущем.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
6
Поделиться
комментарий
0/400
SchrodingerWallet
· 2ч назад
В Афинах собрались столько про, и никто не упал.
Посмотреть ОригиналОтветить0
MetaNomad
· 20ч назад
Оказывается, все следуют за аппаратным обеспечением. Слишком профессионально, не так ли?
Посмотреть ОригиналОтветить0
MoonBoi42
· 20ч назад
Чуть не пропустил это великое событие
Посмотреть ОригиналОтветить0
ZKSherlock
· 20ч назад
на самом деле... ускорение в 1000 раз звучит как маркетинговый трюк. где математическое доказательство?
Посмотреть ОригиналОтветить0
AirdropChaser
· 20ч назад
1000-кратное увеличение, теперь это действительно круто!
Посмотреть ОригиналОтветить0
MEVictim
· 21ч назад
1000 раз я хочу посмотреть, это просто разговоры или действительно можно это сделать.
2024 Конференция по нулевым знаниям сосредоточена на ZK-аппаратном обеспечении и Децентрализации сети доказательства.
Саммит нулевых знаний 2024: Наблюдения на месте
10 апреля 2024 года в Афинах прошел 11-й саммит по нулевым знаниям. Около 500 участников собрались на это однодневное мероприятие, состоявшееся с четырьмя выступлениями. Ниже приведен обзор ключевых моментов саммита, охватывающий последние достижения в области нулевых знаний, производительности SNARK и проектирования сетей доказательств.
Развитие аппаратного обеспечения ZK
Поддержка аппаратного обеспечения, генерирующего доказательства нулевого знания, всегда была в центре внимания отрасли. Два доклада на главной сцене обрисовали последние достижения в этой области:
Один исследователь дал полное описание ZK-аппаратного обеспечения, включая использование универсального оборудования, производство специализированного оборудования и компании, работающие в децентрализованных сетях доказательств. Он прогнозирует, что благодаря оптимизации аппаратного обеспечения система верификации SNARK и другие предстоящие оптимизации могут достичь 1000-кратного повышения вычислительной эффективности, что окажет значительное влияние на будущие версии Ethereum. Он также упомянул, что будет проведён конкурс на формальную верификацию для доказателей и верификаторов с призовым фондом до 20 миллионов долларов.
Сооснователь компании представил систему Binius, а также концепцию одновременного проектирования системы доказательства и аппаратного обеспечения. Binius использует бинарные башенные поля и протокол sumcheck. Интересно, что ранние тесты показали, что хеш-функция Groestl значительно превосходит Keccak по производительности в некоторых приложениях.
Децентрализованная сеть доказателей
Многие эксперты в отрасли предполагают, что в будущем доказательство генерации крупных отчетов (например, корректности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель одной компании обсудила предстоящую сеть для подтверждающих. Она проанализировала различные потенциальные механизмы дизайна и пришла к выводу, что конструкции, основанные на соревнованиях или майнинге, могут оказаться неэффективными. Она предложила, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель имеет наибольшие шансы на успех, и в будущем может быть похожа на сегодняшние блоки.
Докторант одного из университетов представил новую статью о экономике сети доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора между доказателями и участниками торгов, и предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Главный технический директор компании обсудил рынок доказательств, поддерживающих многопартийные вычисления (MPC), особенно то, как использовать MPC для защиты конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбирать комбинации систем доказательств для выполнения линейных операций с целью минимизации затрат в MPC.
Инновации ZK-удостоверений
Три дискуссии сосредоточены на усилиях по созданию нулевых знаний на основе существующих идентификационных систем:
Соучредитель проекта представил доказательство владения ZK-адресом электронной почты, которое основывается на знании DKIM-подписей для конкретного адреса электронной почты. Эта технология может быть применена в таких сценариях, как перевод средств на адрес электронной почты, анонимные сообщения о правонарушениях и т. д.
Исследователь из одной лаборатории обсудил технологии взаимодействия OpenID connect с традиционными веб2 идентичностями. Это делает возможным такие приложения, как переводы на аккаунты Google или Facebook.
Член проекта обсудил, как создать анонимные сертификаты на основе существующих электронных паспортов. Например, пользователь может подтвердить, что он обладает паспортом определенной страны и достиг определенного возраста, не раскрывая конкретную информацию.
Эти инновации демонстрируют огромный потенциал технологии нулевых знаний в области аутентификации и защиты конфиденциальности, предлагая новые идеи для управления цифровыми идентичностями в будущем.