Update: Wahrscheinlich kein Supraleiter bei Raumtemperatur - Das konkrete Problem, das entdeckt wurde, besteht darin, dass Protokoll 2 den Prüfer nicht an die Schaltung bindet. Dies könnte mit einem billigen Subprotokoll behoben werden können, aber... - Ich fange an, mich mit dem konsistenten Feedback von @ronrothblum zu verstehen, dass Protokoll 2 die polynomiale Hierarchie zusammenbrechen würde. Ich habe früher gedacht, dass die spezifische algebraische Struktur des geschichteten Schaltkreises uns im Grunde vor den informationstheoretischen Grenzen schützt, aber nachdem ich mich ein wenig mit der Literatur vertraut gemacht habe, denke ich, dass ich hier im Unrecht bin - Aus diesem Grund bin ich versucht zu behaupten, dass es ein inhärentes Problem mit dem Ansatz "alle Schichten aggregieren" geben muss. - Die Kernkonstruktion von SNAIL (Protokoll 1) scheint vorerst intakt zu bleiben und sollte unabhängig davon von Interesse sein