What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable?
Chaya Ganesh, Hamidreza Khoshakhlagh, Markulf Kohlweiss, Anca Nitulescu, Michał Zając
Topics & Concepts
Computer scienceSoundnessRandom oracleMathematical proofZero-knowledge proofTransformation (genetics)Theoretical computer scienceArgument (complex analysis)Gas meter proverOracleAdversaryOverhead (engineering)String (physics)CryptographyComputer securityMathematicsPublic-key cryptographyProgramming languageChemistryBiochemistryGeometryGeneMathematical physicsEncryptionCryptography and Data SecurityBlockchain Technology Applications and SecuritySecurity and Verification in Computing