Theorem: [GK]
The protocol is a ZK proof system for NP
(assuming statistically hiding commitments exit).
Corollary:
The [GK] protocol is a cWI proof system for NP
(assuming statistically hiding commitments exit).
Note: The protocol is probably not cZK [KiPeRa].
| Diapositive prÈcÈdente | Diapositive suivante | Revenir ý la premiËre diapositive | Afficher la version graphique |