Theoretische Informatik zero-knowledge

1

Komplexitätsklassen für Wissensnachweise

Auf eine Frage hin, die Greg Kuperberg mir gestellt hat, frage ich mich, ob es Papiere gibt, die Komplexitätsklassen von Sprachen definieren und untersuchen, die verschiedene Arten von Wissensnachweisen zulassen . Klassen wie SZK und NISZK sind vom Standpunkt der Komplexität aus äußerst natürlich, auch wenn wir das Nullwissen völlig …

16 complexity-classes cr.crypto-security zero-knowledge

1

Warum ist Feige-Fiat-Shamir nicht Zero Knowledge ohne Vorzeichen?

In Kapitel 10 von HAC (10.4.2) sehen wir das bekannte Feige-Fiat-Shamir-Identifikationsprotokoll, das auf einem Null-Wissens-Beweis basiert, der die (angenommene) Schwierigkeit nutzt, Quadratwurzeln zu extrahieren, die modulo ein Composite sind, das schwer zu faktorisieren ist. Ich werde das Schema in meinen eigenen Worten wiedergeben (und es hoffentlich richtig machen). Beginnen wir …

12 cr.crypto-security proofs zero-knowledge

4

Minimale Kommunikationskosten für wissensfreie Beweise mit drei Färbbarkeiten

Der Beweis von Goldreich et al., Dass drei Färbbarkeitsnachweise keine Wissensnachweise enthalten, verwendet Bit-Commitment für eine vollständige Färbung des Graphen in jeder Runde [1]. Wenn ein Graph Eckpunkte und e Kanten hat, ein sicherer Hash b Bits hat und wir die Fehlerwahrscheinlichkeit p suchen , sind die gesamten Kommunikationskostennnneeebbbppp O …

11 communication-complexity zero-knowledge

1

Interaktiver Beweis für HORN-SAT?

Gibt es eine Möglichkeit, wie ein Prüfer einen Prüfer davon überzeugen kann, dass ein HORN-SAT-Ausdruck zufriedenstellend ist? Dies mag natürlich albern erscheinen, da es für HORN-SAT lineare Zeitalgorithmen gibt. Andererseits ist HORN-SAT P-vollständig, was bedeutet, dass es keine Log-Space-Algorithmen gibt, es sei denn, P = L. Beschränken Sie dementsprechend die …

10 cc.complexity-theory interactive-proofs zero-knowledge

1

Frage zum gleichzeitigen ZK-Papier von Prabhakaran & Sahai

Gleichzeitige Null-Wissens-Beweise mit logarithmischer Rundungskomplexität Die Seitenzahlen stammen aus dem Papier selbst und nicht aus dem PDF. Ab Seite 3, "Ein interaktives Beweissystem wird als Black-Box- (rechnerisches) Nullwissen bezeichnet, wenn es eine probabilistische Polynomzeit-Orakelmaschine so dass für jeden probabilistischen Polynomzeitprüfer und für alle , Die Verteilung der von auf Eingabe …

8 cr.crypto-security concurrency zero-knowledge

Als «zero-knowledge» getaggte Fragen