Tight State-Restoration Soundness in the Algebraic Group Model
Ashrujit Ghoshal, Stefano Tessaro
Topics & Concepts
SoundnessRandom oracleZero-knowledge proofArgument (complex analysis)Gas meter proverComputer scienceOracleAlgebraic numberState (computer science)Theoretical computer scienceGroup (periodic table)MathematicsCryptographyAlgorithmComputer securityMathematical proofProgramming languageEncryptionPublic-key cryptographyBiochemistryChemistryMathematical analysisOrganic chemistryGeometryCryptography and Data SecuritySecurity and Verification in ComputingCryptographic Implementations and Security