Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable
M. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan
Topics & Concepts
Verifiable secret sharingComputer scienceTheoretical computer scienceLattice problemHomomorphic encryptionLattice (music)CryptosystemGas meter proverLearning with errorsQuantum computerDiscrete mathematicsQuantumCryptographyAlgorithmMathematicsEncryptionProgramming languageMathematical proofSet (abstract data type)PhysicsGeometryAcousticsOperating systemQuantum mechanicsCryptography and Data SecurityCryptographic Implementations and SecurityBlockchain Technology Applications and Security