Главная
Глоссарий
Доказательства с нулевым разглашением

Доказательства с нулевым разглашением

Профессионал

Доказательство с нулевым разглашением (zk-протокол) — это метод проверки, которая осуществляется между доказывающим и проверяемым. В системе доказательств с нулевым разглашением доказывающий может доказать проверяющему, что ему известна определенная информация (например, решение математического уравнения) без раскрытия самой информации. Такие системы доказательств могут использоваться в современном криптографическом пространстве для повышения конфиденциальности и безопасности.

Впервые концепция доказательства с нулевым разглашением была описана в 1985 году в работе исследователей из института MIT Шафи Голдвассер и Сильвио Микали. Они продемонстрировали, что можно доказать некоторые свойства числа, не раскрывая ни само число, ни какую-либо дополнительную информацию о нем. В работе также был сделан математически значимый вывод о том, что взаимодействие между доказывающим и проверяющим может уменьшить количество информации, необходимой для доказательства. 

Доказательства с нулевым разглашением должны соответствовать двум качествам: полнота и надежность. Полнота означает способность доказывающего продемонстрировать владение соответствующей информацией с высокой степенью точности. Надежность же означает, что проверяющий должен быть в состоянии определить, действительно ли доказывающий владеет информацией. Наконец, нулевое разглашение подразумевает, что эти условия должны быть достигнуты без разглашения информации между доказывающим и проверяющим.

Доказательства с нулевым разглашением в основном используются в ситуациях, в которых важно соблюдать конфиденциальность и безопасность. Например, системы аутентификации могут использовать zk-доказательства для проверки полномочий или личности без непосредственного разглашения информации. Так, с их помощью можно проверить, есть ли у человека пароль от компьютерной системы, без необходимости раскрывать сам пароль. 

Доказательства с нулевым разглашением также используются в мире криптовалют и блокчейна. Тип доказательства под названием краткий неинтерактивный аргумент знания с нулевым разглашением (zk-SNARK) обеспечивает повышенный уровень приватности при транзакциях с криптовалютами, ориентированными на приватность, такими как Zcash. Кроме того, после обновления Byzantium 2017 года доказательства zk-SNARK также использует Ethereum.
Binance Sensei
I am powered by ChatGPT and trained with 1,000+ articles and glossary entries from Binance Academy. My responses are provided on an “as is” basis for general information only, without any representation, warranty or guarantee of completeness or accuracy. See full terms and conditions here