human
Veuillez expliquer ce qu'est la "preuve sans connaissance"
gpt
En cryptographie , un protocole de preuve à connaissance nulle ou à connaissance nulle est une méthode par laquelle une partie (le prouveur ) peut prouver à une autre partie (le vérificateur) qu'une déclaration donnée est vraie tandis que le prouveur évite de transmettre toute information supplémentaire en dehors de la fait que l'énoncé est bien vrai. L'essence des preuves de connaissance nulle est qu'il est trivial de prouver que l'on possède la connaissance de certaines informations en les révélant simplement ; le défi consiste à prouver cette possession sans révéler l'information elle-même ou toute autre information supplémentaire.
Si prouver une déclaration nécessite que le prouveur possède des informations secrètes, alors le vérificateur ne sera pas en mesure de prouver la déclaration à quelqu'un d'autre sans posséder les informations secrètes. L'énoncé à prouver doit inclure l'assertion selon laquelle le démonstrateur possède une telle connaissance, mais sans inclure ni transmettre la connaissance elle-même dans l'assertion. Sinon, la déclaration ne serait pas prouvée en connaissance nulle car elle fournit au vérificateur des informations supplémentaires sur la déclaration à la fin du protocole. Une preuve de connaissance à connaissance nulle est un cas particulier lorsque l'énoncé consiste uniquement en le fait que le prouveur possède l'information secrète.
Les preuves interactives à connaissance nulle nécessitent une interaction entre l'individu (ou le système informatique) prouvant ses connaissances et l'individu validant la preuve.
Un protocole implémentant des preuves de connaissance à connaissance nulle doit nécessairement nécessiter une entrée interactive de la part du vérificateur. Cette entrée interactive se présente généralement sous la forme d'un ou plusieurs défis tels que les réponses du prouveur convaincront le vérificateur si et seulement si l'énoncé est vrai, c'est-à-dire si le prouveur possède la connaissance revendiquée. Si ce n'était pas le cas, le vérificateur pourrait enregistrer l'exécution du protocole et le rejouer pour convaincre quelqu'un d'autre qu'il possède l'information secrète. L'acceptation de la nouvelle partie est soit justifiée puisque le replayeur possède l'information (ce qui implique que le protocole a divulgué des informations, et donc, n'est pas prouvé en connaissance zéro), soit l'acceptation est fausse, c'est-à-dire qu'elle a été acceptée par quelqu'un qui ne le fait pas. possèdent réellement l'information.
Certaines formes de preuves non interactives à connaissance nulle existent, mais la validité de la preuve repose sur des hypothèses de calcul (généralement les hypothèses d'une fonction de hachage cryptographique idéale).