Саммит нулевых знаний 2024: репортаж с места события
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Конференция организована подкастом по нулевым знаниям и привлекла около 500 участников, в течение одного дня одновременно состоялось четыре выступления. Ниже представлено резюме ключевых моментов конференции, охватывающее последние достижения в области нулевых знаний аппаратного обеспечения, производительности SNARK и проектирования децентрализованных сетей доказательства.
Развитие аппаратного обеспечения с нулевым знанием
Поддержка аппаратного обеспечения для генерации доказательств всегда была в центре внимания индустрии. Два доклада на главной сцене обрисовали последние достижения в этой области:
Некоторый исследователь провел полный обзор аппаратного обеспечения с нулевыми знаниями, включая компании, использующие универсальное оборудование и производящие специализированное оборудование, а также проекты, работающие с децентрализованными сетями доказательств. Он прогнозирует, что за счет технологий, таких как оптимизированные для аппаратного обеспечения системы проверки SNARK, в сочетании со специализированным оборудованием, можно достичь увеличения вычислительной эффективности в 1000 раз, что окажет значительное влияние на будущее развития Ethereum. Он также упомянул, что будет объявлен конкурс на формальную проверку доказателей и проверяющих с призовым фондом до 20 миллионов долларов.
Сооснователь компании представил концепцию одновременного проектирования системы доказательств и аппаратного обеспечения. Их система использует бинарные башенные поля и протокол sumcheck. Ранние тесты показали, что в некоторых приложениях функции хеширования Groestl демонстрируют значительно лучшую производительность по сравнению с Keccak, что открывает новые идеи для будущего проектирования систем.
Децентрализованная сеть доказателей
Эксперты в индустрии в целом считают, что в будущем масштабная генерация доказательств (например, проверка корректности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании обсудила различные потенциальные механизмы проектирования децентрализованной сети доказателей. Она считает, что целями проектирования должны быть: минимизация затрат, максимизация задержки и обеспечение устойчивости к цензуре. Она предсказывает, что аукционная модель с наибольшей вероятностью станет мейнстримом и в конечном итоге может быть похожа на сегодняшний процесс формирования блоков.
Некоторые докторанты университета представили новую статью о экономике сети доказателей. Они предложили новый механизм под названием Proo-phi, который вводит инновационные механизмы сопоставления сделок и доказательства для решения проблем с сговорами, которые могут возникнуть в двусторонних аукционах.
Главный технический директор одной компании обсудил рынок доказательств, поддерживающих многопартийные вычисления (MPC), в частности, как использовать MPC для поддержания конфиденциальности между небольшими клиентами и крупными доказателями. Он подчеркнул, что при выборе комбинации систем доказательства следует учитывать относительно дешевые линейные операции в MPC, чтобы минимизировать затраты.
Нулевая знаниевая сертификат
На саммите также обсуждались различные варианты создания нулевых доказательств на основе существующих систем идентификации:
Нулевое знание на основе электронной почты: доказательство знания DKIM-подписи электронной почты для определенного адреса, чтобы продемонстрировать право собственности на адрес электронной почты. Этот метод может быть применен в таких сценариях, как анонимные электронные переводы и подача жалоб.
Использование OpenID connect для взаимодействия с традиционной веб-идентификацией 2.0: взаимодействуя с существующими провайдерами OpenID, подтверждать, что пользователь контролирует определенный адрес, что делает возможным такие применения, как переводы на социальные медиа-аккаунты.
Анонимные сертификаты на основе электронного паспорта: пользователи могут подтвердить наличие паспорта определённой страны и соответствие возрастным требованиям, не раскрывая конкретный номер паспорта или точный возраст.
Эти инновационные решения демонстрируют широкие возможности применения технологий нулевого знания в области аутентификации и защиты конфиденциальности.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
20 Лайков
Награда
20
10
Репост
Поделиться
комментарий
0/400
TopBuyerBottomSeller
· 07-31 20:02
Афины, ты что, выгораешь?
Посмотреть ОригиналОтветить0
DaoResearcher
· 07-31 16:38
1000-кратное увеличение также не может удовлетворить условия ZK-формулы, судя по данным, это еще одна ловушка VC.
Посмотреть ОригиналОтветить0
AirdropChaser
· 07-31 09:22
Аппаратное обеспечение должно большой памп, накапливайте.
Посмотреть ОригиналОтветить0
ZkProofPudding
· 07-30 20:44
Играл с аппаратными Ригами для майнинга год, теперь надо действовать.
Посмотреть ОригиналОтветить0
AirdropHarvester
· 07-30 20:43
Пусто
Посмотреть ОригиналОтветить0
SchroedingerGas
· 07-30 20:42
Кто сказал, что ZK обязательно дорогой? Быстрый переход к увеличению в 1000 раз.
Посмотреть ОригиналОтветить0
BoredApeResistance
· 07-30 20:35
硬件 удивительный
Посмотреть ОригиналОтветить0
TestnetFreeloader
· 07-30 20:17
STARK действительно хорош, аппаратное обновление в 1000 раз yyds
2024 Конференция по нулевым знаниям: инновации в аппаратном обеспечении и Децентрализация доказательных сетей ведут новые тренды в отрасли
Саммит нулевых знаний 2024: репортаж с места события
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Конференция организована подкастом по нулевым знаниям и привлекла около 500 участников, в течение одного дня одновременно состоялось четыре выступления. Ниже представлено резюме ключевых моментов конференции, охватывающее последние достижения в области нулевых знаний аппаратного обеспечения, производительности SNARK и проектирования децентрализованных сетей доказательства.
Развитие аппаратного обеспечения с нулевым знанием
Поддержка аппаратного обеспечения для генерации доказательств всегда была в центре внимания индустрии. Два доклада на главной сцене обрисовали последние достижения в этой области:
Некоторый исследователь провел полный обзор аппаратного обеспечения с нулевыми знаниями, включая компании, использующие универсальное оборудование и производящие специализированное оборудование, а также проекты, работающие с децентрализованными сетями доказательств. Он прогнозирует, что за счет технологий, таких как оптимизированные для аппаратного обеспечения системы проверки SNARK, в сочетании со специализированным оборудованием, можно достичь увеличения вычислительной эффективности в 1000 раз, что окажет значительное влияние на будущее развития Ethereum. Он также упомянул, что будет объявлен конкурс на формальную проверку доказателей и проверяющих с призовым фондом до 20 миллионов долларов.
Сооснователь компании представил концепцию одновременного проектирования системы доказательств и аппаратного обеспечения. Их система использует бинарные башенные поля и протокол sumcheck. Ранние тесты показали, что в некоторых приложениях функции хеширования Groestl демонстрируют значительно лучшую производительность по сравнению с Keccak, что открывает новые идеи для будущего проектирования систем.
Децентрализованная сеть доказателей
Эксперты в индустрии в целом считают, что в будущем масштабная генерация доказательств (например, проверка корректности пакета транзакций в Rollup) будет осуществляться конкурентным, децентрализованным рынком профессиональных доказателей.
Соучредитель компании обсудила различные потенциальные механизмы проектирования децентрализованной сети доказателей. Она считает, что целями проектирования должны быть: минимизация затрат, максимизация задержки и обеспечение устойчивости к цензуре. Она предсказывает, что аукционная модель с наибольшей вероятностью станет мейнстримом и в конечном итоге может быть похожа на сегодняшний процесс формирования блоков.
Некоторые докторанты университета представили новую статью о экономике сети доказателей. Они предложили новый механизм под названием Proo-phi, который вводит инновационные механизмы сопоставления сделок и доказательства для решения проблем с сговорами, которые могут возникнуть в двусторонних аукционах.
Главный технический директор одной компании обсудил рынок доказательств, поддерживающих многопартийные вычисления (MPC), в частности, как использовать MPC для поддержания конфиденциальности между небольшими клиентами и крупными доказателями. Он подчеркнул, что при выборе комбинации систем доказательства следует учитывать относительно дешевые линейные операции в MPC, чтобы минимизировать затраты.
Нулевая знаниевая сертификат
На саммите также обсуждались различные варианты создания нулевых доказательств на основе существующих систем идентификации:
Нулевое знание на основе электронной почты: доказательство знания DKIM-подписи электронной почты для определенного адреса, чтобы продемонстрировать право собственности на адрес электронной почты. Этот метод может быть применен в таких сценариях, как анонимные электронные переводы и подача жалоб.
Использование OpenID connect для взаимодействия с традиционной веб-идентификацией 2.0: взаимодействуя с существующими провайдерами OpenID, подтверждать, что пользователь контролирует определенный адрес, что делает возможным такие применения, как переводы на социальные медиа-аккаунты.
Анонимные сертификаты на основе электронного паспорта: пользователи могут подтвердить наличие паспорта определённой страны и соответствие возрастным требованиям, не раскрывая конкретный номер паспорта или точный возраст.
Эти инновационные решения демонстрируют широкие возможности применения технологий нулевого знания в области аутентификации и защиты конфиденциальности.