Trước đây, các hệ thống chứng minh rất cứng nhắc - một thay đổi nhỏ có nghĩa là phải bắt đầu lại từ đầu. Nhóm nghiên cứu Lagrange đã phát triển Dynamic SNARKs để khắc phục chính điều đó. Bây giờ, các chứng minh có thể phát triển cùng với dữ liệu mới, mà không cần tính toán lại không cần thiết.