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