Text this: 具有可证明安全性的量子加密算法