Lift-and-Shift: Obtaining Simulation ExtractableSubversion and Updatable SNARKs Generically Romy 23 January 2023