Pembaruan: Kemungkinan bukan superkonduktor suhu ruangan - Masalah konkret yang telah ditemukan adalah bahwa Protokol 2 tidak mengikat pembuktian ke sirkuit. Ini mungkin dapat diperbaiki dengan subprotokol murah, tapi... - Saya mulai mendapatkan umpan balik @ronrothblum yang konsisten bahwa Protokol 2 akan meruntuhkan hierarki polinomial. Saya sebelumnya berpikir bahwa struktur aljabar spesifik dari sirkuit berlapis pada dasarnya melindungi kita dari batas-batas teoritis informasi, tetapi setelah sedikit lebih terbiasa dengan literatur, saya pikir saya salah di sini - Karena itu, saya tergoda untuk mengklaim bahwa pasti ada masalah yang melekat dengan pendekatan "agregat semua lapisan". - Konstruksi inti SNAIL (Protokol 1) tampaknya tetap utuh untuk saat ini, dan harus menarik secara independen