Что такое ZK?
Zero-Knowledge-Proofs- это протокол, который позволяет доказать верность утверждения без раскрытия дополнительной информации.
ZKP соответствует двум основным свойствам: полнота и надежность.
Полнота: если доказывающий знает утверждение, то он сможет убедить в этом проверяющего.
Надежность: если доказывающий не знает утверждение, то он может обмануть проверяющего только с пренебрежимо малой вероятностью.
ZK-Snark и ZK-Stark
ZK-Snark или же краткий неинтерактивный аргумент знания с нулевым разглашением — это решение, в котором:
🔹Краткий означает, что размер доказательства должен быть достаточно маленьким, чтобы его можно было проверить за короткое время.
🔹Неинтерактивный указывает на то, что это конструкция, где между проверяющим и доказывающим нет двусторонней связи.
🔹Аргумент знания создаёт ситуацию, когда доказывающий может убедить проверяющего в том, что существует определенная информация, не раскрывая при этом всю информацию целиком.
🔹Нулевое разглашение обеспечивает свойство, что если утверждение истинно, то проверяющий не узнает ничего, кроме того факта, что утверждение истинно.
Что из себя представляет ZK-Stark?
ZK-Stark или же масштабируемый прозрачный аргумент знания с нулевым разглашением по сути является "двоюродным братом" ZK-Snark, только лучше. ZK-Stark устраняет одну из основных слабостей ZK-Snark: его зависимость от доверенной настройки. Для протокола ZK-Snark это является необходимым условием, а для ZK-Stark такая фаза не требуется. Вместо этого ZK-Stark полагается на более простые криптографические предположения.
ZK-Stark использует публично проверяемую случайность. То есть системы ZK-Stark создают доверие, которое может проверить каждый желающий. Отсюда и взялась буква "T" в названии, означающая "Transparent": прозрачный.
Илья Казаков твиттер
https://lnkd.in/dFu5raav
https://www.youtube.com/watch?v=5gaPA-P25t0