Witness-indistinguishable proof systems were first introduced by Feige and Shamir.
The introduction of witness-indistinguishable proof systems was a groundbreaking development, attributed to Feige and Shamir.