重大消息：Lagrange 关于动态 zk‑SNARKs 的核心研究（Weijie Wang，@chbpap，@s_shravan，@dipapadopo）将于2025年8月4日在区块链科学会议（SBC）上进行展示。 这为什么重要——对于人工智能、加密货币和可验证计算的未来：🧵

2/ 现有的 zk‑SNARKs 的主要限制是它们是静态的。 如果您的数据或计算发生变化——即使是微小的变化——您必须从头开始重新生成整个证明。 这对于实时系统来说效率低下、成本高昂且不可扩展。

3/ 动态 zk‑SNARKs 使证明比以往更高效。 它们允许您在基础数据发生变化时逐步更新证明。 也就是说：无需从头开始重新计算所有内容。

4/ 这为什么重要？ 因为可验证计算现在可以与以下内容扩展： – 微调AI模型 – 玩家在实时游戏中的移动 – 新数据点触发实时预言机 随着它们保护的系统而演变的证明。

5/ 此外，动态 zk‑SNARKs 保持与传统系统相同的零知识和健全性保证。 它们建立在标准假设上，如 q-DLOG，并使用可扩展的加密承诺。 换句话说，它们的安全性与传统证明方法一样（只是更擅长自我证明）。

6/ 动态 zk-SNARKs 解锁了一类新的现实世界用例： 🔹 在不从头重新证明的情况下验证微调的 AI 模型 🔹 在实时网络中维护最新的预言机 🔹 通过链上证明启用动态游戏逻辑 🔹 审计不断演变的数据集以确保合规性

8/ 与 DeepProve——Lagrange 的 zkML 系统——动态 zk‑SNARKs 使得对不断发展的 AI 系统进行实时验证成为可能。 从准确性到对齐，我们现在可以证明 AI 在学习过程中的属性。

10/ 在2025年8月4日的SBC 2025上与我们见面 🔗 在这里观看直播： 🎓 阅读论文： 🔬 由Lagrange的研究团队构建：Wang, Papamanthou, Srinivasan & Papadopoulos

11/ “动态 zk‑SNARKs”是拉格朗日（Lagrange）在三年内第二篇被SBC 2025接受的论文 在下面阅读关于动态 zk-SNARKs——拉格朗日针对可验证计算和人工智能的新研究的完整内容：👇

7/ 与 DeepProve——Lagrange 的 zkML 系统——动态 zk‑SNARKs 使得对不断发展的 AI 系统进行实时验证成为可能。 从准确性到对齐，我们现在可以证明 AI 在学习过程中的属性。

8/ 在2025年8月4日的SBC 2025上与我们见面 🔗 在这里观看直播： 🎓 阅读论文： 🔬 由Lagrange的研究团队构建：Wang, Papamanthou, Srinivasan & Papadopoulos

9/ “动态 zk‑SNARKs” 是拉格朗日（Lagrange）在三年内第二篇被 SBC 2025 接受的论文 在下面阅读关于动态 zk-SNARKs 的完整信息——拉格朗日关于可验证计算和人工智能的新研究——👇

9/ “动态 zk‑SNARKs” 是拉格朗日（Lagrange）在三年内第二篇被《区块链科学会议》（SBC）接受的论文。 请在下面阅读关于动态 zk-SNARKs 的完整报道——拉格朗日关于可验证计算和人工智能的新研究：👇