Aggiornamento: probabilmente non è un superconduttore a temperatura ambiente - Il problema concreto che è stato scoperto è che il Protocollo 2 non vincola il dimostratore al circuito. Questo potrebbe essere risolvibile con un sottoprotocollo economico, ma... - Sto iniziando a capire il feedback costante di @ronrothblum secondo cui il Protocollo 2 farebbe collassare la gerarchia polinomiale. In precedenza ho pensato che la specifica struttura algebrica del circuito stratificato fondamentalmente ci protegga dai limiti della teoria dell'informazione, ma dopo aver familiarizzato un po' di più con la letteratura penso di essere nel torto qui - Per questo motivo, sono tentato di affermare che ci deve essere qualche problema intrinseco con l'approccio "aggrega tutti i livelli". - La costruzione centrale di SNAIL (Protocollo 1) sembra rimanere intatta per ora, e dovrebbe essere di interesse indipendentemente