Zero Knowledge Interactive Proofs

• Completeness:

• soundness:

• Zero- Knowledge : when x e L

What V can compute after interaction =

What V can compute before interaction

Prover P

Verifier V

Input: x

q1

a1

q2

Accepts /Rejects

[GMR85]

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique