Большие новости: основное исследование Лагранжа по динамическим zk‑SNARKs (Вэйцзе Ван, @chbpap, @s_shravan, @dipapadopo) будет представлено на Конференции по науке блокчейна (SBC) 2025 4 августа. Вот почему это важно — для ИИ, криптовалюты и будущего проверяемых вычислений: 🧵

2/ Основное ограничение существующих zk‑SNARK заключается в том, что они статичны. Если ваши данные или вычисления изменяются — даже немного — вам нужно заново сгенерировать все доказательство с нуля. Это неэффективно, дорого и не масштабируемо для работающих систем.

3/ Динамические zk‑SNARK делают доказательства более эффективными, чем когда-либо. Они позволяют вам обновлять доказательство поэтапно, когда изменяются исходные данные. Иначе говоря: нет необходимости пересчитывать все с нуля.

4/ Почему это важно? Потому что проверяемые вычисления теперь могут масштабироваться с: – Тонкой настройкой модели ИИ – Игроком, движущимся в живой игре – Новой точкой данных, попадающей в реальный оракул Доказательства, которые развиваются вместе с системой, которую они защищают.

5/ Кроме того, динамические zk‑SNARKs сохраняют те же гарантии нулевого знания и надежности, что и традиционные системы. Они основаны на стандартных предположениях, таких как q-DLOG, и используют криптографические обязательства, которые масштабируются. Другими словами, они так же безопасны, как традиционные методы доказательства (просто лучше в доказательстве себя).

6/ Динамические zk-SNARKs открывают новый класс реальных случаев использования: 🔹 Проверка настроенных AI моделей без повторного доказательства с нуля 🔹 Поддержание актуальных оракулов в живых сетях 🔹 Включение динамической логики игр с помощью on-chain доказательств 🔹 Аудит развивающихся наборов данных на соответствие

8/ Вместе с DeepProve — zkML-системой Lagrange — динамические zk‑SNARKs позволяют в реальном времени проверять развивающиеся AI-системы. От точности до согласованности, теперь мы можем доказывать свойства AI по мере его обучения.

10/ Увидимся на SBC 2025 4 августа 2025 г. 🔗 Смотрите выступление в прямом эфире здесь: 🎓 Прочтите статью: 🔬 Создано исследовательской группой Лагранжа: Ванг, Папаманту, Шринивасан и Пападопулос

11/ "Динамические zk‑SNARKs" — это вторая статья Лагранжа (за три года), принятая на SBC 2025. Читать полный материал о Динамических zk-SNARKs — новом исследовании Лагранжа для проверяемых вычислений и ИИ — ниже: 👇

7/ Вместе с DeepProve — zkML-системой Lagrange — динамические zk‑SNARKs позволяют в реальном времени проверять развивающиеся AI-системы. От точности до согласованности, теперь мы можем доказывать свойства AI по мере его обучения.

8/ До встречи на SBC 2025 4 августа 2025 г. 🔗 Смотрите выступление в прямом эфире здесь: 🎓 Прочтите статью: 🔬 Создано исследовательской группой Лагранжа: Ванг, Папаманту, Шринивасан и Пападопулос

9/ "Динамические zk‑SNARKs" — это вторая статья Лагранжа (за три года), принятая на SBC 2025. Читать полный обзор о Динамических zk-SNARKs — новом исследовании Лагранжа для проверяемых вычислений и ИИ — ниже: 👇

9/ "Динамические zk‑SNARKs" — это вторая статья Лагранжа (за три года), принятая на Конференцию по Науке о Блокчейне (SBC) Читать полный материал о Динамических zk-SNARKs — новом исследовании Лагранжа для проверяемых вычислений и ИИ — ниже: 👇