Саммит нулевых знаний 2024: документальное освещение с места событий
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Это мероприятие организовано подкастом Zero Knowledge и соберет около 500 участников, с четырьмя лекциями, проходящими одновременно в течение одного дня. Ниже представлено резюме важных тем конференции, охватывающее последние достижения в области нулевой знания аппаратного обеспечения, производительности SNARK и проектирования сетей доказательств.
Развитие аппаратного обеспечения ZK
На протяжении долгого времени поддержка аппаратного обеспечения для генерации доказательств оставалась в центре внимания отрасли. На главной сцене саммита две лекции обрисовали последние достижения в этой области.
Некоторые исследователи фонда сделали полный обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Эти компании включают в себя компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, а также компании, работающие с децентрализованными сетями доказательства. Они прогнозируют, что "конечная" цель zkVM может достичь увеличения вычислительной эффективности в 1000 раз, что окажет глубокое влияние на будущее технологии блокчейна. Также было упомянуто, что фонд объявит конкурс на официальную верификацию доказателей и проверяющих, с призовым фондом до 20 миллионов долларов.
Соучредители компании обсудили концепцию одновременного проектирования системы доказательств и аппаратного обеспечения. Их система использует двоичные башенные поля и протокол sumcheck. Интересным выводом, сделанным на основе ранних тестов, стало то, что производительность хеш-функции Groestl значительно превосходит Keccak, что означает, что использование Groestl может иметь преимущества в некоторых приложениях.
Децентрализованная сеть доказателей
Многие в отрасли представили себе будущее, в котором генерация доказательства крупных заявлений (например, корректности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании представила их предстоящую сеть доказателей. Она обсудила различные потенциальные механизмы дизайна децентрализованной сети доказателей и предсказала, что дизайн, основанный на соревнованиях или майнинге, возможно, не приведет к желаемым результатам. Она считает, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что модель выпуска/стейкинга может быть эффективной, но модель аукциона имеет наибольшие шансы на успех, в конечном итоге она может быть похожа на текущую модель построения блоков.
Докторант одного университета представил новую статью о экономике сети доказателей. Он упомянул, что двусторонние аукционы легко подвержены влиянию сговора между доказателями и участниками торгов, и они предложили альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Главный технический директор компании обсудил рынок доказательств, поддерживающих многопартийные вычисления (MPC), особенно как использовать MPC для защиты конфиденциальности между мелкими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательств для выполнения линейных операций с целью минимизации затрат в MPC.
ZK-подтверждение
На саммите также прошло три обсуждения о создании нулевых знаний на основе существующих систем идентификации, каждое из которых зависит от различных существующих систем идентификации.
Некоторые соучредители проекта обсудили доказательства владения ZK-адресами электронной почты. Эти доказательства зависят от проверки DKIM-подписей на электронных письмах, отправленных на конкретный адрес, которые широко внедрены основными поставщиками услуг электронной почты. Эта технология может быть применена в различных сценариях, таких как анонимные переводы на адреса электронной почты или анонимные сообщения о правонарушениях.
Некоторые ученые-исследователи в лаборатории представили проект, который использует OpenID Connect для взаимодействия с традиционными веб2-идентификациями. Этот проект может взаимодействовать с существующими поставщиками OpenID и доказывать, что пользователь контролирует данный адрес, что позволяет осуществлять приложения, подобные переводам на счета в социальных сетях.
Некоторые члены команды проекта обсудили, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователь может доказать, что он владеет паспортом определенной страны и достиг определенного возраста, не раскрывая конкретный номер паспорта или точный возраст.
Эти обсуждения демонстрируют широкие перспективы применения технологий нулевых знаний в области аутентификации и защиты конфиденциальности, открывая новые возможности для управления цифровой идентичностью в будущем.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
5
Репост
Поделиться
комментарий
0/400
WalletDoomsDay
· 16ч назад
zk конференция классная, на переднем плане закрутил микрофон.
Посмотреть ОригиналОтветить0
TokenDustCollector
· 16ч назад
Все начали зарабатывать на трафике web3.
Посмотреть ОригиналОтветить0
ZKProofster
· 16ч назад
честно говоря, 1000x кажется дико оптимистичным... покажите мне математику сначала
Посмотреть ОригиналОтветить0
ZenMiner
· 16ч назад
Не получить билет - это тоже судьба, да?
Посмотреть ОригиналОтветить0
SignatureCollector
· 16ч назад
Лучше получить подпись на месте, чем инвестировать деньги в ZK.
2024 Конференция по нулевым знаниям: новые достижения в аппаратном обеспечении ZK, сети доказательств и идентификации
Саммит нулевых знаний 2024: документальное освещение с места событий
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Это мероприятие организовано подкастом Zero Knowledge и соберет около 500 участников, с четырьмя лекциями, проходящими одновременно в течение одного дня. Ниже представлено резюме важных тем конференции, охватывающее последние достижения в области нулевой знания аппаратного обеспечения, производительности SNARK и проектирования сетей доказательств.
Развитие аппаратного обеспечения ZK
На протяжении долгого времени поддержка аппаратного обеспечения для генерации доказательств оставалась в центре внимания отрасли. На главной сцене саммита две лекции обрисовали последние достижения в этой области.
Некоторые исследователи фонда сделали полный обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Эти компании включают в себя компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, а также компании, работающие с децентрализованными сетями доказательства. Они прогнозируют, что "конечная" цель zkVM может достичь увеличения вычислительной эффективности в 1000 раз, что окажет глубокое влияние на будущее технологии блокчейна. Также было упомянуто, что фонд объявит конкурс на официальную верификацию доказателей и проверяющих, с призовым фондом до 20 миллионов долларов.
Соучредители компании обсудили концепцию одновременного проектирования системы доказательств и аппаратного обеспечения. Их система использует двоичные башенные поля и протокол sumcheck. Интересным выводом, сделанным на основе ранних тестов, стало то, что производительность хеш-функции Groestl значительно превосходит Keccak, что означает, что использование Groestl может иметь преимущества в некоторых приложениях.
Децентрализованная сеть доказателей
Многие в отрасли представили себе будущее, в котором генерация доказательства крупных заявлений (например, корректности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании представила их предстоящую сеть доказателей. Она обсудила различные потенциальные механизмы дизайна децентрализованной сети доказателей и предсказала, что дизайн, основанный на соревнованиях или майнинге, возможно, не приведет к желаемым результатам. Она считает, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что модель выпуска/стейкинга может быть эффективной, но модель аукциона имеет наибольшие шансы на успех, в конечном итоге она может быть похожа на текущую модель построения блоков.
Докторант одного университета представил новую статью о экономике сети доказателей. Он упомянул, что двусторонние аукционы легко подвержены влиянию сговора между доказателями и участниками торгов, и они предложили альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Главный технический директор компании обсудил рынок доказательств, поддерживающих многопартийные вычисления (MPC), особенно как использовать MPC для защиты конфиденциальности между мелкими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательств для выполнения линейных операций с целью минимизации затрат в MPC.
ZK-подтверждение
На саммите также прошло три обсуждения о создании нулевых знаний на основе существующих систем идентификации, каждое из которых зависит от различных существующих систем идентификации.
Некоторые соучредители проекта обсудили доказательства владения ZK-адресами электронной почты. Эти доказательства зависят от проверки DKIM-подписей на электронных письмах, отправленных на конкретный адрес, которые широко внедрены основными поставщиками услуг электронной почты. Эта технология может быть применена в различных сценариях, таких как анонимные переводы на адреса электронной почты или анонимные сообщения о правонарушениях.
Некоторые ученые-исследователи в лаборатории представили проект, который использует OpenID Connect для взаимодействия с традиционными веб2-идентификациями. Этот проект может взаимодействовать с существующими поставщиками OpenID и доказывать, что пользователь контролирует данный адрес, что позволяет осуществлять приложения, подобные переводам на счета в социальных сетях.
Некоторые члены команды проекта обсудили, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователь может доказать, что он владеет паспортом определенной страны и достиг определенного возраста, не раскрывая конкретный номер паспорта или точный возраст.
Эти обсуждения демонстрируют широкие перспективы применения технологий нулевых знаний в области аутентификации и защиты конфиденциальности, открывая новые возможности для управления цифровой идентичностью в будущем.