On Input Indistinguishable Proof Systems