Key points are not available for this paper at this time.
Die Existenz prägnanter nicht-interaktiver Argumente für NP (d.h. nicht-interaktive rechnerisch sichere Beweise, bei denen die Arbeit des Überprüfers im Wesentlichen unabhängig von der Komplexität des NP nichtdeterministischen Überprüfers ist) ist seit zwei Jahrzehnten eine faszinierende Frage. Abgesehen von CS-Beweisen im Modell des zufälligen Orakels (Micali, FOCS '94) basiert die einzige existierende Kandidatenkonstruktion auf einer ausgeklügelten Annahme, die auf ein spezifisches Protokoll zugeschnitten ist (Di Crescenzo und Lipmaa, CiE '08).
Bitansky et al. (Sun,) haben diese Frage untersucht.