Zero Knowledge Summit 2024: Записки с нулевого знания
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников собрались вместе, чтобы участвовать в четырех параллельных сессиях, которые длились один день. В этой статье подводится итог последним достижениям на конференции в области нулевых знаний, производительности SNARK и проектирования децентрализованных сетей доказательств.
Развитие аппаратного обеспечения с нулевым знанием
Поддержка аппаратного обеспечения всегда была ключевой областью внимания сообщества нулевых знаний. Две ключевые лекции, открывавшие конференцию, обрисовали последние достижения в этой области:
Некоторые исследователи провели полный обзор аппаратного обеспечения с нулевым знанием, разделив связанные компании на три категории: компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, и компании, работающие с децентрализованными сетями доказательств. Он прогнозирует, что такие технологии, как системы проверки SNARK, оптимизированные для аппаратного обеспечения, могут достичь увеличения производительности в 1000 раз, что окажет важное влияние на будущее развития Ethereum. Он также сообщил, что один из фондов планирует провести соревнование для официальных доказателей и проверяющих, с призовым фондом до 20 миллионов долларов.
Сооснователь одной компании представил их систему Binius, которая является решением, одновременно оптимизирующим доказательственную систему и аппаратный дизайн. Binius использует двоичное дерево и протокол sumcheck. Первоначальные тесты показали, что в некоторых сценариях применения производительность хеш-функции Groestl явно превосходит Keccak, это открытие может повлиять на выбор проектирования будущих систем.
Децентрализованная сеть доказателей
Многие специалисты отрасли предполагают, что в будущем генерация доказательств масштабных деклараций (, таких как доказательства корректности пакетной транзакции в Rollup, будет осуществляться конкурентным децентрализованным рынком профессиональных провайдеров доказательств.
Сооснователь компании поделилась информацией о предстоящей сети провайдеров. Она проанализировала различные потенциальные механизмы дизайна децентрализованной сети провайдеров и считает, что дизайн, основанный на конкуренции или майнинге, может оказаться трудным для достижения желаемых результатов. Она предложила, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель с наибольшей вероятностью станет мейнстримом, в конечном итоге она может быть похожа на текущий механизм построения блоков.
Один из аспирантов университета представил только что опубликованную статью о экономике сети доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора между доказателями и участниками торгов, поэтому предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства. Однако механизм Proo-phi требует настройки параметров емкости, что, похоже, является ключевой открытой проблемой дизайна.
Генеральный директор по технологии одной компании обсудил рынок доказательств, поддерживающих многопартиальные вычисления )MPC(, особенно то, как использовать MPC для защиты конфиденциальности между мелкими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат в MPC.
Нулевые знания
На встрече также обсуждались различные попытки создания нулевых знаний на основе существующих систем идентификации:
Соучредитель проекта представил доказательство владения адресом электронной почты с использованием нулевых знаний. Эти доказательства зависят от проверки DKIM-подписей на электронной почте, отправленной на конкретный адрес. Эта технология может быть применена в сценариях анонимных переводов на адрес электронной почты, анонимных жалоб и т.д.
Некоторые исследователи компании поделились своим проектом Keyless, который использует OpenID connect для взаимодействия с традиционными Web2 идентификационными системами. Это делает возможным такие приложения, как перевод средств на аккаунты Google или Facebook.
Некоторые члены проекта обсудили, как создать анонимные сертификаты на основе существующих электронных паспортов. Например, пользователь может подтвердить, что он владеет паспортом определенной страны и достиг определенного возраста, не раскрывая при этом конкретный номер паспорта или точный возраст.
В целом, на этом саммите были продемонстрированы последние достижения технологии нулевых знаний в области аппаратной поддержки, проектирования сетей и аутентификации, что нарисовало многообещающую перспективу для будущего развития этой области.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
24 Лайков
Награда
24
6
Репост
Поделиться
комментарий
0/400
SchrodingerAirdrop
· 08-10 01:21
Апгрейд оборудования стал перспективным.
Посмотреть ОригиналОтветить0
HodlBeliever
· 08-07 15:09
Соотношение производительности и стоимости требует проверки
Посмотреть ОригиналОтветить0
SandwichTrader
· 08-07 02:55
Аппаратное обеспечение действительно может увеличить на k раз.
Посмотреть ОригиналОтветить0
BloodInStreets
· 08-07 02:54
Аппаратное обеспечение — это настоящая точка прорыва.
Посмотреть ОригиналОтветить0
probably_nothing_anon
· 08-07 02:53
Апгрейд оборудования сильно обновляет базовый уровень
2024 Конференция по нулевым знаниям: аппаратная оптимизация, новые достижения в сети доказательства и идентификации
Zero Knowledge Summit 2024: Записки с нулевого знания
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников собрались вместе, чтобы участвовать в четырех параллельных сессиях, которые длились один день. В этой статье подводится итог последним достижениям на конференции в области нулевых знаний, производительности SNARK и проектирования децентрализованных сетей доказательств.
Развитие аппаратного обеспечения с нулевым знанием
Поддержка аппаратного обеспечения всегда была ключевой областью внимания сообщества нулевых знаний. Две ключевые лекции, открывавшие конференцию, обрисовали последние достижения в этой области:
Некоторые исследователи провели полный обзор аппаратного обеспечения с нулевым знанием, разделив связанные компании на три категории: компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, и компании, работающие с децентрализованными сетями доказательств. Он прогнозирует, что такие технологии, как системы проверки SNARK, оптимизированные для аппаратного обеспечения, могут достичь увеличения производительности в 1000 раз, что окажет важное влияние на будущее развития Ethereum. Он также сообщил, что один из фондов планирует провести соревнование для официальных доказателей и проверяющих, с призовым фондом до 20 миллионов долларов.
Сооснователь одной компании представил их систему Binius, которая является решением, одновременно оптимизирующим доказательственную систему и аппаратный дизайн. Binius использует двоичное дерево и протокол sumcheck. Первоначальные тесты показали, что в некоторых сценариях применения производительность хеш-функции Groestl явно превосходит Keccak, это открытие может повлиять на выбор проектирования будущих систем.
Децентрализованная сеть доказателей
Многие специалисты отрасли предполагают, что в будущем генерация доказательств масштабных деклараций (, таких как доказательства корректности пакетной транзакции в Rollup, будет осуществляться конкурентным децентрализованным рынком профессиональных провайдеров доказательств.
Сооснователь компании поделилась информацией о предстоящей сети провайдеров. Она проанализировала различные потенциальные механизмы дизайна децентрализованной сети провайдеров и считает, что дизайн, основанный на конкуренции или майнинге, может оказаться трудным для достижения желаемых результатов. Она предложила, что целями дизайна должны быть: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель с наибольшей вероятностью станет мейнстримом, в конечном итоге она может быть похожа на текущий механизм построения блоков.
Один из аспирантов университета представил только что опубликованную статью о экономике сети доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора между доказателями и участниками торгов, поэтому предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства. Однако механизм Proo-phi требует настройки параметров емкости, что, похоже, является ключевой открытой проблемой дизайна.
Генеральный директор по технологии одной компании обсудил рынок доказательств, поддерживающих многопартиальные вычисления )MPC(, особенно то, как использовать MPC для защиты конфиденциальности между мелкими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат в MPC.
Нулевые знания
На встрече также обсуждались различные попытки создания нулевых знаний на основе существующих систем идентификации:
Соучредитель проекта представил доказательство владения адресом электронной почты с использованием нулевых знаний. Эти доказательства зависят от проверки DKIM-подписей на электронной почте, отправленной на конкретный адрес. Эта технология может быть применена в сценариях анонимных переводов на адрес электронной почты, анонимных жалоб и т.д.
Некоторые исследователи компании поделились своим проектом Keyless, который использует OpenID connect для взаимодействия с традиционными Web2 идентификационными системами. Это делает возможным такие приложения, как перевод средств на аккаунты Google или Facebook.
Некоторые члены проекта обсудили, как создать анонимные сертификаты на основе существующих электронных паспортов. Например, пользователь может подтвердить, что он владеет паспортом определенной страны и достиг определенного возраста, не раскрывая при этом конкретный номер паспорта или точный возраст.
В целом, на этом саммите были продемонстрированы последние достижения технологии нулевых знаний в области аппаратной поддержки, проектирования сетей и аутентификации, что нарисовало многообещающую перспективу для будущего развития этой области.