Früher waren Beweissysteme starr - eine kleine Änderung bedeutete, von vorne zu beginnen. Das Lagrange-Forschungsteam entwickelte Dynamische SNARKs, um genau das zu beheben. Jetzt können Beweise mit neuen Daten weiterentwickelt werden, ohne unnötige Neuberechnungen.