Обновление: Вероятно, это не сверхпроводник при комнатной температуре - Конкретная проблема, которая была обнаружена, заключается в том, что Протокол 2 не связывает доказателя с цепью. Это может быть исправлено с помощью недорогого субпротокола, но... - Я начинаю соглашаться с постоянной обратной связью от @ronrothblum, что Протокол 2 разрушит полиномиальную иерархию. Ранее я думал, что специфическая алгебраическая структура многослойной цепи в основном защищает нас от информационно-теоретических ограничений, но после более глубокого ознакомления с литературой я думаю, что ошибался. - Из-за этого я склонен утверждать, что в подходе "агрегировать все слои" должна быть какая-то внутренняя проблема. - Основная конструкция SNAIL (Протокол 1) пока остается неизменной и должна представлять интерес независимо.