Project idea to do with Jiaxin: upgrade Magnus and Jiaxin's et al.'s tight AKE paper to the QROM?? (Uses very familiar techniques: random oracle reprogrammability reducing to a multi-user strong-DH assumption with corruptions). (Not unlikely that Runzhi is already working on this.) Tror Jiaxin og Runzhi har allerede publisert om dette siden jeg skrev dette notatet. - [ ] 🎓 Sjekk om ikke Jiaxin og Runzhi har en artikkel om dette. Islegg/skrinlegg?