Gemini: Elastic SNARKs for Diverse Environments
Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
Topics & Concepts
Computer scienceGas meter proverOracleMathematical proofRandom oracleCompilerTheoretical computer scienceLogarithmProgramming languageAlgorithmDiscrete mathematicsMathematicsOperating systemGeometryMathematical analysisEncryptionPublic-key cryptographyCryptography and Data SecurityLogic, programming, and type systemsSecurity and Verification in Computing