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 para la declaración como entrada al 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.
Los sistemas de prueba indistinguibles de testigos fueron introducidos por primera vez por Feige y Shamir. [1] A diferencia de las pruebas de conocimiento cero, permanecen seguras cuando se realizan varias pruebas al mismo tiempo.