TagsResearcherAffiliatione-mailm.p.zajac@gmail.comActiveCollaborationJoint PapersWhat Makes Fiat--Shamir zkSNARKs (Updatable SRS) Simulation Extractable?