Diskusjon med Julien Duman på [[PKC'23]] (har to accepted papers her: "a thorough treatment of NTRU" og "Generic Models for Group Actions"), viser seg at han har sett på om man kan lage et multi-instance-bevis av Fujisaki-Okamoto. Vi (meg og Martijn og Carlo) så så vidt på dette på et tidspunkt husker jeg, men konkluderte med at det mest sannsynlig var vanskelig. Nøyaktig hvor er det det feiler? Se notat: Notability -> Multi-Instance -> Sketches -> HH 3. feb. 2022 Ser ut til å feile i valgene av plaintexts som reduksjonen B skal returnere ut fra tilgjengelige RO-calls (har ikke tilgang på Plaintext Checking så må basically gjette? Hvordan fungerer dette i det opprinnelige beviset?) Kan vi finne et MI angrep, og dermed vise at FO-transformen leder til ikke-optimal scaling? Se også: [[Multi-Instance Secure Public-Key Encryption]] ### Neste steg - [ ] Se etter et MI-angrep