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 $(g,y)$ y $(m,n)$ cumplen la siguiente propiedad ${\log }_{g}y={\log }_{m}n$.

Descripción del protocolo

El protocolo es muy similar Algoritmo de identificación de Schnorr y tiene el mismo fundamento. Dadas las parejas $(g,y)$ y $(m,n)$, el protocolo consta de los siguientes pasos:

1. P escoge de forma aleatoria un valor $c\in Z_q=0\ge a\ge q-1$, y envía a V $U=g^c(modp)$ y $V=m^c(modp)$
2. V envía a P un desafío aleatorio $e\in Z_q$
3. P calcula $s=c+xe(modq)$ y envía $s$ a V
4. V verifica que $U=g^s{y}^e(modp)$ y $V=m^s{n}^e(modp)$

Véase también

• Logaritmo discreto
• Algoritmo de identificación de Schnorr