Strategy: runT and runS
Simulation-Sound-Extractability and Fiat-Shamir-Transformation