Session types may be up there? Or maybe progress on homomorphic encryption. Also, progress in quantum computing.