Interactive Proofs
and Zero-Knowledge
y
∈
QR
n
Check a
2
mod n = w•y
b
mod n