Preuves à divulgation nulle de connaissance

Qu'est-ce qu'une preuve à divulgation nulle de connaissance ?

Les preuves à divulgation nulle de connaissance (ZKP) sont une technique cryptographique permettant à une partie (le "prouveur") de démontrer à une autre partie (le "vérificateur") qu'elle possède des connaissances spécifiques sans révéler les informations réelles. Cette méthode garantit à la fois l'exhaustivité et la solidité, permettant ainsi de prouver la validité et la fiabilité de la preuve sans divulguer de données supplémentaires.

Comment fonctionnent les preuves à divulgation nulle de connaissance ?

Le vérificateur demande au prouveur d'effectuer des tâches spécifiques que seule une personne disposant des informations correctes peut accomplir. Si le prouveur tente de deviner, il est fortement probable qu'il échoue au test du vérificateur.

Caractéristiques

Complétude : un prouveur honnête peut convaincre un vérificateur honnête qu'il possède les connaissances correctes si l'énoncé est vrai.

Solidité : un prouveur malhonnête ne peut pas convaincre un vérificateur honnête que la déclaration est fausse.

Divulgation nulle de connaissance : le vérificateur n'apprend rien d'autre que le fait que la déclaration est vraie.

Types de preuves à divulgation nulle de connaissance : zk-SNARK, zk-STARK, PLONK et Bulletproofs.

Cas d'utilisation

Les preuves à divulgation nulle de connaissance sont utilisées dans les transactions privées, les calculs vérifiables, les solutions évolutives Layer 2, ainsi que dans l'identité et l'authentification décentralisées. Des projets tels que Zcash, StarkNet, zkSync et Loopring utilisent les ZKP pour renforcer la sécurité, la confidentialité et l'évolutivité.