更新:室温超伝導体ではない可能性が高い - 発見された具体的な問題は、プロトコル2が証明者を回線にバインドしないことです。これは安価なサブプロトコルで修正できるかもしれませんが... - 私は、プロトコル2が多項式階層を崩壊させるという@ronrothblumの一貫したフィードバックに気づき始めています。私は以前、層状回路の特定の代数構造が基本的に情報理論の境界から私たちを守っていると考えていましたが、文献にもう少し詳しくなった後、私はここで間違っていると思います - このため、「すべてのレイヤーを集約する」アプローチには何か固有の問題があるに違いないと主張したくなります。 - SNAIL (Protocol 1) のコア構造は今のところそのまま残っているようで、独立して興味深いはずです