Auxiliary Input Zero-Knowledge
x
∈
L
YES !