Donald Beaver, Joan Feigenbaum, Victor Shoup: Hiding Instances in Zero-Knowledge Proof Systems (Extended Abstract). CRYPTO 1990: 326-338