Оновлення: Швидше за все, це не надпровідник кімнатної температури - Конкретна проблема, яка була виявлена, полягає в тому, що Протокол 2 не прив'язує виконавця до схеми. Це можна виправити за допомогою дешевого підпротоколу, але... - Я починаю приходити до послідовних відгуків @ronrothblum про те, що Протокол 2 зруйнує ієрархію поліноміалів. Раніше я вважав, що специфічна алгебраїчна структура шаруватої схеми в основному захищає нас від інформаційно-теоретичних кордонів, але після більш детального ознайомлення з літературою я думаю, що тут я помиляюся - У зв'язку з цим у мене виникає спокуса заявити, що має бути якась внутрішня проблема з підходом «агрегувати всі шари». - Основна конструкція SNAIL (Протокол 1), схоже, поки що залишається недоторканою і повинна представляти інтерес незалежно
Ole Hylland Spjeldnæs
Ole Hylland Spjeldnæs24 квіт. 2025 р.
Знайомство з SNAIL Перевірені обчислення зі швидкістю в 1,2-1,3 рази швидшою, ніж у рідного виконання*, що більш ніж у 10 000 разів швидше, ніж у сучасних SNARK * для, наприклад, типових обчислень zkVM
5,22K