Два типи доказів з нульовим розголошенням 1⃣ Інтерактивні доведення з нульовим розголошенням ▰ Запитання валідатора (виклик) ▰ Виконавець повертається відповідно до виклику ▰ Кілька раундів туди-сюди, підтвердження валідатора про валідність 2⃣ Неінтерактивні докази з нульовим розголошенням ▰ Виконавцю потрібно лише згенерувати файл (доказ) ▰ Валідатори можуть самостійно перевіряти, коли вони це отримують, і немає необхідності в зворотній взаємодії Три властивості доказів ЗК ▰ Повнота Якщо твердження вірне, то доказ обов'язково пройде перевірку ▰ Надійність - Обґрунтованість Якщо пропозиція хибна, ніхто не може створити хибний доказ для проходження перевірки ▰ Нуль знань - Нуль знань Верифікатори не можуть отримати секретні дані з доказів Через властивості блокчейну це в основному неінтерактивні докази з нульовим розголошенням у практичному застосуванні. Неінтерактивні доведення з нульовим розголошенням — це самовипадкові завдання дослідника для визначення автентичності доведення. @brevis_zk Нотатки для вивчення ~