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

В этом посте мы исследуем мир доказательств с нулевым разглашением, включая различные типы ZKP, такие как ZK-Snarks, ZK-Starks, а также новейшую и наиболее интересную разработку — систему PLONK ZKP. Мы также предоставим простые для понимания примеры из реальной жизни, которые помогут вам усвоить эти концепции, даже если вам пять лет.

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

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

ZKP являются мощными инструментами в криптографии, поскольку они обеспечивают безопасную аутентификацию, идентификацию и обмен данными без раскрытия какой-либо конфиденциальной информации. Они позволяют сторонам проверять информацию и транзакции, не отказываясь от конфиденциальности.

ЗК-Снаркс

ZK-Snarks — это тип доказательства с нулевым разглашением, который широко используется в технологии блокчейна, особенно в блокчейнах, ориентированных на конфиденциальность, таких как Zcash. ZK-Snarks означает краткий неинтерактивный аргумент с нулевым разглашением знаний.

Чтобы понять ZK-Snarks, давайте представим себе сценарий, в котором у вас есть секретный номер, и вы хотите доказать кому-то, что знаете этот номер, не раскрывая, что это за номер. ZK-Snarks позволит вам сделать это, построив доказательство, которое убедит другого человека в том, что вы знаете число, не раскрывая при этом само число.

ЗК-Старкс

ZK-Starks — это еще один тип доказательства с нулевым разглашением, похожий на ZK-Snarks, но имеющий некоторые отличия. ZK-Starks означает масштабируемый прозрачный аргумент знания с нулевым разглашением.

Чтобы понять ZK-Starks, давайте представим себе сценарий, в котором у вас есть секретная фраза, и вы хотите доказать кому-то, что знаете эту фразу, не раскрывая саму фразу. ZK-Starks позволит вам сделать это, построив доказательство, которое убедит другого человека в том, что вы знаете эту фразу, не раскрывая при этом саму фразу.

ПЛОНКИ

PLONK — это новейшая и самая захватывающая разработка в мире доказательств с нулевым разглашением. PLONK означает «основанный на полиноме», «линейно-комплексный», «неинтерактивный» и «доказательный знания».

PLONK — это тип доказательства с нулевым разглашением, который даже более мощный и эффективный, чем ZK-Snarks и ZK-Starks. Он имеет множество применений в криптографии, в том числе в частных транзакциях, аутентификации и совместном использовании данных.

Чтобы понять PLONK, давайте представим себе сценарий, в котором у вас есть секретное сообщение, и вы хотите доказать кому-то, что знаете это сообщение, не раскрывая само сообщение. PLONK позволит вам сделать это, создав доказательство, которое убедит другого человека в том, что вы знаете сообщение, не раскрывая при этом само сообщение.

Заключение

Доказательства с нулевым разглашением — это мощный инструмент в криптографии, который позволяет сторонам проверять информацию и транзакции, не раскрывая никакой конфиденциальной информации. ZK-Snarks, ZK-Starks и PLONK — это разные типы доказательств с нулевым разглашением, которые имеют различные применения в индустрии блокчейнов и за ее пределами.