En teknikk i [[Quantum Random Oracle Model]], introdusert i [C:DFMS19](https://eprint.iacr.org/2019/190) og oppgradert i [C:DonFehMaj20](https://eprint.iacr.org/2020/282). Brukt til å vise [[Fiat-Shamir]] sikkert, med optimal tightness ($O(q^2)$ loss, hvor $q$ er antall queries til RO). Relatert til [[Measure-rewind-measure]]?