Update: Waarschijnlijk geen supergeleider op kamertemperatuur - Het concrete probleem dat is ontdekt, is dat Protocol 2 de bewijzer niet aan het circuit bindt. Dit is misschien op te lossen met een goedkoop subprotocol, maar... - Ik begin me aan te passen aan de consistente feedback van @ronrothblum dat Protocol 2 de polynomiale hiërarchie zou doen instorten. Ik heb eerder gedacht dat de specifieke algebraïsche structuur van het gelaagde circuit ons in feite beschermt tegen de informatietheoretische grenzen, maar nadat ik wat meer vertrouwd ben geraakt met de literatuur, denk ik dat ik het hier mis heb - Daarom kom ik in de verleiding om te beweren dat er een inherent probleem moet zijn met de "alle lagen aggregeren"-benadering. - De kernconstructie van SNAIL (Protocol 1) lijkt voorlopig intact te blijven, en zou onafhankelijk van belang moeten zijn