From hardness assumptions to energy-secure protocols: A systematic survey of Euclidean lattice-based cryptography | Synapse