Звіт про глибину дослідження технології zk-SNARKs
zk-SNARKs ( ZKP ) є криптографічною технологією, яка дозволяє одній стороні ( доказнику ) довести іншій стороні ( перевіряючому ), що певне твердження є правдою, не розкриваючи жодної додаткової інформації, крім того, чи є це твердження правдою. Ця технологія має широкі перспективи застосування в галузі блокчейну.
Основний принцип zk-SNARKs
Система ZKP складається з трьох ключових ролей: доказувача, перевіряючого та публічних параметрів. Доказувач генерує докази, перевіряючий перевіряє дійсність доказів, а публічні параметри є інформацією, якою обидві сторони діляться.
ZKP має три основні характеристики:
1. Цілісність: якщо твердження правдиве, чесний довіритель завжди може переконати чесного перевіряючого.
2. Надійність: якщо заяви є неправдивими, жоден нечесний доказувач не зможе переконати чесного перевіряючого (, якщо не з дуже малою ймовірністю ).
3. нульові знання: якщо твердження є істинним, перевіряючий не отримає нічого, крім