Im Internet gibt es eine Reihe von Fragen (diese und andere Websites ; z. B. Warum gab es keinen Verschlüsselungsalgorithmus, der auf den bekannten NP-Hard-Problemen basiert? ), Die die NP-Härte verschiedener asymmetrischer Kryptosysteme diskutieren. Wie gut sind NP-Hard-Key-Sharing-Systeme etabliert? Das heißt, Systeme zum Einrichten eines gemeinsam genutzten Schlüssels (der dann bei der symmetrischen Verschlüsselung verwendet werden kann), die auf Problemen basieren, von denen bekannt ist, dass sie NP-schwer sind.
Ich wurde zu dieser Frage aufgefordert, als ich über https://en.wikipedia.org/wiki/Anshel-Anshel-Goldfeld_key_exchange las und mich fragte, ob bei der Implementierung in oder gezeigt werden konnte, dass sie NP-vollständig ist , weil diese auf den ersten Blick wie furchtbar harte Constraint-Zufriedenheits- oder quadratische Optimierungsprobleme aussehen. Das entsprechende Problem, auf dem dies basiert, ist das Simultane Konjugationsproblem.
Ich bin mir bewusst, dass es einen wichtigen Unterschied zwischen Problemen gibt, die im schlimmsten Fall nur NP-schwer sind - aber bei den meisten zufälligen Instanzen einfach sind, im Gegensatz zu Problemen, bei denen es sich um "durchschnittliche NP-Fälle" handelt - bei einer Reihe von zufälligen Instanzen Die Hälfte von ihnen zu lösen ist immer noch schwierig. Ich würde gerne etwas über Systeme zur gemeinsamen Nutzung von Schlüsseln erfahren, die auf beiden Vorstellungen von Härte beruhen.