Efficient zero knowledge proofs of knowledge for homomorphisms.
Endre Bangerter · Dokumentenrepositorium der RUB (Ruhr University Bochum) · 2005
Diese Dissertation befasst sich mit effizienten zero-knowledge Beweisen von Wissen für Homomorphismen. Einerseits untersuchen wir die Effizienzbeschränkungen bestehender Beweise von Wissen für Homomorphismen, andererseits beschreiben wir neue Protokolle, welche diese Beschränkungen zu überwinden vermögen. Die Hauptresultate der Arbeit sind die Folgenden: - Alle effizienten Beweise von Wissen wurden, vor unserer Arbeit, mittels des Sigma Protokolls erzielt. Wir zeigen auf, dass für das Sigma Protokoll inhärente und demnach prinzipiell nicht überwindbare Effizienzbeschränkungen bestehen. - Insbesondere waren für die praktisch bedeutsame Klasse von Exponentiations-Homomorphismen in Gruppen unbekannter Ordnung (wie z.B., RSA- oder Klassengruppen) bisher keine effizienten zero-knowledge Beweise von Wissen bekannt. Wir beschreiben neue Protokolle, die erstmalig effiziente zero-knowledge Beweise von Wissen für Exponentiations- Homomorphismen in Gruppen unbekannter Ordnung liefern.