Zero-Knowledge by
Simulator
x
∈
L