Саммит нулевых знаний 2024: репортаж с места событий
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Конференция организована подкастом по нулевым знаниям и привлекла около 500 участников, а также включает четыре параллельные лекции. Ниже приведен краткий обзор основных моментов конференции, охватывающий последние достижения в области нулевых знаний, производительности SNARK и децентрализованных сетей доказательств.
Аппаратные средства с нулевым знанием
Аппаратная поддержка всегда была важной целью генерации нулевых знаний. Два выступления на главной сцене обрисовали последние достижения в этой области:
Некоторый исследователь представил всеобъемлющий обзор нулевых знаний в аппаратном обеспечении, разделив соответствующие компании на три категории: использующие универсальное оборудование, производящие индивидуальное оборудование и компании, работающие в децентрализованных сетях доказательства. Он предсказал, что сочетание оптимизированной системы проверки SNARK с аппаратным обеспечением и другими предстоящими оптимизациями может привести к увеличению вычислительной эффективности в 1000 раз, что окажет значительное влияние на финальную версию Ethereum. Он также упомянул о запуске конкурса на формальную верификацию провайдеров и верификаторов с призовым фондом до 20 миллионов долларов.
Сооснователь компании представил концепцию одновременного проектирования системы доказательства и аппаратного обеспечения. Их ранние тесты показали, что в некоторых приложениях производительность хэш-функции Groestl значительно превосходит Keccak, что дает новые идеи для будущего проектирования систем.
Децентрализованная сеть доказателей
Многие эксперты предполагают, что в будущем массовая генерация доказательств (, таких как корректность группы транзакций в Rollup, будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании обсудила различные потенциальные механизмы дизайна децентрализованной сети доказателей. Она считает, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что модель выпуска/стейкинга может быть эффективной, но модель аукциона с наибольшей вероятностью победит, в конечном итоге может быть похожа на сегодняшнее построение блоков. Она раскрыла, что они создают универсальную аукционную сеть для поддержки доказательств нескольких zkVM.
Докторант одного университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы легко подвержены влиянию сговора между доказателями и участниками торгов, поэтому они предложили новый механизм, который вводит новые механизмы сопоставления сделок и доказательства. Этот механизм требует настройки параметров емкости, что, похоже, является ключевой открытой задачей проектирования.
Главный технический директор одной компании обсудил рынок доказательства поддержки многосторонних вычислений )MPC(, особенно как использовать MPC для сохранения конфиденциальности между небольшими клиентами и крупными доказателями. Он исследовал, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат в MPC.
Ненаблюдаемые доказательства
Три различные лекции обсудили усилия по созданию нулевых доказательств на основе существующих систем идентификации:
Сооснователь проекта представил доказательства владения адресом электронной почты с нулевым знанием. Эти доказательства основаны на проверке DKIM-подписей электронной почты, отправленной на определенный адрес, при этом DKIM широко развернут основными провайдерами электронной почты. Эта технология может быть применена в таких сценариях, как перевод средств на адрес электронной почты, анонимные жалобы и т.д.
Некоторые исследователи лаборатории обсудили технологии взаимодействия OpenID Connect с традиционной веб-идентификацией 2.0. Это делает возможными приложения, подобные переводу средств на аккаунты Google или Facebook.
Некоторые участники проекта обсудили, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователи могут подтвердить, что они имеют паспорт определенной страны и достигли определенного возраста, не раскрывая конкретный номер паспорта или точный возраст.
Эти разработки показывают, что технологии нулевого доказательства быстро развиваются в различных областях, предоставляя новые возможности для защиты конфиденциальности и аутентификации.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
16 Лайков
Награда
16
4
Поделиться
комментарий
0/400
ApeShotFirst
· 07-09 05:53
У кого есть деньги, тот тратит деньги! Почему все на месте, а я только сижу и смотрю в телефон!
2024 Конференция по нулевым знаниям: Прорывы в аппаратном обеспечении и Децентрализация сетей в центре внимания
Саммит нулевых знаний 2024: репортаж с места событий
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Конференция организована подкастом по нулевым знаниям и привлекла около 500 участников, а также включает четыре параллельные лекции. Ниже приведен краткий обзор основных моментов конференции, охватывающий последние достижения в области нулевых знаний, производительности SNARK и децентрализованных сетей доказательств.
Аппаратные средства с нулевым знанием
Аппаратная поддержка всегда была важной целью генерации нулевых знаний. Два выступления на главной сцене обрисовали последние достижения в этой области:
Некоторый исследователь представил всеобъемлющий обзор нулевых знаний в аппаратном обеспечении, разделив соответствующие компании на три категории: использующие универсальное оборудование, производящие индивидуальное оборудование и компании, работающие в децентрализованных сетях доказательства. Он предсказал, что сочетание оптимизированной системы проверки SNARK с аппаратным обеспечением и другими предстоящими оптимизациями может привести к увеличению вычислительной эффективности в 1000 раз, что окажет значительное влияние на финальную версию Ethereum. Он также упомянул о запуске конкурса на формальную верификацию провайдеров и верификаторов с призовым фондом до 20 миллионов долларов.
Сооснователь компании представил концепцию одновременного проектирования системы доказательства и аппаратного обеспечения. Их ранние тесты показали, что в некоторых приложениях производительность хэш-функции Groestl значительно превосходит Keccak, что дает новые идеи для будущего проектирования систем.
Децентрализованная сеть доказателей
Многие эксперты предполагают, что в будущем массовая генерация доказательств (, таких как корректность группы транзакций в Rollup, будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании обсудила различные потенциальные механизмы дизайна децентрализованной сети доказателей. Она считает, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что модель выпуска/стейкинга может быть эффективной, но модель аукциона с наибольшей вероятностью победит, в конечном итоге может быть похожа на сегодняшнее построение блоков. Она раскрыла, что они создают универсальную аукционную сеть для поддержки доказательств нескольких zkVM.
Докторант одного университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы легко подвержены влиянию сговора между доказателями и участниками торгов, поэтому они предложили новый механизм, который вводит новые механизмы сопоставления сделок и доказательства. Этот механизм требует настройки параметров емкости, что, похоже, является ключевой открытой задачей проектирования.
Главный технический директор одной компании обсудил рынок доказательства поддержки многосторонних вычислений )MPC(, особенно как использовать MPC для сохранения конфиденциальности между небольшими клиентами и крупными доказателями. Он исследовал, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат в MPC.
Ненаблюдаемые доказательства
Три различные лекции обсудили усилия по созданию нулевых доказательств на основе существующих систем идентификации:
Сооснователь проекта представил доказательства владения адресом электронной почты с нулевым знанием. Эти доказательства основаны на проверке DKIM-подписей электронной почты, отправленной на определенный адрес, при этом DKIM широко развернут основными провайдерами электронной почты. Эта технология может быть применена в таких сценариях, как перевод средств на адрес электронной почты, анонимные жалобы и т.д.
Некоторые исследователи лаборатории обсудили технологии взаимодействия OpenID Connect с традиционной веб-идентификацией 2.0. Это делает возможными приложения, подобные переводу средств на аккаунты Google или Facebook.
Некоторые участники проекта обсудили, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователи могут подтвердить, что они имеют паспорт определенной страны и достигли определенного возраста, не раскрывая конкретный номер паспорта или точный возраст.
Эти разработки показывают, что технологии нулевого доказательства быстро развиваются в различных областях, предоставляя новые возможности для защиты конфиденциальности и аутентификации.