Auparavant, les systèmes de preuve étaient rigides - un petit changement signifiait repartir de zéro. L'équipe de recherche Lagrange a développé des SNARKs dynamiques pour résoudre exactement ce problème. Maintenant, les preuves peuvent évoluer avec de nouvelles données, sans recomputation inutile.