En teknikk i [[Quantum Random Oracle Model]], og en variant av [[One-way to hiding]]. Introdusert i [C:AmbHamUnr19](https://eprint.iacr.org/2018/904). Så vidt jeg forstår fra [PKC:PanZeng24](https://eprint.iacr.org/2023/1682), så tillater ikke denne teknikken adaptiv reprogrammering: Lemmaet sier at for et subset $S$, som blir definert *før spillet starter*, og til og med *før genereringen av de offentlige nøklene* (slik at man ikke engang får *selektiv* sikkerhet, hvor motstanderen forplikter seg til hvilke utfordrings-chiffertekster den skal åpne *etter* å ha mottatt chiffertekstene, men *før* noen av de åpnes), så er $H$ og $H^\prime$ uskjelnbare gitt at $H \backslash S = H^\prime \backslash S$. Tanken er da at $S$ ville inneholdt alle de reprogrammerte punktene, men som sagt så ville dette innebært at $S$ måtte kunne defineres underveis i spillet. Dette problemet er løst av [[The computational adaptive reprogramming framework]]. **UPDATE:** Jaeger viste akkurat i [EPRINT:Jaeger24](https://eprint.iacr.org/2024/797.pdf) at Semi-classical O2H faktisk (kontraintuitivt) *impliserer* [[Adaptive O2H]], [[The adaptive reprogramming framework]], *og* [[The computational adaptive reprogramming framework]].