Представляем динамические zk-SNARKs — прорыв от исследовательской группы Лагранжа: Вэйцзе Ван, @chbpap, @s_shravan и @dipapadopo Динамические zk-SNARKs представляют собой значительный шаг вперед в создании реальных, обновляемых криптографических доказательств Вот что это значит и почему это важно 🧵

2/ Традиционные zk-SNARKs ограничены своей статической природой — если ваши данные изменяются, вам нужно заново строить все доказательство с нуля (то есть медленно, дорого и непрактично для приложений с интенсивным использованием данных). Динамические zk-SNARKs устраняют эти ограничения.

3/ Короче говоря, динамические zk-SNARK позволяют вам обновлять доказательство, когда ваши данные меняются — нет необходимости начинать все заново. Представьте себе обновление чека вместо того, чтобы каждый раз печатать новый, когда клиент добавляет товар (быстрее, дешевле и умнее — практично для приложений с интенсивным использованием данных).

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

5/ Представьте себе это… 💭 - ИИ дает вам ответ - Динамический zk-SNARK подтверждает, что он верен. - Вы даете ИИ новый ввод, основываясь на предыдущем. - С помощью Динамического zk-SNARK ИИ может обновить доказательство для нового ответа за считанные секунды (нет необходимости пересчитывать все).

6/ За здоровье нашей исследовательской команды, которая переопределяет то, что мы можем достичь с помощью технологии ZK Шаг за шагом мы создаем ИИ, который безопасен, проверяем и надежен Смотрите выступление на SBC ‘25: Читать полную статью здесь: