Atualização: Provavelmente não é um supercondutor à temperatura ambiente - A questão concreta que foi descoberta é que o Protocolo 2 não liga o provador ao circuito. Isso pode ser corrigido com um subprotocolo barato, mas ... - Estou começando a entender o feedback consistente de @ronrothblum de que o Protocolo 2 colapsaria a hierarquia polinomial. Eu já pensei que a estrutura algébrica específica do circuito em camadas basicamente nos protege contra os limites teóricos da informação, mas depois de me familiarizar um pouco mais com a literatura, acho que estou errado aqui - Por causa disso, estou tentado a afirmar que deve haver algum problema inerente à abordagem "agregar todas as camadas". - A construção central do SNAIL (Protocolo 1) parece permanecer intacta por enquanto e deve ser de interesse independente