動態 zk-SNARK 簡介 — 拉格朗日研究團隊 Weijie Wang、@chbpap、@s_shravan 和 @dipapadopo 的一項突破 動態 zk-SNARK 標誌著在使即時、可更新的加密證明成為現實方面向前邁出了重要一步 以下是這意味著什麼以及為什麼它很重要 🧵

2/ 傳統的 zk-SNARK 的靜態性質受到限制——如果你的數據發生變化，你必須從頭開始重建整個證明（也就是緩慢、昂貴且對於數據密集型應用程式不切實際）。 動態 zk-SNARK 消除了這些限制。

3/ 簡而言之，動態 zk-SNARK 允許您在數據更改時更新證明，而無需重新開始。 想像一下，每次客戶添加商品時都更新收據而不是列印新收據（更快、更便宜、更智慧 - 適用於數據密集型應用程式）。

4/ 這項研究為實際用例帶來了巨大的好處。例如： – 不斷學習的 AI – 具有即時邏輯的遊戲 – 跟蹤實時數據的區塊鏈 – 智能合約隨著輸入的變化進行調整 動態 zk-SNARK 使這些用例可驗證，而不會浪費計算。

5/ 想像一下這個...💭 - AI 為您提供答案 - 動態 zk-SNARK 證明它是正確的。 - 您為 AI 提供新的輸入，以之前的輸入為基礎。 - 使用動態 zk-SNARK，AI 可以在幾秒鐘內更新新答案的證明（無需重新計算所有內容）。

6/ 為我們的研究團隊乾杯，他們重新定義了我們可以通過 ZK 技術實現的目標 我們一次又一次地取得突破，開創了安全、可驗證和值得信賴的 AI 在 SBC '25 上觀看演講： 在此處閱讀全文：