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