介绍动态 zk-SNARKs——来自 Lagrange 研究团队的突破 Weijie Wang, @chbpap, @s_shravan 和 @dipapadopo 动态 zk-SNARKs 标志着在实现实时、可更新的加密证明方面迈出了重要一步 这意味着什么以及为什么这很重要 🧵

2/ 传统的 zk-SNARKs 在其静态特性上受到限制——如果您的数据发生变化，您必须从头开始重建整个证明（也就是说，速度慢、成本高，并且对于数据密集型应用不实用）。 动态 zk-SNARKs 消除了这些限制。

3/ 简而言之，动态 zk-SNARKs 允许您在数据更改时更新证明——无需重新开始。 想象一下，更新收据，而不是每次客户添加商品时都打印新的收据（更快、更便宜、更智能——适用于数据密集型应用）。

4/ 这项研究为现实世界的应用场景带来了巨大的好处。例如： – 不断学习的人工智能 – 具有实时逻辑的游戏 – 跟踪实时数据的区块链 – 随着输入变化而调整的智能合约 动态 zk-SNARKs 使这些用例在不浪费计算资源的情况下可验证。

5/ 想象一下…… 💭 - 一个AI给你一个答案 - 一个动态的zk-SNARK证明它是正确的。 - 你给AI一个新的输入，基于你之前的输入。 - 通过动态zk-SNARK，AI可以在几秒钟内更新新答案的证明（无需重新计算所有内容）。

6/ 向我们的研究团队致敬，他们重新定义了我们在 ZK 技术上可以实现的成就 一次又一次的突破，我们正在开创安全、可验证和可信赖的 AI 在 SBC ‘25 上观看演讲： 在这里阅读完整论文：