Ранее системы доказательств были жесткими - одно небольшое изменение означало, что нужно начинать с нуля. Исследовательская группа Лагранжа разработала Динамические SNARK для решения этой проблемы. Теперь доказательства могут эволюционировать с новыми данными, без ненужных перерасчетов.