Una prueba indistinguible de testigos ( WIP ) es una variante de una prueba de conocimiento cero para idiomas en NP . En una prueba típica de conocimiento cero de una declaración, el probador utilizará un testigo de la declaración como entrada para el protocolo, y el verificador no aprenderá nada más que la verdad de la declaración. En un WIP, esta condición de conocimiento cero se debilita y la única garantía es que el verificador no podrá distinguir entre probadores que utilizan diferentes testigos. En particular, el protocolo puede filtrar información sobre el conjunto de todos los testigos, o incluso filtrar el testigo que se utilizó cuando solo hay un testigo posible.
Feige y Shamir introdujeron por primera vez los sistemas de prueba indistinguibles por testigos. [1] A diferencia de las pruebas de conocimiento cero, permanecen seguras cuando se realizan varias pruebas simultáneamente.