start with recasting the equivalence proofs based on our definitions but single user/challenge/no opening if success move on to multi challenge, then multi user (tight? lossy?), and finally to pinpointing why the proof breaks down with corruptions (SSO-CCA-recop) Vent: Er ikke dette bare det samme som å spørre hvordan IND-CCA og SSO-CCA sammenligner sans opening? Har vi ikke allerede gjort det? Kanskje ikke ... er spørsmålet om tightness som er interessant. ##### Neste steg - [ ] 🎓 Undersøk (med penn og papir). (Mest sannsynlig ikke interessant nok til å publisere, men kjekt å vite.)