Strong-Fiat-Shamir: progress on Simulation-Sound-Extractability