Prova de conhecimento

A testemunha (witness) é a informação que permite satisfazer uma afirmação verificável: um segredo, uma assinatura ou a solução de um cálculo. A propriedade de conhecimento exige que uma prova aceita implique a posse dessa testemunha sob o modelo de segurança do protocolo.

Conhecimento e conhecimento zero respondem a perguntas diferentes. A primeira propriedade trata do que o provador conhece; a segunda, do que o verificador aprende. Uma prova pode ter uma sem a outra. Os SNARKs descrevem argumentos de conhecimento sucintos e não interativos; o prefixo zk acrescenta a propriedade de conhecimento zero.

Uma prova de conhecimento pode ser usada para autenticação ou para demonstrar a execução de um cálculo. A privacidade, a necessidade de parâmetros de confiança e os custos de prova e verificação dependem da construção escolhida.