[Nexus blog] Видение верифицируемости
Дисклеймер:
Я не профессиональный переводчик, я люблю разбираться в технологиях, поэтому перевожу статьи. Если вы найдете ошибку или неточность в формулировках, сообщите мне об этом в X или Дискорд, я с удовольствием поправлю перевод.
Надеюсь, перевод будет вам полезен <3
Автор перевода:
X: https://x.com/learn3xyz
Discord: Riviera07
Источник: https://blog.nexus.xyz/the-verifiability-vision-a-devcon-2024-talk/
Краткий обзор того, как «proof-carrying data» изменит интернет.
Главный научный сотрудник Nexus, Йенс Грот, выступил на Devcon 2024 с докладом под названием «The Verifiability Vision».
В докладе он осветил историю криптографии с нулевым разглашением (zero‑knowledge, zk) и кратких (succinct) доказательств, а так же о концепция proof-carrying data может помочь Nexus в создании поддающегося проверке интернета.
Мы хотим иметь возможность проверить весь цифровой мир
Полная запись выступления на ETHstream
https://app.devcon.org/schedule/KXRMGY?ref=blog.nexus.xyz
Существует множество приложений, в которых полезны доказательства нулевого знания (zero-knowledge proofs):
С ростом технологии дипфейк, очень важно проверять изображения на подлинность. Некоторые камеры могут подписывать RAW (не обработанные) фотографии. Но в сети вы видите не оригинальную, а сжатую фотографию.
«Succinct proofs» позволяют проверить, что изображение, которое вы видите в интернете соответствует сжатой необработанной фотографии с соответствующими метаданными — подпись и геотег.
Возможность проверить, что зашифрованный бюллетень содержит голос за корректного кандидата, не раскрывая, какой кандидат получил голос.
Подтверждение реальных идентификационных данных человека при сохранении защиты конфиденциальных данных.
Задачи на пути к созданию верифицируемого интернета
Техническая сложность реализации доказательств с нулевым знанием (ZKP) ранее требовала от разработчиков глубоких знаний в области криптографии, что создавало высокий барьер для входа.
Однако появление «zero‑knowledge» виртуальных машин (zkVM) упрощает разработку. Программисты могут использовать знакомые среды и инструменты для создания масштабируемых приложений на базе ZKP.
Генерация «succinct proofs» была во много раз дороже самих вычислений. Но благодаря развитию криптографии и аппаратной оптимизации, затраты снижаются.
Для создания «proof-carrying data» нам нужны надежные данные о реальном мире.
Это называется «trust anchor problem».
Несмотря на сложность этой проблемы, люди находят креативные способы использовать существующие технологии для использования доверенных данных в качестве исходных данных.
В качестве примера можно привести получение идентификационных данных из паспортных чипов или использование соединения «Transport Layer Security TLS» в браузере в качестве свидетеля того, что отображаемые данные поступают от достоверной организации.
Как выглядит успех?
На данный момент основное применение ZKP — в блокчейнах, которые стремятся к масштабированию.
Но есть ощущение, что мы стоим на пороге эры, когда «поддающийся проверке интернет» становится реальным.
В конце концов у нас будет сеть верифицируемых данных. Поскольку проверка стоит дешево, большинство людей захотят, чтобы их данные были подтверждены. И по мере распространения «proof-carrying data», мир станет более надежным.