HashverfahrenExtension von Hashfunktionen


Chaum-van Heigst-Pfitzmann Hashfunktion

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

Dann gilt
Wir setzen . Aus und prim folgt . Entsprechend den möglichen Werten von unterscheiden wir vier Fälle.

Fall 1: Sei . Dann existiert das Inverse und es folgt

also
Man kann das Problem, den diskreten Logarithmus zu bestimmen, in diesem Fall also mit dem erweiterten Euklidischen Algorithmus lösen (Bestimmung von ).

Fall 2: Sei . Mit und ungerade ergibt sich . Damit existiert das Inverse und es folgt

Nun ist , da erzeugendes Element in ist, und die Gleichung genau zwei Lösungen hat. Es ergibt sich:
also
Durch Einsetzen von in kann dann leicht die richtige Lösung ermittelt werden.

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 .