Runzhi Zeng and Jiaxin Pan have developed a new approach to prove post-quantum security in the quantum random oracle model, where quantum adversaries are given quantum-access to hash functions.