Оптимизация для среднего случая

вы еще много обо мне услышите

Brink проведет вас домой И разожжет ваши кости И я постараюсь исправить [ваши маржи] Получите ранний доступ к Brink и сэкономьте до 90% на транзакционных расходах. 👉 .

Stable Stories EP 11 уже в продаже! 🎙️ На этой неделе @riabhutoria и @spjoleh из @deltadotnetwork присоединяются к @AnnikaSays, чтобы погрузиться в: 💠Переосмысление L1 💠Почему «централизация — это хорошо» (иногда) 💠Сэндвичи со стейблкоинами и трансграничная инфраструктура 💠Суверенитет Web3 + прагматизм Взгляните! 👇

Итак, понятно, что улитке нужен ПК, и тогда вся конструкция немного избыточна Но почему никто этого не делает? Кажется, это действительно простой и эффективный аналог проверки нулевого частного для одномерных данных

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

Представляем SNAIL Проверяемые вычисления со скоростью 1.2-1.3x от скорости нативного выполнения*, более чем в 10,000 раз быстрее, чем современные SNARKs * например, типичные вычисления zkVM