以前，證明系統是僵化的——一個小的變化意味著要從頭開始 拉格朗日研究團隊開發了動態SNARKs來解決這個問題 現在，證明可以隨著新數據的變化而演變，無需不必要的重新計算。