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