Auxiliary Input Zero-Knowledge

x∈L

∀x∈L ∀D $S ∀ω view[A,D(w)](x) = S(w,x)