來自 Lagrange 團隊的另一個里程碑! 動態 zk-SNARKs 標誌著在實現即時、可更新的加密證明方面邁出了重要的一步。