Une preuve de zéro nulle (ZK) est une méthode d’authentification qui permet à un utilisateur de prouver l’authenticité de certaines informations sans transmettre d’informations supplémentaires. En bref, une preuve ZK permet de garder des informations privées au cours d’un échange.
Pour réaliser une preuve ZK, trois conditions de base doivent être remplies : complétude, validité et connaissance nulle. La complétude est la capacité du prouveur à démontrer sa connaissance de certaines informations. La validité se réfère à la capacité du vérificateur à déterminer si le prouveur possède réellement l’information. Enfin, ce qui détermine une preuve ZK, c’est le fait d’atteindre à la fois la complétude et la solidité sans aucune information supplémentaire.
Le concept de preuve ZK est couramment appliqué lorsque la confidentialité et la sécurité sont de la plus haute importance. Par exemple, les systèmes d’authentification peuvent utiliser une preuve ZK pour vérifier les références et les identités de leurs utilisateurs sans révéler l’information. La preuve ZK peut également être utilisée pour des cryptomonnaies axées sur la confidentialité comme Zcash, qui utilise une variation de la preuve ZK connue sous le nom de Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (ZK-SNARK).
