Великі новини: основні дослідження Лагранжа щодо динамічних zk-SNARK (Weijie Wang, @chbpap, @s_shravan, @dipapadopo) будуть представлені на конференції Science of Blockchain Conference (SBC) 2025 4 серпня. Ось чому це важливо для штучного інтелекту, криптовалюти та майбутнього перевірених обчислень: 🧵

2. Ключовим обмеженням існуючих zk-SNARK є те, що вони статичні. Якщо ваші дані або обчислення змінюються навіть незначно, вам доведеться заново генерувати весь доказ з нуля. Це неефективно, дорого і немасштабовано для живих систем.

3. Динамічні zk-SNARK роблять докази ефективнішими, ніж будь-коли. Вони дозволяють оновлювати доказ поступово, коли базові дані зміщуються. Він же: Не потрібно переобчислювати все з нуля.

4. Чому це важливо? Тому що перевірені обчислення тепер можуть масштабуватися за допомогою: – Тонке налаштування моделі штучного інтелекту – Рух гравця в живій грі – Нова точка даних, що потрапляє на оракул у реальному часі Докази, які розвиваються разом із системою, яку вони захищають.

5. Крім того, динамічні zk-SNARK зберігають ті ж гарантії нульового знання та надійності, що й традиційні системи. Вони побудовані на стандартних припущеннях, таких як q-DLOG, і використовують криптографічні зобов'язання, які масштабуються. Іншими словами, вони так само безпечні, як і традиційні методи доведення (просто краще доводять самі).

6. Динамічні zk-SNARK відкривають новий клас реальних варіантів використання: 🔹 Перевірка точно налаштованих моделей штучного інтелекту без повторного доведення з нуля 🔹 Підтримка актуальних оракулів у реальних мережах 🔹 Увімкнення динамічної логіки гри за допомогою доказів у ланцюжку 🔹 Аудит нових наборів даних на відповідність

8/ Разом із DeepProve — системою zkML Лагранжа — динамічні zk-SNARK дозволяють перевіряти в режимі реального часу системи штучного інтелекту, що розвиваються. Від точності до вирівнювання ми тепер можемо доводити властивості штучного інтелекту в міру його навчання.

10/ Спіймайте нас на SBC 2025 4 серпня 2025 року 🔗 Дивіться виступ у прямому ефірі тут: 🎓 Читайте статтю: 🔬 Створено дослідницькою групою Лагранжа: Wang, Papamanthou, Srinivasan & Papadopoulos

11/ "Dynamic zk-SNARKs" є другою роботою Лагранжа (за три роки), яка була прийнята до SBC 2025 Читайте повний огляд динамічних zk-SNARK — нового дослідження Лагранжа в галузі перевірених обчислень та штучного інтелекту — нижче: 👇

7. Разом із DeepProve — системою zkML Лагранжа — динамічні zk-SNARK дозволяють перевіряти системи штучного інтелекту, що розвиваються, у режимі реального часу. Від точності до вирівнювання ми тепер можемо доводити властивості штучного інтелекту в міру його навчання.

8/ Ловіть нас на SBC 2025 4 серпня 2025 року 🔗 Дивіться виступ у прямому ефірі тут: 🎓 Читайте статтю: 🔬 Створено дослідницькою групою Лагранжа: Wang, Papamanthou, Srinivasan & Papadopoulos

9/ "Dynamic zk-SNARKs" є другою роботою Лагранжа (за три роки), яка була прийнята до SBC 2025 Читайте повний огляд динамічних zk-SNARK — нового дослідження Лагранжа в галузі перевірених обчислень та штучного інтелекту — нижче: 👇

9. "Dynamic zk-SNARKs" є другою роботою Лагранжа (за три роки), яка була прийнята на конференцію Science of Blockchain Conference (SBC) Читайте повний огляд динамічних zk-SNARK — нового дослідження Лагранжа в галузі перевірених обчислень та штучного інтелекту — нижче: 👇