Obtaining an rZK protocol for NP:

• Start from the [RiKi,PeKi] cZK protocol for NP.

• Modify the protocol to make it admissible (and show that the modified protocol remains cZK).

• Apply the general transformation.

Note: The obtained protocol has unbounded number of rounds-

transformation.

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique