A.k.a. "ARF"? Et rammeverk for adaptiv reprogrammering i [[Quantum Random Oracle Model]], introdusert i [AC-GHHM21](https://eprint.iacr.org/2020/1361). [[The resampling lemma]] er fra samme paperet, og jeg gjetter derfor at det er greit å si at dette lemmaet er en del av dette rammeverket. Så vidt jeg forstår ble det brukt til å gi et tightere sikkerhetsbevis for [[Fiat-Shamir]]. Kan kanskje sies å være en slags variant av [[One-way to hiding]]. (Er i hvert fall relatert.) I motsetning til [[The computational adaptive reprogramming framework]], så gir dette rammeverket reprogrammerte punkter som er statistisk skjult fra motstanderen. Fra [PKC:PanZeng24](https://eprint.iacr.org/2023/1682): > When proving the SO security of the [[Fujisaki-Okamoto]] transformation, (this) framework cannot be used since the reprogramming points are computationally hidden by OW-CPA security of some underlying PKEs (sic). Kontraintuitivt, implisert av det ikke-adaptive [[Semi-classical O2H]], som vist av [EPRINT:Jaeger24](https://eprint.iacr.org/2024/797.pdf).