Kvantegeneralisering av [[Ideal Ciphers]]. Ifølge folk jeg har snakket med (Christian Majenz og Joseph Jaeger) veldig vanskelig å definere. Relatert til vanskene i å utvide [[The Compressed-Oracle Technique]] til permutasjoner, som beskrevet der? ### Utvidelse av [[The Compressed-Oracle Technique]] til tilfeldige permutasjoner #### Majenz et al.s løsning? [Majenz, Malavolta, Walter: Permutation Superposition Oracles for Quantum Query Lower Bounds](https://eprint.iacr.org/2024/1140.pdf) Mener å huske Christian snakket om dette som "partial results/restricted regime", men at a glance ser jo dette ganske generelt ut, eller? Noe å se på under [[Jiaxinvisitt]]. #### Feilede forsøk ###### Unruhs (12 021) Feilet forsøk på å generalisere til random permutations: [EPRINT:Unruh21 - Compressed Permutation Oracles (And the Collision-Resistance of Sponge/SHA3)](https://eprint.iacr.org/2021/062). (Dette er nok ikke den egentlige cryptobib-koden – regner med det er mange EPRINT:Unruh21.) Det er en bug i et sentralt lemma i paperet. I erratumet skriver de: > The only unaffected part of the paper is Section 3.1 in which we give a different view of Zhandry’s compressed oracle technique. This view may be useful in its own right for understanding Zhandry’s compressed oracle technique. However, it does not give us a proof technique for random permutations. Kan være interessant å lese den delen. Men: 77 sider bortkastet...! Må ha gjort vondt. Så generalisering til permutasjoner er et åpent problem? Relatert til vanskeligheten av å definere [[Quantum Ideal Cipher Model]]? ###### Czajkowski (12 021) Jan Czajkowski also has a paper, [Quantum Indifferentiability of SHA-3](https://eprint.iacr.org/2021/192), that according to the author himself has a bug in it that he doesn't know how to fix. (Annoyingly, the author has not updated eprint to note this.)