A.k.a. "CARF"? Et rammeverk for adaptiv reprogrammering i [[Quantum Random Oracle Model]] introdusert i [PKC:PanZeng24](https://eprint.iacr.org/2023/1682); en generalisering[^1] av [[The adaptive reprogramming framework]], hvor punktene bare er beregnbart skjult fra motstanderen. På samme måte som i [[Semi-classical O2H]], så krever de at $H^\prime \backslash S = H \backslash S$, bare at nå kan $S$ defineres underveis, adaptivt, med en sikkerhetsreduksjon til en underliggende antagelse som viser uskjelnbarhet mellom de to. Så vidt jeg forstår kan dette sies å være en generalisering av [[One-way to hiding]]. Inkluderer [[The reprogramming lemma]]. Jeg må si at jeg er skeptisk til at kvante-motstanderne blir splittet i $n$ faser (hvor $n$ er antall ganger orakelet blir adaptivt reprogrammert), med bare klassisk kommunikasjon mellom hver fase. For full generalitet måtte dette inkludert en kvantetilstand delt mellom fasene, eller lignende. Er det å kreve at motstanderne *lar* seg splitte opp på denne måten er en innsnevring som er unikt for dette arbeidet (og som stammer fra behovet for full adaptivitet), eller går det lenger tilbake? Vent litt ... Det er *spillet* (alternativt, en simulator) som reprogrammerer, ikke spilleren. Så vil ikke dette si at den merker når reprogrammering finner sted, i den forstand at den merker at den splittes opp? Med mindre vi sier at spilleren deles i $n$ faser *uansett*, og at reprogrammering *kun* kan skje én gang per fase ... idk det hele virker litt shaky. EDIT: Kanskje jeg snakket for raskt. På side 9 skriver de (emphasis mine): > So, all $A_i$ are the same adversary $A$ in different stages, *and they share the quantum registers of $A$*. Det høres jo egentlig ut som det samme som å si at de deler en kvantetilstand likevel. Kontraintuitivt, implisert av det ikke-adaptive [[Semi-classical O2H]], som vist av [EPRINT:Jaeger24](https://eprint.iacr.org/2024/797.pdf). [^1]: Kravet om beregnbar uskjelnbarhet inkulderer tilfellet statistisk uskjelnbarhet.