重大消息：Lagrange 團隊的核心研究《動態 zk‑SNARKs》（Weijie Wang，@chbpap，@s_shravan，@dipapadopo）將於 2025 年 8 月 4 日在區塊鏈科學會議（SBC）上發表。 這為什麼重要——對於 AI、加密貨幣和可驗證計算的未來：🧵

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 的完整報導——拉格朗日針對可驗證計算和 AI 的新研究：👇

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 的完整報導——拉格朗日針對可驗證計算和 AI 的新研究：👇

9/ “動態 zk‑SNARKs” 是 Lagrange 在三年內第二篇被接受到區塊鏈科學會議 (SBC) 的論文 請在下方閱讀有關動態 zk-SNARKs 的完整報導——Lagrange 對可驗證計算和 AI 的新研究：👇