[ECI] Proofsimulation Cyclo Paper