更新：可能不是室温超导体 - 已发现的具体问题是协议2没有将证明者绑定到电路上。这可能可以通过一个廉价的子协议来解决，但... - 我开始接受@ronrothblum的一贯反馈，即协议2会导致多项式层次结构崩溃。我之前认为分层电路的特定代数结构基本上保护我们免受信息理论界限的影响，但在更熟悉文献后，我认为我在这里错了 - 因此，我倾向于认为“汇总所有层”方法必然存在某些固有问题。 - SNAIL（协议1）的核心构造目前似乎保持完整，并且应该独立地引起兴趣