Lagrange团队又一个里程碑！ 动态zk-SNARKs标志着在实现实时、可更新的加密证明方面向前迈出了重要一步。