Uppdatering: Troligen inte en supraledare i rumstemperatur - Det konkreta problemet som har upptäckts är att protokoll 2 inte binder provaren till kretsen. Detta kan fixas med ett billigt subprotocol, men... - Jag börjar komma till @ronrothblum:s konsekventa feedback om att protokoll 2 skulle kollapsa polynomhierarkin. Jag har tidigare trott att den specifika algebraiska strukturen hos den skiktade kretsen i princip skyddar oss mot de informationsteoretiska gränserna, men efter att ha satt mig in lite mer i litteraturen tror jag att jag har fel här - På grund av detta är jag frestad att hävda att det måste finnas något inneboende problem med metoden "aggregera alla lager". - Kärnkonstruktionen av SNAIL (protokoll 1) verkar förbli intakt för tillfället, och bör vara av intresse oberoende