Interactive Proofs and
Zero-Knowledge
x
∈
L
YES !