Technical Definition

Define probability space (over coins of V,P)

ViewV P(x) = {(q1,a1,q2,a2,Ö,coins)}

(P,V) is zero-knowledge for L if:

For all x e L, for all V*, there exists an S s.t.

ViewV* P(x) = S(x)

expected polynomial time

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique