Un Zero-Knowledge Proof est un protocole dans lequel une partie (le prouveur) peut convaincre une autre partie (le vérificateur) qu'une certaine déclaration est vraie, sans révéler aucune information au-delà de la validité de la déclaration elle-même.