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