Brukes til å tvinge meg selv til å utvikle [[The QRO Toolbox]], samt få feedback underveis. Fra A5-notatet: > For å lære noe, må jeg forklare det til andre. For å forberede noe, må jeg ha et tidspunkt å forberede det til, og konsekvenser hvis ikke. For å skrive noe, så må jeg ha lesere som venter på det jeg skriver. $\to$ Lag et kurs med kompendie! Deretter omgjør dette til et tutorial-paper *eller* en SoK! ## Neste steg - [x] 🎓 Forberede første leksjon. - [ ] 📱 Er det noen måte det gir mening å knytte dette til [[Gemini Center on Quantum Technology]]? (Annet bare å invitere interessenter til å være med ... men det gjør jeg jo allerede.) #### Fullførte steg - [x] 📱 Diskuter idéen med Jiaxin under møte om [[Jiaxinvisitt]] - [x] 📱 Skisser en outline til [[NaCl]]-presentasjon. Gjenbruke slides fra [[NCE as a QROM playground]]? - [x] 📱 Lag seminarplan: Hvis så mange skal inviteres som nevnt over, må den være tydelig, med antall uker (2h per uke), og mål om tema som skal dekkes per uke. Som om det var et ordentlig kurs, med andre ord—men hold det foreløpig uambisiøst! - [x] 📱 Invitere folk, og bli enige om tidspunkt. ### Deltakere/interessenter 1. Dan Zhang 2. Espen 3. Jeongeun 4. Kristian 5. Oskar 6. Emil 7. Runzhi 8. Jiaxin 9. Jiawei Bao - [email protected] 10. Martin 11. Tron 12. Jonathan 13. Anamaria 14. Patrick Hough #### Spurt - [[NaCl]] - Carlos Cid (om han kjenner noen) - Caroline ### Seminarplan Har seks uker til rådighet, f.o.m. Uke 10 t.o.m. Uke 15. Ambisiøs plan: - **Uke 9:** Introduksjon og formalisme. Innholdet i den [opprinnelige QROM-artikkelen](https://eprint.iacr.org/2010/428.pdf); lifting theorem for history-free reductions, etc. Noen basic beviser om PRF og sånt. - **Uke 10:** Everything O2H. - Et overblikk om hva det er i sin opprinnelige form og hvordan å bruke det - Semi-classical O2H, de forskjellige versjonene som fins, Jaeger's ekvivalens. - Basic bevis: OW-PCA -> IND-CPA KEM. Tightness fra OW-qPCA? (Og så vise at T-transformasjonen gir dette?) - **Uke 11:** Prøve å forstå the compressed oracle technique. Hva er den beste formaliseringen (inspirert av de som har blitt formulert så langt)? - Hva er det enkleste beviset jeg kan gi som bruker det? Gi et nytt bevis for Hashed ElGamal for OW-PCA KEM (+ OTP?) til IND-CPA KEM (PKE?) - Hvis tid: begynne å se på Zhandry's bevis for Merkel-Damgård indifferentiability. - **Uke 12:** Videre om the compressed oracle technique. - Forstå [beviset for Merkel-Damgård](https://eprint.iacr.org/2018/276.pdf) - Hvis tid, se på FO transformasjonen? [Thm 3.2 i Kiltz, Unruh et al., PKC'20](https://eprint.iacr.org/2018/928.pdf) bruker Semi-Classical O2H og får (basically) et square root loss, med en haug med andre terms i tillegg (men ingenting multiplikativt)—beste mulige? - [Zhandry C'19a (Thm 5)](https://eprint.iacr.org/2018/276.pdf) bruker compressed random oracles. (Frustrenende at han skjuler tightness bak "negligible" i hvert eneste av de 14 game hopsene, så vi får ikke sammenlignet dem; høres ut som at vi har en jobb å gjøre her!) - **Uke 13:** Fullføre bevis for FO-transformasjonen. - **Uke 14:** Rewinding; eldre resultater om "limited rewinding"; Fiat-Shamir med Measure-Rewind-Measure? - **Uke 15:** Fiat-Shamir med Compressed Oracles? ### Eldre notater Kristian er veldig positiv til idéen. På NTNU eller Kassel? På NTNU kan det organiseres som et PhD-emne med studiepoeng. - Tjerand poengterer at to av de som ville vært interesserte, Emil og Caroline, begge er vekkreist mesteparten av våren (i tillegg til Tjerand selv), så det ville gitt mer mening å gjøre det på høsten fra lytternes perspektiv. - I tillegg er jeg jo selv bortreist mesteparten av semesteret. Så, to muligheter: 2. Jeg holder seminaret i Kassel for Jiaxin sine studenter, og streamer forelesningene til andre som ville vært interesserte. 3. Jeg bruker tiden i kassel på å utvikle notatene (parallelt med et relevant forskningsprosjekt med Jiaxin), og holder en seminarrekke til høsten. Jiaxin er positiv til løsning 1, både fordi han selv er interessert, og han tipper et par andre av de i Kassel (men flere av dem har allerede jobbet mye med den, så til en viss grad blir det å forklare QROM *til eksperter*)—og fordi han er redd *studentene* er "too beginner", så det hadde vært fint å snakke til den tiltenkte målgruppen i form av NaCl-folk etc.: - Emil (vekkreist) - Caroline (vekkreist) - Kristian - Ole-Martin - Oskar (vekkreist) - sikkert-ikke-Tjerand (i Australia) - Morten? - Bor? - Noen av Christian sine studenter? - *Yevgeniy?* (Måtte vært litt sent på ettermiddagen i så fall ... som passer meg fint.) - Hvis USA-time kunne man også invitert folk som Varun og Joseph