10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников посетят это однодневное мероприятие, на котором состоится четыре выступления. Ниже представлено резюме ключевых моментов конференции, охватывающее последние достижения в области нулевых знаний, производительности SNARK и проектирования доказательных сетей.
Развитие ZK-аппаратного обеспечения
Поддержка аппаратного обеспечения для генерации доказательств всегда была областью пристального внимания в индустрии. Две вступительные лекции на конференции обрисовали текущее состояние развития:
Один из исследователей представил всесторонний обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Он упомянул компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, а также компании, работающие на децентрализованных сетях доказательств. Он предсказал, что оптимизированный zkVM в сочетании с специализированным оборудованием может достичь увеличения вычислительной эффективности в 1000 раз, что может оказать значительное влияние на дальнейшее развитие Ethereum. Он также сообщил, что будет проведен официальный конкурс для доказчиков и валидаторов, с призовым фондом до 20 миллионов долларов.
Соучредитель компании представил систему Binius, а также концепцию одновременного проектирования системы доказательства и аппаратного обеспечения. Binius использует двоичные башенные поля и протокол sumcheck. Ранние тесты показали, что в некоторых приложениях производительность хеш-функции Groestl значительно превосходит Keccak.
Децентрализованная сеть доказателей
Эксперты в отрасли в целом считают, что в будущем генерация доказательств для массовых заявлений (например, проверка корректности пакета транзакций в Rollup) будет осуществляться посредством конкурентного, децентрализованного рынка профессиональных доказателей.
Соучредитель компании обсудила их предстоящую сеть доказателей. Она проанализировала различные потенциальные механизмы проектирования и пришла к выводу, что конструкции, основанные на соревнованиях или майнинге, могут оказаться неэффективными. Она предложила, что целями проектирования должны быть, в порядке убывания приоритета: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель с наибольшей вероятностью станет мейнстримом и в конечном итоге может быть похожа на текущие способы построения блоков.
Докторант представил новую статью о экономике сети доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора между доказателями и участниками торгов, поэтому предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Технический директор одной компании обсудил рынок доказательств с поддержкой многопартийных вычислений (MPC), особенно то, как использовать MPC для поддержания конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат в MPC.
Инновации ZK-сертификатов
На конференции также обсуждались несколько усилий по созданию нулевых знаний на основе существующих систем идентификации:
Соучредитель определённого проекта представил доказательства владения ZK-электронной почтой. Эти доказательства основаны на проверке DKIM-подписей электронных писем, отправленных на определённый адрес, и могут быть применены в таких сценариях, как анонимные переводы и сообщения о правонарушениях.
Исследователь компании объяснил технологии взаимодействия с традиционной веб-идентификацией 2.0 с использованием OpenID connect, что делает возможным такие приложения, как перевод средств на учетные записи Google или Facebook.
Представитель проекта обсудил, как создать анонимные сертификаты на основе существующих электронных паспортов, например, для подтверждения наличия паспорта определенной страны и достижения определенного возраста, не раскрывая конкретную личную информацию.
Эти инновации открыли новые возможности для применения технологии нулевых знаний в области аутентификации и защиты конфиденциальности.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
8 Лайков
Награда
8
5
Поделиться
комментарий
0/400
UncleWhale
· 19ч назад
Хардверный zk еще требует доработки.
Посмотреть ОригиналОтветить0
TrustMeBro
· 07-25 12:13
Снова говорят о zk, видел, видел.
Посмотреть ОригиналОтветить0
ILCollector
· 07-25 12:02
Не сможете заработать деньги? Используйте аппаратное обеспечение.
Посмотреть ОригиналОтветить0
AirDropMissed
· 07-25 11:55
Все еще играешь в zk, похоже, что падения действительно не будет.
2024 Конференция по нулевым знаниям: новые достижения в ZK-аппаратном обеспечении, сети доказательств и идентификации
Саммит нулевых знаний 2024: Записки с места
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников посетят это однодневное мероприятие, на котором состоится четыре выступления. Ниже представлено резюме ключевых моментов конференции, охватывающее последние достижения в области нулевых знаний, производительности SNARK и проектирования доказательных сетей.
Развитие ZK-аппаратного обеспечения
Поддержка аппаратного обеспечения для генерации доказательств всегда была областью пристального внимания в индустрии. Две вступительные лекции на конференции обрисовали текущее состояние развития:
Один из исследователей представил всесторонний обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Он упомянул компании, использующие универсальное оборудование, компании, производящие специализированное оборудование, а также компании, работающие на децентрализованных сетях доказательств. Он предсказал, что оптимизированный zkVM в сочетании с специализированным оборудованием может достичь увеличения вычислительной эффективности в 1000 раз, что может оказать значительное влияние на дальнейшее развитие Ethereum. Он также сообщил, что будет проведен официальный конкурс для доказчиков и валидаторов, с призовым фондом до 20 миллионов долларов.
Соучредитель компании представил систему Binius, а также концепцию одновременного проектирования системы доказательства и аппаратного обеспечения. Binius использует двоичные башенные поля и протокол sumcheck. Ранние тесты показали, что в некоторых приложениях производительность хеш-функции Groestl значительно превосходит Keccak.
Децентрализованная сеть доказателей
Эксперты в отрасли в целом считают, что в будущем генерация доказательств для массовых заявлений (например, проверка корректности пакета транзакций в Rollup) будет осуществляться посредством конкурентного, децентрализованного рынка профессиональных доказателей.
Соучредитель компании обсудила их предстоящую сеть доказателей. Она проанализировала различные потенциальные механизмы проектирования и пришла к выводу, что конструкции, основанные на соревнованиях или майнинге, могут оказаться неэффективными. Она предложила, что целями проектирования должны быть, в порядке убывания приоритета: минимизация затрат, максимизация задержки и устойчивость к цензуре. Она предсказала, что аукционная модель с наибольшей вероятностью станет мейнстримом и в конечном итоге может быть похожа на текущие способы построения блоков.
Докторант представил новую статью о экономике сети доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора между доказателями и участниками торгов, поэтому предложил альтернативный механизм под названием Proo-phi, который вводит новые механизмы сопоставления сделок и доказательства.
Технический директор одной компании обсудил рынок доказательств с поддержкой многопартийных вычислений (MPC), особенно то, как использовать MPC для поддержания конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинацию систем доказательства для выполнения линейных операций с целью минимизации затрат в MPC.
Инновации ZK-сертификатов
На конференции также обсуждались несколько усилий по созданию нулевых знаний на основе существующих систем идентификации:
Соучредитель определённого проекта представил доказательства владения ZK-электронной почтой. Эти доказательства основаны на проверке DKIM-подписей электронных писем, отправленных на определённый адрес, и могут быть применены в таких сценариях, как анонимные переводы и сообщения о правонарушениях.
Исследователь компании объяснил технологии взаимодействия с традиционной веб-идентификацией 2.0 с использованием OpenID connect, что делает возможным такие приложения, как перевод средств на учетные записи Google или Facebook.
Представитель проекта обсудил, как создать анонимные сертификаты на основе существующих электронных паспортов, например, для подтверждения наличия паспорта определенной страны и достижения определенного возраста, не раскрывая конкретную личную информацию.
Эти инновации открыли новые возможности для применения технологии нулевых знаний в области аутентификации и защиты конфиденциальности.