Actualización: Probablemente no sea un superconductor a temperatura ambiente - El problema concreto que se ha descubierto es que el Protocolo 2 no vincula el probador al circuito. Esto podría solucionarse con un subprotocolo barato, pero... - Estoy empezando a darme cuenta de la retroalimentación constante de @ronrothblum de que el Protocolo 2 colapsaría la jerarquía polinómica. Anteriormente he pensado que la estructura algebraica específica del circuito estratificado básicamente nos protege contra los límites de la teoría de la información, pero después de familiarizarme un poco más con la literatura, creo que estoy equivocado aquí - Debido a esto, me siento tentado a afirmar que debe haber algún problema inherente con el enfoque de "agregar todas las capas". - La construcción central de SNAIL (Protocolo 1) parece permanecer intacta por ahora, y debería ser de interés de forma independiente