Саммит нулевых знаний 2024: Запись с места события
Джозеф Бонно, научный сотрудник и доцент Нью-Йоркского университета, принял участие в 11-й конференции по нулевым знаниям, которая состоялась 10 апреля в Афинах. На мероприятии собрались около 500 участников, и в течение одного дня прошли четыре выступления. Ниже приведен краткий обзор доклада Бонно, который охватывает последние достижения в области нулевых знаний, производительности SNARK и проектирования сети доказательств.
ZK оборудование
Поддержка оборудования для генерации доказательств всегда была долгосрочной целью сообщества. Две первые лекции на главной сцене обрисовали последние достижения в этой области.
Некоторый исследователь представил всесторонний обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Он перечислил компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, а также компании, работающие с децентрализованными сетями доказательства. Он прогнозирует, что оптимизированные системы проверки SNARK и другие предстоящие оптимизации, наряду со специализированным оборудованием, могут обеспечить увеличение вычислительной эффективности в 1000 раз, что может повлиять на окончательную версию Ethereum. Он также упомянул, что будет объявлен конкурс на официальную верификацию доказателей и валидаторов с призовым фондом до 20 миллионов долларов.
Соучредители одной компании обсудили концепцию одновременного проектирования систем доказательства и аппаратного обеспечения. Их система использует двоичные поля и протокол sumcheck. Ранние тесты показали, что в некоторых приложениях производительность хеш-функции Groestl значительно превосходит Keccak.
Децентрализованная сеть доказателей
Многие эксперты отрасли предполагают, что в будущем генерация доказательств крупных отчетов (например, правильности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании представила их предстоящую сеть доказателей. Она обсудила различные потенциальные механизмы проектирования, полагая, что конструкции, основанные на конкуренции или майнинге, могут оказаться неэффективными. Она предложила, что целями проектирования должны быть: минимальные затраты, максимальная задержка и устойчивость к цензуре. Она предсказала, что модели выпуска/стейкинга могут быть эффективными, но модель аукциона, вероятно, будет наиболее успешной и в конечном итоге может быть похожа на сегодняшние построения блоков.
Докторант Йельского университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы легко подвержены влиянию сговора между доказателями и участниками торгов, и предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Генеральный директор по технологии компании обсудил рынок доказательств, поддерживающих многопартнерские вычисления (MPC), особенно использование MPC для обеспечения конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат.
ZK-удостоверение
Три различных выступления обсудили усилия по созданию нулевых знаний для существующих систем идентификации.
Соучредитель одной компании представил доказательство владения ZK адресом электронной почты. Эти доказательства основаны на знании DKIM-подписей электронной почты, отправленной на определённый адрес. Многие приложения могут использовать ZK для проверки, контролирует ли пользователь адрес электронной почты, включая переводы на адрес электронной почты и анонимные жалобы.
Исследовательские ученые из одной лаборатории обсудили технологии использования OpenID connect для взаимодействия с традиционной веб-идентификацией web2. Эта технология взаимодействует с существующими провайдерами OpenID, подтверждая контроль пользователя над данным адресом, что делает возможными такие приложения, как переводы на аккаунты Google или Facebook.
Представитель компании обсудил, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователи могут доказать, что они имеют паспорт определенной страны и достигли определенного возраста, не раскрывая номер паспорта или точный возраст.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
9 Лайков
Награда
9
4
Репост
Поделиться
комментарий
0/400
blockBoy
· 08-11 04:30
Не могу поверить, что 500 человек посмотрели ZK.
Посмотреть ОригиналОтветить0
AirdropHunterWang
· 08-11 04:27
Я охотник за аирдропами Сяо Ван, позвольте мне оставить комментарий Этот zk уже имеет аппаратные возможности? Все закрутилось
Посмотреть ОригиналОтветить0
CodeZeroBasis
· 08-11 04:24
Никаких базовых знаний, чтобы вести эту встречу.
Посмотреть ОригиналОтветить0
MidnightGenesis
· 08-11 04:11
Аппаратная зона снова обновилась в полночь, как и ожидалось.
Конференция по нулевым знаниям 2024: прорывы в аппаратном обеспечении и Децентрализация доказательных сетей ведут в будущее
Саммит нулевых знаний 2024: Запись с места события
Джозеф Бонно, научный сотрудник и доцент Нью-Йоркского университета, принял участие в 11-й конференции по нулевым знаниям, которая состоялась 10 апреля в Афинах. На мероприятии собрались около 500 участников, и в течение одного дня прошли четыре выступления. Ниже приведен краткий обзор доклада Бонно, который охватывает последние достижения в области нулевых знаний, производительности SNARK и проектирования сети доказательств.
ZK оборудование
Поддержка оборудования для генерации доказательств всегда была долгосрочной целью сообщества. Две первые лекции на главной сцене обрисовали последние достижения в этой области.
Некоторый исследователь представил всесторонний обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Он перечислил компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, а также компании, работающие с децентрализованными сетями доказательства. Он прогнозирует, что оптимизированные системы проверки SNARK и другие предстоящие оптимизации, наряду со специализированным оборудованием, могут обеспечить увеличение вычислительной эффективности в 1000 раз, что может повлиять на окончательную версию Ethereum. Он также упомянул, что будет объявлен конкурс на официальную верификацию доказателей и валидаторов с призовым фондом до 20 миллионов долларов.
Соучредители одной компании обсудили концепцию одновременного проектирования систем доказательства и аппаратного обеспечения. Их система использует двоичные поля и протокол sumcheck. Ранние тесты показали, что в некоторых приложениях производительность хеш-функции Groestl значительно превосходит Keccak.
Децентрализованная сеть доказателей
Многие эксперты отрасли предполагают, что в будущем генерация доказательств крупных отчетов (например, правильности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании представила их предстоящую сеть доказателей. Она обсудила различные потенциальные механизмы проектирования, полагая, что конструкции, основанные на конкуренции или майнинге, могут оказаться неэффективными. Она предложила, что целями проектирования должны быть: минимальные затраты, максимальная задержка и устойчивость к цензуре. Она предсказала, что модели выпуска/стейкинга могут быть эффективными, но модель аукциона, вероятно, будет наиболее успешной и в конечном итоге может быть похожа на сегодняшние построения блоков.
Докторант Йельского университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы легко подвержены влиянию сговора между доказателями и участниками торгов, и предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Генеральный директор по технологии компании обсудил рынок доказательств, поддерживающих многопартнерские вычисления (MPC), особенно использование MPC для обеспечения конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат.
ZK-удостоверение
Три различных выступления обсудили усилия по созданию нулевых знаний для существующих систем идентификации.
Соучредитель одной компании представил доказательство владения ZK адресом электронной почты. Эти доказательства основаны на знании DKIM-подписей электронной почты, отправленной на определённый адрес. Многие приложения могут использовать ZK для проверки, контролирует ли пользователь адрес электронной почты, включая переводы на адрес электронной почты и анонимные жалобы.
Исследовательские ученые из одной лаборатории обсудили технологии использования OpenID connect для взаимодействия с традиционной веб-идентификацией web2. Эта технология взаимодействует с существующими провайдерами OpenID, подтверждая контроль пользователя над данным адресом, что делает возможными такие приложения, как переводы на аккаунты Google или Facebook.
Представитель компании обсудил, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователи могут доказать, что они имеют паспорт определенной страны и достигли определенного возраста, не раскрывая номер паспорта или точный возраст.
Этот zk уже имеет аппаратные возможности? Все закрутилось