Hashverfahren | Extension von Hashfunktionen |
Diese Hashfunktion beruht auf dem Diskreten Logarithmus Problem.
Für diese Hashfunktion ist es vermutlich schwer, Kollisionen zu finden, wie der folgende Satz zeigt.
Satz 14
Wenn eine Kollision für die Chaum-van Heigst-Pfitzmann Hashfunktion gegeben ist, dann ist der diskrete Logarithmus effizient berechenbar.
Beweis Gegeben ist eine Kollision, also zwei Paare mit
Fall 1: Sei . Dann existiert das Inverse und es folgt
Fall 2: Sei . Mit und ungerade ergibt sich . Damit existiert das Inverse und es folgt
Fall 3: Sei und damit für ein . Mit folgt aber , also ist nicht möglich.
Fall 4: Für folgt . Mit ergibt sich , also , da primitiv ist. Nach Annahme war jedoch .