Interactive Proofs
and Zero-Knowledge
x
’àâ
L
NO !
’àÄ
x
’àâ
L
’àÄ
D Pr( [D,B](x)=YES )
’âà
0