Interactive Proofs
y
’àâ
QNR
n
Choose b'
Pr[b'=b]=1/2