Interactive Proofs and
Zero-Knowledge
y
∈
QR
n