Diskussion:Null-Wissen-Beweis

In dem Beispiel steht ${\displaystyle (G_{0},G_{1})}$ wird veröffentlicht, nachher ist aber von ${\displaystyle G_{a}}$ und ${\displaystyle G_{b}}$ die rede. Sollte das nicht ebenfalls ${\displaystyle G_{0}}$ und ${\displaystyle G_{1}}$ heißen? --Fraterq Diskussion:Null-Wissen-Beweis#c-Fraterq-2006-11-17T10:28:00.000Z-Frage11Beantworten

Nein, denn ${\displaystyle a,b\in \{0,1\}}$ sind variabel. --HeikoStamer Diskussion:Null-Wissen-Beweis#c-HeikoStamer-2006-11-20T13:25:00.000Z-Fraterq-2006-11-17T10:28:00.000Z11Beantworten

Einige Stichpunkte für die Erweiterung des Artikels:

• Klassisches Beispiel (Höhle) aus How to explain zero-knowledge protocols to your children einfügen
• Unterscheidung perfect, statistical und computational zero-knowledge einführen und entsprechende Komplexitätsklassen definieren
• Verweis auf das initiale Papier von Goldwasser, Micali und Rackoff (1985)
• Verweis im Graphenbeispiel auf Goldreich, Micali und Wigderson einfügen
• Weitere Anwendungen (neben Identifikation) aufzählen, z.B. Mental Poker, e-Cash, anonyme Credentialsysteme, PIR, DAA
• Vollständigkeitsresultat für NP angeben
• (Komposition von Zero-Knowledge Beweisen/Protokollen (sequentiell, parallel, nebenläufig/asynchron))
• (Ähnliche bzw. schwächere Ansätze, z.B. witness indistinguishability, diskutieren)

Wie ist Eure Meinung dazu? --HeikoStamer Diskussion:Null-Wissen-Beweis#c-HeikoStamer-2007-03-09T09:53:00.000Z-Erweiterung des Artikels11Beantworten

Ich würde mich freuen, wenn jemand die Zeit für diese Ergänzungen aufbringt. Vielleicht sollte auch die Abgrenzung zu interaktiven Beweissystemen besser herausgestellt werden. --Stefan Birkner Diskussion:Null-Wissen-Beweis#c-Stefan Birkner-2007-03-09T10:18:00.000Z-HeikoStamer-2007-03-09T09:53:00.000Z11Beantworten

Als grundlegende (englischsprachige) Quelle würde ich Oded Goldreichs Zero-Knowledge twenty years after its invention empfehlen und zitieren. Zumindest der erste Teil (Basics) sollte für Wikipedia relevant sein. --HeikoStamer Diskussion:Null-Wissen-Beweis#c-HeikoStamer-2007-03-09T14:43:00.000Z-Erweiterung des Artikels11Beantworten

BitCoin, scheint das Verfahren zu benutzen: https://en.bitcoin.it/wiki/User:Gmaxwell/why_hash_locked (nicht signierter Beitrag von 178.200.62.59 (Diskussion) Diskussion:Null-Wissen-Beweis#c-178.200.62.59-2013-04-10T07:48:00.000Z-bitcoin11)Beantworten

das klingt nach spekulation. werde tatsaechlich benutzt (mit beleg)? --Mario d Diskussion:Null-Wissen-Beweis#c-MarioS-2013-04-10T09:57:00.000Z-178.200.62.59-2013-04-10T07:48:00.000Z11Beantworten

Das angegebene Beispiel eines ZK-Beweises ist etwas irreführend: der Beweiser zeigt nämlich keineswegs, dass er über die Permutation "Pi" verfügt, sondern lediglich, dass er im Besitz irgendeines Isomorphismus zwischen G_0 und G_1 ist.

Bei der „direkten“ Beweismöglichkeit (beide stehen bei 3, Victor sieht Peggy auf einer Seite hineingehen und auf anderen herauskommen) wird als Problem angegeben: „Das Problem bei diesem Ansatz ist, dass diese Vorgehensweise aufgezeichnet oder von einer dritten Partei beobachtet werden könnte. Damit kann Peggy nicht mehr abstreiten, das Geheimnis zu kennen, indem sie behauptet, mit Viktor zusammengearbeitet zu haben, und kann somit nicht mehr bestimmen, wer davon erfährt, dass sie das Geheimnis der roten Tür kennt.“
Wenn Dritte überhaupt die Möglichkeit haben, zu beobachten, dass Peggy auf einer Seite hineingeht und auf der anderen herauskommt, können diese Dritten das nicht auch dann beobachten, wenn Victor zunächst bei 4 steht und selbst nicht sehen kann, auf welcher Seite Peggy hineingeht? Mit anderen Worten: Hat Peggy denn überhaupt jemals "plausible Deniability“, wenn der Vorgang von Dritten beobachtet werden kann? --Troubled @sset   ^{[ Talk ]}   Diskussion:Null-Wissen-Beweis#c-Troubled asset-2022-02-12T07:09:00.000Z-Klassisches Beispiel – Plausible Deniability11Beantworten

Ich lese ihn hier zum ersten Mal, sonst eigentlich immer nur "Zero-knowledge-Beweis" oder auch in deutschen Texten komplett den engl. Fachbegriff. --RokerHRO (Diskussion) Diskussion:Null-Wissen-Beweis#c-RokerHRO-20240529135600-Deutscher Begriff üblich?11Beantworten

Same here. Bin durchaus irritiert, das der Artikel so heißt. Es scheint zwar durchaus auch Literatur mit dem deutschen Begriff zu geben (zB), aber in der Informatik Literatur ist das nicht üblich. Zumindest sollte aber der englische Begriff auch erwähnt sein. --Stefan2904 (Diskussion) Diskussion:Null-Wissen-Beweis#c-Stefan2904-20240611135300-RokerHRO-2024052913560011Beantworten