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