Has anything been done on the modification of the zero knowledge condition
where the distinguisher has access to the witness used by the prover and
the random bits used by the algorithm that generated the auxiliary input?
(Or is that, in fact, how the zero knowledge condition is usually defined?)
This seems like it would be important for using ZK protocols as pieces of larger protocols,
since whether or not an adversary succeeds could depend on that information.