- Доказательства с нулевым разглашением были распространенной идеей в криптографии с 1980-х годов.
- Блокчейн остается связанным с криптографией с момента его создания.
- Доказательства с нулевым разглашением представляют собой криптографический метод, при котором никакая информация не раскрывается во время транзакции, за исключением обмена некоторыми значениями, известными как доказывающему, так и проверяющему.
Масштаб мошеннической деятельности также увеличился с развитием технологий. Следовательно, поддержка протоколов безопасности остается одним из наиболее важных аспектов процесса транзакций. Хотя блокчейн стал одной из наиболее многообещающих инноваций, для обеспечения безопасности транзакций по-прежнему необходимы дополнительные стандарты безопасности.
Блокчейн остается связанным с криптографией с момента его создания. Однако интеграция блокчейна и криптографии недавно привлекла внимание общественности. В системе блокчейн криптографические методы помогают защитить транзакцию. Другими словами, объединение технологии блокчейна и криптографии привело к созданию безопасного метода финансовых транзакций.
Доказательства с нулевым разглашением были распространенной идеей в криптографии с 1980-х годов. Однако их функция в криптовалютах недавно привлекла к ним всеобщее внимание. Население мира оказывается во все более взаимосвязанной экосистеме криптовалют и финансовых технологий. В результате возникли опасения по поводу соблюдения обязательства криптоидеологии по обеспечению анонимности и конфиденциальности пользователей.
Недавно амбициозный криптопроект Worldcoin направлен на создание глобальной системы цифровой идентификации пользователей. Новый и «спорный» криптопроект использует доказательства с нулевым разглашением для защиты конфиденциальности при проверке пользователей, претензий и транзакций.
Что такое доказательство с нулевым разглашением
Доказательства с нулевым разглашением представляют собой криптографический метод, при котором никакая информация не раскрывается во время транзакции, за исключением обмена некоторым значением, известным как доказывающему, так и проверяющему, двум концам процесса.
Доказательство с нулевым разглашением — это способ доказать, истинно ли конкретное утверждение, не раскрывая его. Здесь «доказывающий» — это сторона, пытающаяся обосновать утверждение, а «проверяющий» отвечает за подтверждение утверждения.
Проще говоря, доказательства с нулевым разглашением (ZKP) позволяют одной стороне доказать другой стороне, что она что-то знает, не передавая информацию другой стороне для доказательства своих знаний.
ЧИТАТЬ ДАЛЕЕ: Децентрализованное видение: Ethereum выступает за технологию нулевого знания
История доказательств с нулевым разглашением в блокчейне
Доказательства с нулевым разглашением начались в 1985 году, когда исследователи Массачусетского технологического института опубликовали Сложность знаний интерактивных систем доказательства. В документе изложены основные концепции, включая иерархию интерактивных доказательств (IP). Кроме того, в документе представлена идея сложности знаний, которая количественно определяет объем доказательств, передаваемых от доказывающего к проверяющему. В документе представлено построение ZKP для любого NP-множества с любой схемой обязательств, что подтверждает применимость результатов исследователей.
Вновь объединив усилия в 1989 году, Голдвассер, Микали и Ракофф опубликовали книгу «Сложность знаний интерактивных систем доказательства». В этой статье разработана концепция сложности знаний, которая оценивает количество информации, которой должен обладать доказывающий, чтобы убедить проверяющего в достоверности утверждения. Авторы продемонстрировали, что доказательства с нулевым разглашением могут помочь снизить сложность информации в интерактивных системах доказательств.
В 1993 году исследователи из университетов Чикаго и Будапешта опубликовали «Игры Артура-Мерлина»: Рандомизированная система доказательств и иерархия классов сложностиs, в котором они представили концепцию рандомизированных доказательств, сочетающих теорию доказательств с нулевым разглашением и традиционную теорию доказательств. Они использовали комбинаторную игру, в которой один участник (Артур) делал произвольные движения, а другой (Мерлин) делал оптимальные ходы.
В 2013 году Эли Бен-Сассон, Алессандро Кьеза, Дэниел Генкин, Эран Тромер и Мадарс Вирза написали «Краткое неинтерактивное нулевое знание» для архитектуры фон Неймана. В этой статье были представлены ZK-SNARKS или краткие неинтерактивные доказательства с нулевым разглашением. Это форма доказательств с нулевым разглашением, которые можно проверить с помощью ограниченных вычислительных ресурсов. Авторы продемонстрировали, что их система может проверять правильность вычислений конфиденциально и безопасно.
Авторы ZK-SNARK выпустили масштабируемую, прозрачную и постквантовую безопасную вычислительную целостность в 2018 году. ZK-STARK — это система доказательства с нулевым разглашением, которая предлагает надежные гарантии безопасности, сохраняя при этом высокую масштабируемость и прозрачность.
Существующие системы доказательства с нулевым разглашением часто имели проблемы с масштабируемостью или требовали надежной конфигурации, что делало их уязвимыми для атак. Таким образом, они представили ZK-STARK, основанную на новой математической структуре, известной как система полиномиальных ограничений (PCS). PCS представляет собой структуру полиномиального уравнения, используемую для формулирования сложных вычислительных задач.
Множество других работ сыграли важную роль в истории доказательств с нулевым разглашением, но упомянутые выше сыграли решающую роль. Последние поколения машин электронного голосования (EVM) уровня 2 (L2) и ZK создали чистый холст для применения этих инноваций для масштабирования среды выполнения блокчейна.
Типы доказательств с нулевым разглашением
Существует два основных типа ZKP:
- Интерактивные доказательства с нулевым разглашением: В интерактивном ZKP проверяющий бросает вызов проверяющему, который отвечает на эти запросы, до тех пор, пока проверяющий не будет убежден. Они должны быть одновременно онлайн, и проверяющий должен совершить ряд действий, чтобы убедить проверяющего в конкретном факте.
- Неинтерактивные доказательства с нулевым разглашением (NIZKP): Неинтерактивные доказательства с нулевым разглашением не требуют интерактивного процесса между доказывающим и проверяющим. Доказывающая сторона передает доказательство проверяющему, при этом проверка доказательства происходит только один раз в любой момент времени. NIZKP может быть более эффективным и удобным, чем IZKP, поскольку для него не требуется, чтобы проверяющий и проверяющий были онлайн. Однако для этого требуется больше вычислительной мощности по сравнению с интерактивным доказательством с нулевым разглашением.
Чтобы выполнить роль эффективного процесса проверки, который также защищает данные, доказательство с нулевым разглашением должно быть:
- Завершенный: Верификатор примет доказательство, если утверждение действительно и обе стороны следуют протоколу.
- Звук: Если утверждение ложное, убедить проверяющего в его истинности будет практически невозможно.
- Нулевое знание: Никакая информация, кроме истинности утверждения, не должна быть известна или доступна проверяющему.
Элементы доказательства с нулевым разглашением
В базовой форме доказательство с нулевым разглашением состоит из трех элементов:
- Свидетель: При доказательстве с нулевым разглашением доказывающий хочет доказать знание некоторой скрытой информации. Секретная информация является «свидетелем» доказательства, и предполагаемое знание свидетеля доказывающим устанавливает ряд вопросов, на которые может ответить только сторона, знающая эту информацию. Таким образом, проверяющий начинает процесс доказательства, случайным образом выбирая вопрос, вычисляя ответ и отправляя его проверяющему.
- Вызов: проверяющий случайным образом выбирает другой вопрос из набора и просит проверяющего ответить на него.
- Режимы секции мощности: Доказывающая принимает вопрос, вычисляет ответ и возвращает его проверяющему. Ответ доказывающего позволяет проверяющему проверить, может ли он получить доступ к свидетелю. Верификатор выбирает больше вопросов, чтобы убедиться, что доказывающий не угадывает вслепую и случайно не получает правильные ответы. Повторяя это взаимодействие много раз, вероятность того, что доказывающий подделывает знания о свидетеле, значительно снижается до такой степени, что это удовлетворяет проверяющего.
Применение доказательств с нулевым разглашением в блокчейне
Оптимизация производительности
Код приложения выполняется вне цепочки или на одном узле в сети блокчейна, и только доказательство его правильного выполнения публикуется в блокчейне, чтобы другие стороны могли проверить его правильность. Примером является ZK Rollups, где транзакции выполняются вне цепочки, а сводка всех транзакций передается в цепочку.
Частные транзакции в блокчейне
Данные транзакции зашифрованы, и публикуется доказательство правильности расчета. ZKP также применяются в частных транзакциях, которые не раскрывают денежные данные, а также информацию о получателе и отправителе. Примером может служить Tornado Cash, децентрализованный, некастодиальный сервис, который позволяет пользователям проводить частные транзакции на Ethereum.
Конфиденциальность и безопасность данных
Организации, которые контролируют конфиденциальные данные, такие как банки и больницы, должны защищать их от доступа третьих лиц. ZKP и блокчейн вместе могут сделать доступ к данным невозможным. ZKP могут помочь добавить несколько уровней безопасности к файлам и входам в систему. В результате ZKP могут создавать серьезные препятствия для хакеров или манипуляторов при изменении и получении данных.
Передача частных транзакций блокчейна:
Наиболее заметной проблемой в частных транзакциях блокчейна являются многочисленные лазейки, очевидные в обычных процедурах. Продуктивная интеграция ZKP с частными транзакциями блокчейна может создать надежный процесс, защищенный от хакеров.
Мессенджеры на блокчейне
Хотя в настоящее время мессенджеры обещают шифрование, незашифрованный блокчейн может стать следующим большим достижением в технологическом мире. Благодаря гарантии незашифрованного, но надежного решения ZKP и Blockchain могут совместно создать ценную платформу обмена сообщениями, защищенную для всех и каждого.
Доказательства с нулевым разглашением имеют большой потенциал для экономии затрат и сохранения конфиденциальности пользователей в мире блокчейнов и криптовалют. Более того, эта концепция проста в использовании, а технологии, поддерживающие ZKP, также чрезвычайно эффективны. Используя ZKP последнего поколения, пользователи могут получить огромную выгоду, не тратя много денег.
ПРОЧИТАЙТЕ БОЛЬШЕ: Механизмы консенсуса в мире блокчейна и насколько они важны
- SEO-контент и PR-распределение. Получите усиление сегодня.
- PlatoData.Network Вертикальный генеративный ИИ. Расширьте возможности себя. Доступ здесь.
- ПлатонАйСтрим. Интеллект Web3. Расширение знаний. Доступ здесь.
- ПлатонЭСГ. Автомобили / электромобили, Углерод, чистые технологии, Энергия, Окружающая среда, Солнечная, Управление отходами. Доступ здесь.
- ПлатонЗдоровье. Биотехнологии и клинические исследования. Доступ здесь.
- ЧартПрайм. Улучшите свою торговую игру с ChartPrime. Доступ здесь.
- Смещения блоков. Модернизация права собственности на экологические компенсации. Доступ здесь.
- Источник: https://web3africa.news/2023/08/14/industry-talk/zero-knowledge-proofs-in-blockchain/
- :имеет
- :является
- :нет
- :куда
- 1985
- 2013
- 2018
- a
- О нас
- выше
- Принять
- Принимает
- доступ
- доступа
- действия
- активно
- добавить
- дополнительный
- Дополнительно
- продвижение
- адвокаты
- Аффилированные
- Цель
- Все
- Все транзакции
- позволяет
- причислены
- честолюбивый
- Среди
- количество
- an
- и
- Анонимность
- Другой
- ответ
- ответы
- любой
- Применить
- Применение
- архитектура
- МЫ
- Arthur
- AS
- аспекты
- предполагается,
- At
- атаковать
- внимание
- Авторы
- Банки
- основанный
- основной
- BE
- становиться
- было
- начал
- польза
- между
- большой
- слепо
- блокчейн
- Сеть блокирующих сетей
- блокчейн-система
- Технологии блочейна
- блокчейн транзакции
- изоферменты печени
- Обе стороны
- принес
- Будапешт
- но
- by
- исчисляет
- расчет
- CAN
- захваченный
- Наличный расчёт
- проблемы
- шанс
- проверка
- Чикаго
- Выбирая
- утверждать
- требования
- код
- объединять
- комбинируя
- обязательство
- Общий
- сравненный
- полный
- комплекс
- сложность
- вычислительная мощность
- расчеты
- сама концепция
- концепция
- понятия
- Беспокойство
- Обеспокоенность
- краткий
- Проводить
- Конфигурация
- вследствие этого
- строительство
- контроль
- Удобно
- обычный
- убеждать
- убежден,
- исправить
- Расходы
- может
- Создайте
- создали
- критической
- крипто-
- криптовалюты
- криптографический
- криптография
- Дэниел
- данным
- децентрализованная
- обеспечивает
- убивают
- развитый
- Интернет
- do
- Капли
- в течение
- легко
- экосистема
- Эффективный
- эффективный
- Электронный
- элементы
- Эли Бен-Сассон
- появившийся
- занятых
- работает
- включить
- зашифрованный
- шифрование
- окончания поездки
- обеспечивать
- существенный
- установить
- налаживает
- налаживание
- Эфириума
- очевидный
- пример
- Кроме
- выполненный
- выполнение
- факт
- ложный
- Файлы
- финансовый
- результаты
- находит
- FinTech
- следовать
- следующим образом
- Что касается
- Войска
- форма
- Бывший
- и мошенническими
- Бесплатно
- часто
- от
- Выполнять
- функция
- фундаментальный
- игра
- Игры
- поколения
- получающий
- Глобальный
- глобальный цифровой
- большой
- гарантия
- Хакеры
- было
- Случай
- Есть
- помощь
- здесь
- Скрытый
- иерархия
- очень
- история
- держать
- больницы
- Как
- Однако
- HTTPS
- Очень
- идея
- Идентификация
- if
- важную
- что она
- in
- В других
- В том числе
- все больше и больше
- информация
- инновации
- интеграции.
- целостность
- взаимодействие
- интерактивный
- взаимосвязано
- в
- выпустили
- IP
- вопросы
- IT
- ЕГО
- саму трезвость
- присоединение
- Сохранить
- Знать
- знания
- известный
- слоев
- Используя
- центр внимания
- Ограниченный
- лазейки
- Продукция
- сделанный
- поддерживать
- сделать
- Создание
- многих
- математический
- механизмы
- упомянутый
- Messenger
- метод
- MIT
- монетарный
- деньги
- БОЛЕЕ
- более эффективным
- Более того
- самых
- движения
- движется
- много
- с разными
- должен
- необходимо
- сеть
- Новые
- следующий
- нет
- узел
- неопекунский
- примечательный
- многочисленный
- препятствиями
- of
- Предложения
- on
- В сети
- консолидировать
- ONE
- те,
- онлайн
- только
- оптимальный
- or
- Другое
- изложенные
- бумага & картон
- бумага
- особый
- Стороны
- вечеринка
- ПК
- Выборы
- Платформа
- Платон
- Платон Интеллектуальные данные
- ПлатонДанные
- играл
- Залог
- Точка
- население
- обладать
- возможность
- размещены
- потенциал
- мощностью
- представить
- представлены
- консервирование
- политикой конфиденциальности.
- частная
- проблемам
- Процедуры
- процесс
- производительный
- Проект
- обещание
- многообещающий
- доказательство
- доказательства
- протокол
- протоколы
- Доказывать
- доказанный
- опубликованный
- количественно
- количество
- вопрос
- Вопросы
- Рандомизированное
- последний
- недавно
- уменьшить
- по
- выпустил
- оставаться
- остались
- остатки
- представлять
- представляет
- требовать
- обязательный
- требование
- требуется
- исследователи
- Полезные ресурсы
- ответ
- ответственный
- результат
- Возвращает
- показывать
- Показали
- выявление
- Risen
- надежный
- Роли
- накопительные
- экономия
- Масштабируемость
- масштабируемые
- масштабирование
- схема
- сфера
- Secret
- безопасный
- обеспеченный
- безопасно
- безопасность
- отправитель
- отправка
- чувствительный
- Серии
- обслуживание
- набор
- разделение
- должен
- значительный
- существенно
- простой
- одновременно
- с
- одинарной
- Решение
- некоторые
- удалось
- конкретный
- Расходы
- стандартов
- начинается
- заявление
- Структура
- представленный
- такие
- РЕЗЮМЕ
- поддержка
- восприимчивый
- система
- системы
- снижения вреда
- технологический
- технологии
- Технологии
- terms
- чем
- который
- Ассоциация
- информация
- их
- Их
- теория
- Эти
- они
- задача
- сторонние
- этой
- три
- Таким образом
- время
- раз
- в
- вместе
- торнадо
- Торнадо Кэш
- сделка
- Сделки
- переводы
- прозрачный
- правда
- надежных
- Правда
- два
- Типы
- Университеты
- до
- использование
- используемый
- Информация о пользователе
- пользователей
- VALIDATE
- проверки
- ценностное
- проверяемый
- проверка
- проверить
- проверка
- видение
- из
- голосование
- хочет
- законопроект
- Путь..
- когда
- будь то
- который
- в то время как
- КТО
- будете
- без
- Свидетель
- слова
- Мир
- писал
- еще
- зефирнет
- нуль
- с нулевым знанием
- доказательство отсутствия знаний
- доказательства нулевого знания
- ZK
- на основе ZK
- ZK-SNARKS