10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников примут участие в этом однодневном мероприятии, включая четыре выступления. Ниже приведен обзор ключевых моментов конференции, охватывающих последние разработки в области аппаратного обеспечения нулевых знаний, производительности SNARK и дизайна децентрализованных сетей доказательства.
Развитие оборудования ZK
Поддержка аппаратного обеспечения для генерации доказательств всегда была важной целью в области нулевых знаний. Два доклада на главной сцене обрисовали текущее состояние развития:
Некоторый исследователь сделал подробный обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Он упомянул компании, использующие универсальное оборудование, компании, производящие кастомизированное оборудование, а также компании, работающие в децентрализованных сетях доказательств. Он предсказал, что оптимизированные системы zkVM могут достичь увеличения вычислительной эффективности в 1000 раз, что окажет значительное влияние на будущие версии Ethereum. Он также отметил, что большинство доказательств, вероятно, будут использовать структуру Groth16 и анонсировал предстоящие официальные соревнования по валидации для доказателей и валидаторов.
Сооснователь компании представил систему Binius, которая одновременно разрабатывает доказательную систему и аппаратное обеспечение. Binius использует двоичную башенную площадку и протокол sumcheck. Интересно, что ранние тесты показывают, что хеш-функция Groestl может иметь преимущества перед Keccak в некоторых приложениях.
Децентрализованная сеть проверяющих
Многие эксперты предполагают, что в будущем генерация доказательств для крупных отчетов будет осуществляться через конкурентный, децентрализованный рынок профессиональных доказателей.
Соучредитель компании обсудила их предстоящую сеть доказателей. Она проанализировала различные потенциальные механизмы проектирования и пришла к выводу, что дизайн, основанный на конкуренции или добыче, может не привести к желаемым результатам. Она предложила, чтобы проектные цели были следующие: минимизация затрат, максимизация задержек и устойчивость к цензуре. Она предсказала, что аукционный режим будет наиболее вероятно успешным, в конечном итоге возможно, он будет похож на сегодняшнее построение блоков.
Докторант одного университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора и представил альтернативный механизм под названием Proo-phi, который вводит новые механизмы торговли и доказательства.
Генеральный директор по технологиям одной компании обсудил рынок доказательств поддержки многопартитных вычислений (MPC), особенно то, как использовать MPC для защиты конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинации систем доказательства для оптимизации линейных операций в MPC с целью минимизации затрат.
Инновации ZK-сертификатов
Три дискуссии сосредоточены на усилиях по созданию нулевых знаний на основе существующих систем идентификации:
Некоторые соучредители проекта представили доказательства владения идентичностью без раскрытия информации на основе электронной почты. Эти доказательства зависят от проверки подписи DKIM электронной почты для определенного адреса и могут быть использованы в таких приложениях, как анонимные переводы электронной почты.
Некоторые исследователи лаборатории обсудили технологии взаимодействия OpenID Connect с традиционной веб-идентификацией web2. Это позволяет осуществлять такие приложения, как переводы на счета Google или Facebook.
Члены проекта обсудили, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователи могут доказать, что они имеют паспорт определенной страны и достигли определенного возраста, не раскрывая конкретную личную информацию.
Эти инновации открывают новые возможности для проверки личности при защите конфиденциальности и обещают широкое применение в различных областях.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
18 Лайков
Награда
18
3
Поделиться
комментарий
0/400
SchrodingerWallet
· 10ч назад
ZK又要 На луну了
Посмотреть ОригиналОтветить0
RebaseVictim
· 07-28 12:39
Технология ZK стала предметом конкурентной борьбы.
2024 Конференция по нулевым знаниям: фокус на ZK-аппаратуре, сети доказательств и инновациях в идентификации
Саммит нулевых знаний 2024: отчет с места событий
10 апреля 2024 года в Афинах пройдет 11-я конференция по нулевым знаниям. Около 500 участников примут участие в этом однодневном мероприятии, включая четыре выступления. Ниже приведен обзор ключевых моментов конференции, охватывающих последние разработки в области аппаратного обеспечения нулевых знаний, производительности SNARK и дизайна децентрализованных сетей доказательства.
Развитие оборудования ZK
Поддержка аппаратного обеспечения для генерации доказательств всегда была важной целью в области нулевых знаний. Два доклада на главной сцене обрисовали текущее состояние развития:
Некоторый исследователь сделал подробный обзор ZK-аппаратного обеспечения, включая классификацию компаний в этой области. Он упомянул компании, использующие универсальное оборудование, компании, производящие кастомизированное оборудование, а также компании, работающие в децентрализованных сетях доказательств. Он предсказал, что оптимизированные системы zkVM могут достичь увеличения вычислительной эффективности в 1000 раз, что окажет значительное влияние на будущие версии Ethereum. Он также отметил, что большинство доказательств, вероятно, будут использовать структуру Groth16 и анонсировал предстоящие официальные соревнования по валидации для доказателей и валидаторов.
Сооснователь компании представил систему Binius, которая одновременно разрабатывает доказательную систему и аппаратное обеспечение. Binius использует двоичную башенную площадку и протокол sumcheck. Интересно, что ранние тесты показывают, что хеш-функция Groestl может иметь преимущества перед Keccak в некоторых приложениях.
Децентрализованная сеть проверяющих
Многие эксперты предполагают, что в будущем генерация доказательств для крупных отчетов будет осуществляться через конкурентный, децентрализованный рынок профессиональных доказателей.
Соучредитель компании обсудила их предстоящую сеть доказателей. Она проанализировала различные потенциальные механизмы проектирования и пришла к выводу, что дизайн, основанный на конкуренции или добыче, может не привести к желаемым результатам. Она предложила, чтобы проектные цели были следующие: минимизация затрат, максимизация задержек и устойчивость к цензуре. Она предсказала, что аукционный режим будет наиболее вероятно успешным, в конечном итоге возможно, он будет похож на сегодняшнее построение блоков.
Докторант одного университета представил новую статью о экономике сетей доказателей. Он отметил, что двусторонние аукционы подвержены влиянию сговора и представил альтернативный механизм под названием Proo-phi, который вводит новые механизмы торговли и доказательства.
Генеральный директор по технологиям одной компании обсудил рынок доказательств поддержки многопартитных вычислений (MPC), особенно то, как использовать MPC для защиты конфиденциальности между небольшими клиентами и крупными доказателями. Он рассмотрел, как выбрать комбинации систем доказательства для оптимизации линейных операций в MPC с целью минимизации затрат.
Инновации ZK-сертификатов
Три дискуссии сосредоточены на усилиях по созданию нулевых знаний на основе существующих систем идентификации:
Некоторые соучредители проекта представили доказательства владения идентичностью без раскрытия информации на основе электронной почты. Эти доказательства зависят от проверки подписи DKIM электронной почты для определенного адреса и могут быть использованы в таких приложениях, как анонимные переводы электронной почты.
Некоторые исследователи лаборатории обсудили технологии взаимодействия OpenID Connect с традиционной веб-идентификацией web2. Это позволяет осуществлять такие приложения, как переводы на счета Google или Facebook.
Члены проекта обсудили, как создать анонимные удостоверения на основе существующих электронных паспортов. Например, пользователи могут доказать, что они имеют паспорт определенной страны и достигли определенного возраста, не раскрывая конкретную личную информацию.
Эти инновации открывают новые возможности для проверки личности при защите конфиденциальности и обещают широкое применение в различных областях.