Protocolo de Chaum-Pedersen

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

cumplen la siguiente propiedad

[1]​ El protocolo es muy similar Algoritmo de identificación de Schnorr y tiene el mismo fundamento.

, el protocolo consta de los siguientes pasos:[1]​