El protocolo de Chaum-Pedersen es un algoritmo que permite probar la igualdad del resultado de calcular el logaritmo discreto entre dos parejas de números. Formalmente el protocolo permite que un probador P pueda probar a un verificador V que las parejas y cumplen la siguiente propiedad .[1]
El protocolo es muy similar Algoritmo de identificación de Schnorr y tiene el mismo fundamento. Dadas las parejas y , el protocolo consta de los siguientes pasos:[1]