Tidigare var bevissystem stela – en liten förändring innebar att man fick börja om från början Lagranges forskargrupp utvecklade dynamiska SNARKs för att fixa just detta Nu kan bevis utvecklas med nya data, utan onödiga omberäkningar.