以前，证明系统是僵化的——一个小的变化意味着要从头开始 拉格朗日研究团队开发了动态SNARKs来解决这个问题 现在，证明可以随着新数据的变化而演变，无需不必要的重新计算。