10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников примут участие в однодневном мероприятии, которое включает четыре доклада. Ниже приведен обзор ключевых моментов конференции, охватывающий последние достижения в нулевых знаниях, производительность SNARK и дизайн децентрализованных сетей доказательства.
Развитие аппаратного обеспечения ZK
Поддержка аппаратного обеспечения для доказательства нулевых знаний всегда была в центре внимания отрасли. На этом саммите состоялись два тематических доклада, посвященных последним достижениям в этой области:
Исследователь представил всеобъемлющий обзор ZK-аппаратного обеспечения, разделив соответствующие компании на три категории: компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, и компании, которые управляют децентрализованными сетями доказательств. Он предсказал, что с развитием специализированного оборудования и технологий оптимизации вычислительные затраты zkVM могут снизиться в 1000 раз. Это может оказать значительное влияние на будущее развития Ethereum. Он также упомянул, что будет проведен конкурс для формальной проверки доказателей и валидаторов с призовым фондом до 20 миллионов долларов.
Другой докладчик представил систему Binius, которая является методом одновременного проектирования системы доказательства и аппаратного обеспечения. Binius использует двоичную башенную структуру и протокол sumcheck. Интересно, что ранние тесты показали, что хеш-функция Groestl демонстрирует лучшие результаты в некоторых приложениях по сравнению с Keccak.
Децентрализованная сеть доказателей
В отрасли широко считается, что в будущем генерация доказательств больших заявлений (, таких как правильность группы транзакций в Rollup ), будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Один из выступающих представил их предстоящую сеть доказателей. Она проанализировала различные механизмы проектирования сетей и пришла к выводу, что конструкции, основанные на соревнованиях или майнинге, могут не привести к желаемым результатам. Она предложила, что целями проектирования должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель с наибольшей вероятностью победит и в конечном итоге может быть похожа на сегодняшнее построение блоков.
Другой докладчик обсудил новую статью о экономике сетей доказателей. Они предложили новый механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства для борьбы с проблемами сговора, которые могут возникнуть в двусторонних аукционах.
Также была проведена лекция, посвященная рынку доказательств, поддерживающему многопартинные вычисления (MPC), особенно о том, как обеспечить доверительные взаимодействия между небольшими клиентами и крупными доказателями при защите конфиденциальности.
Инновации ZK-сертификатов
Три выступления обсудили усилия по созданию нулевых знаний на основе существующих систем идентификации:
Проект нацелен на реализацию подтверждения права собственности на ZK-адреса электронной почты, что может быть применено в таких сценариях, как анонимные электронные переводы и уведомления.
Другой проект сосредоточен на использовании OpenID Connect для взаимодействия с традиционной веб2-идентичностью, что делает возможным такие приложения, как переводы на счета Google или Facebook.
Третий проект исследует, как создать анонимные сертификаты на основе существующих электронных паспортов, например, для подтверждения наличия паспорта определенной страны и достижения определенного возраста, но без необходимости раскрывать конкретный номер паспорта или точный возраст.
Эти инновации открывают новые возможности для применения технологий нулевого знания в области аутентификации и защиты конфиденциальности.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
15 Лайков
Награда
15
9
Репост
Поделиться
комментарий
0/400
GasFeeLady
· 07-17 13:27
когда аппаратные помпы zkvm Газ? слежу как ястреб rn
Посмотреть ОригиналОтветить0
PerpetualLonger
· 07-17 12:45
С такой скоростью строительства zk-аппаратуры, окупаемость инвестиций не за горами. Позиции в лонг ждут пробоя!
Посмотреть ОригиналОтветить0
AlwaysAnon
· 07-16 07:11
zkvm эта волна взорвет
Посмотреть ОригиналОтветить0
SleepTrader
· 07-15 19:10
Разве это не то, о чем каждый день говорят в zk?
Посмотреть ОригиналОтветить0
DecentralizedElder
· 07-15 19:09
Саммит очень интересный, zk делает так много интересных вещей.
Посмотреть ОригиналОтветить0
SandwichHunter
· 07-15 19:06
Давайте поиграем с нулевыми знаниями
Посмотреть ОригиналОтветить0
ThesisInvestor
· 07-15 19:02
zk технологии должны На луну
Посмотреть ОригиналОтветить0
SatoshiNotNakamoto
· 07-15 18:58
А правда, что ты осмелился проводить это в Афинах?
Конференция по нулевым знаниям 2024: Прогресс в аппаратном обеспечении ZK и дизайн сети доказателей как ключевые моменты
Отчет о конференции Zero Knowledge Summit 2024
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников примут участие в однодневном мероприятии, которое включает четыре доклада. Ниже приведен обзор ключевых моментов конференции, охватывающий последние достижения в нулевых знаниях, производительность SNARK и дизайн децентрализованных сетей доказательства.
Развитие аппаратного обеспечения ZK
Поддержка аппаратного обеспечения для доказательства нулевых знаний всегда была в центре внимания отрасли. На этом саммите состоялись два тематических доклада, посвященных последним достижениям в этой области:
Исследователь представил всеобъемлющий обзор ZK-аппаратного обеспечения, разделив соответствующие компании на три категории: компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, и компании, которые управляют децентрализованными сетями доказательств. Он предсказал, что с развитием специализированного оборудования и технологий оптимизации вычислительные затраты zkVM могут снизиться в 1000 раз. Это может оказать значительное влияние на будущее развития Ethereum. Он также упомянул, что будет проведен конкурс для формальной проверки доказателей и валидаторов с призовым фондом до 20 миллионов долларов.
Другой докладчик представил систему Binius, которая является методом одновременного проектирования системы доказательства и аппаратного обеспечения. Binius использует двоичную башенную структуру и протокол sumcheck. Интересно, что ранние тесты показали, что хеш-функция Groestl демонстрирует лучшие результаты в некоторых приложениях по сравнению с Keccak.
Децентрализованная сеть доказателей
В отрасли широко считается, что в будущем генерация доказательств больших заявлений (, таких как правильность группы транзакций в Rollup ), будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Один из выступающих представил их предстоящую сеть доказателей. Она проанализировала различные механизмы проектирования сетей и пришла к выводу, что конструкции, основанные на соревнованиях или майнинге, могут не привести к желаемым результатам. Она предложила, что целями проектирования должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель с наибольшей вероятностью победит и в конечном итоге может быть похожа на сегодняшнее построение блоков.
Другой докладчик обсудил новую статью о экономике сетей доказателей. Они предложили новый механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства для борьбы с проблемами сговора, которые могут возникнуть в двусторонних аукционах.
Также была проведена лекция, посвященная рынку доказательств, поддерживающему многопартинные вычисления (MPC), особенно о том, как обеспечить доверительные взаимодействия между небольшими клиентами и крупными доказателями при защите конфиденциальности.
Инновации ZK-сертификатов
Три выступления обсудили усилия по созданию нулевых знаний на основе существующих систем идентификации:
Проект нацелен на реализацию подтверждения права собственности на ZK-адреса электронной почты, что может быть применено в таких сценариях, как анонимные электронные переводы и уведомления.
Другой проект сосредоточен на использовании OpenID Connect для взаимодействия с традиционной веб2-идентичностью, что делает возможным такие приложения, как переводы на счета Google или Facebook.
Третий проект исследует, как создать анонимные сертификаты на основе существующих электронных паспортов, например, для подтверждения наличия паспорта определенной страны и достижения определенного возраста, но без необходимости раскрывать конкретный номер паспорта или точный возраст.
Эти инновации открывают новые возможности для применения технологий нулевого знания в области аутентификации и защиты конфиденциальности.