QROM tutorial paper. Utvikles muligens parallelt med [[QROM-seminar]]. ## Neste steg - [ ] 🎓 Skriv klassisk bevis for at et tilfeldig orakel er en god PRF - [ ] 🎓 Oppgrader beviset til QROM #### Fullførte steg - [x] (Når du føler deg klar for det) lag [[Spekulative disposisjoner]] ### 1. Overblikk En videreføring av [[ProTeCS'24]]-talken [[NCE as a QROM playground]] til et tutorial-paper, som gir oversikt over de mange variantene av [[One-way to hiding]], [[The Compressed-Oracle Technique]], hvordan å bruke dem, og hvordan å bevise dem (i den rekkefølgen). Planen er å studere [[Quantum Random Oracle Model]] selv og bare ta gode notater i [[Obsidian]] underveis, og deretter bruke [[Utførbar skrivestrategi]] til å kompilere et utkast. [Michael Klooß]() ([email protected]) skrev, etter at jeg møtte ham på [[Eurocrypt'24]] og sendte ham slidesene til [[NCE as a QROM playground]] (som, så vidt jeg husker, han gikk glipp av men hadde ønsket å få med seg): > PS: If you decide to turn your notes into a quantum tutorial and want someone to proofread, I'll be available :) Dette er forøvrig samme fyren som skrev dette 96-siders monsteret: [EPRINT:Klooss20 - On (expected polynomial) runtime in cryptography](https://eprint.iacr.org/2020/809)—så han er sikkert en god fyr til å korrekturlese! Se også (igjen) Kathrin sin talk fra Quiques: https://www.youtube.com/watch?v=KsEqyUmA46o (dvs se gjerne igjen hele programmet: https://quiques.huelsing.net ) ### 2. Materiale til [[Forskningskø]] #### Leseliste 1. [C:AmbHamUnr19 - Quantum security proofs using semi-classical oracles](https://eprint.iacr.org/2018/904) 2. [EPRINT:Jaeger24 - Nonadaptive One-Way to Hiding Implies Adaptive Quantum Reprogramming](https://eprint.iacr.org/2024/797) #### Nylig ### 3. Spekulativ disposisjon Possible title: The QROM Toolbox (And let it be a "living document", rather than a submitted and published one.) 1. The Classical [[Random Oracle Model]] 1. Recording 2. Reprogramming 3. Rewinding 2. Reprogramming QROs: [[One-way to hiding]] 1. Overview of [[Adaptive O2H]] 2. Overview of [[The adaptive reprogramming framework]] 3. Overview of [[The computational adaptive reprogramming framework]] 4. Equivalence of the above (with proof). 5. Example(s) of use in proofs. 6. Proof of the most general version necessary (given equivalence). 3. Recording QROs: [[The Compressed-Oracle Technique]] 1. Overview 2. Example(s) of use in proofs. 3. Proof 4. Rewinding QROs: 1. [[Fiat-Shamir]] stuff 5. QROM Toolbox: Other techniques/lemmata not fitting under the above?