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 chegar ao 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 da teoria da informação, mas depois de me familiarizar um pouco mais com a literatura, acho que estou errado aqui - Por causa disso, sou tentado a afirmar que deve haver algum problema inerente com a abordagem "agregar todas as camadas". - A construção central do SNAIL (Protocolo 1) parece permanecer intacta por enquanto, e deve ser de interesse independente