What Makes Fiat-Shamir zkSNARKs (Updatable SRS) Simulation Extractable?