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
.