Uriel Feige, Adi Shamir: Witness Indistinguishable and Witness Hiding Protocols. STOC 1990: 416-426