Prueba de conocimiento

El testigo es la información que permite satisfacer una afirmación verificable: un secreto, una firma o una solución a un cálculo. La propiedad de conocimiento exige que una prueba aceptada implique posesión de ese testigo bajo el modelo de seguridad del protocolo.

Conocimiento y conocimiento cero responden a preguntas distintas. La primera propiedad trata de qué conoce el probador; la segunda, de qué aprende el verificador. Una prueba puede tener una sin la otra. Los SNARK describen argumentos de conocimiento sucintos y no interactivos; el prefijo zk añade la propiedad de conocimiento cero.

Una prueba de conocimiento puede utilizarse para autenticación o para demostrar la ejecución de un cálculo. La privacidad, la necesidad de parámetros de confianza y los costes de prueba y verificación dependen de la construcción elegida.