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 .Verifiable Voting Systems . Thea Peacock, Peter Y. A. Ryan, Steve Schneider y Zhe Xia. University of Luxembourgy University of Surrey
Descripción del protocolo 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:
P escoge de forma aleatoria un valor , y envía a V y V envía a P un desafío aleatorio P calcula y envía a V V verifica que y
Véase también Logaritmo discreto Algoritmo de identificación de Schnorr
Referencias
Categoría:Protocolo de prueba de conocimiento cero