Can be instantiated [[CSIDH]]? (Only known PQ gap-problem.) Can we show that the [[T-transformation]] of TCC:HofHovKil17 frow OW-CPA to OW-PC(V)A of (which remember was proven in the QROM) also maintains full-quantum security? (Superposition calls to the PC(V)A oracle.) Needed for [[PQ-NCE and SIMstar]]. Kinda first introduced (but after me and Chris first realized we'd need it) by Eike et al. in [Group Action Key Encapsulation and Non-Interactive Key Exchange in the QROM](https://link.springer.com/chapter/10.1007/978-3-031-22966-4_2). Kan T-transformasjonen allerede er bevist, se [qCCA-Secure Generic Transformations in the Quantum Random Oracle Model](https://link.springer.com/chapter/10.1007/978-3-031-31368-4_2). ### Neste steg - [ ] 🎓 Finn ut om det er noe nytt å bevise her - [ ] 🎓 Bevis at T-transformasjonen oppnår qCCA (skriv eget bevis enten dette har blitt gjort før eller ikke for øvelsens skyld)