Oppdatering: Sannsynligvis ikke en romtemperatur superleder - Det konkrete problemet som har blitt oppdaget er at protokoll 2 ikke binder beviseren til kretsen. Dette kan fikses med en billig underprotokoll, men ... - Jeg begynner å komme til @ronrothblum konsekvente tilbakemeldinger om at protokoll 2 ville kollapse polynomhierarkiet. Jeg har tidligere trodd at den spesifikke algebraiske strukturen til den lagdelte kretsen i utgangspunktet beskytter oss mot de informasjonsteoretiske grensene, men etter å ha blitt litt mer kjent med litteraturen tror jeg at jeg tar feil her - På grunn av dette er jeg fristet til å hevde at det må være et iboende problem med "aggregert alle lag"-tilnærmingen. - Kjernekonstruksjonen til SNAIL (protokoll 1) ser ut til å forbli intakt inntil videre, og bør være av interesse uavhengig av hverandre