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