Câteva întrebări despre cartea „Tutoriale despre fundamentele criptografiei: dedicată lui Oded Goldreich”

1. Dovada teoremei 5.2.13: Pentru securitatea semantică, autorul a scris „$m_1 \leftarrow {\rm Sim_1}(1^\lambda)$„. Cred că poate contrazice cerința de securitate definită în Definiția 5.2.11 și Definiția 5.2.12, în cazul în care se cere ca ieșirile ale ${\rm Sim_1}(1^\lambda)$ și ${\rm SFE1_F}(1^\lambda, x)$ ar trebui să fie imposibil de distins, adică ar trebui să fie "$(s, m_1) \leftarrow {\rm Sim_1}(1^\lambda)$" în loc de "$m_1 \leftarrow {\rm Sim_1}(1^\lambda)$".

2. Definiția 5.2.12: Intrările secrete y și x nu sunt furnizate simulatoarelor ${\rm Sim_1}$ și ${\rm Sim_2}$. Cred că poate fi în contradicție cu Definiția 6.4.1, unde intrările secrete trebuie furnizate simulatoarelor.

3. Definiția 5.2.11 și Definiția 5.2.12: Nu ${\rm F}(x, y) = {\rm SFE3_F}(s, m_2)$ tine daca $(s, m_1)$ este generat prin utilizarea ${\rm Sim_1}$ și $m_2$ este generat prin utilizarea ${\rm Sim_2}$?

Tutoriale despre bazele criptografiei: dedicate lui Oded Goldreich: https://lib.ugent.be/en/catalog/ebk01:3850000000027399#:~:text=00000nam%20a22000005i%204500%20%20%20001%20%20,%7C%7C%7C%7C%7C 7Ceng%20d%20%2036%20mai multe%20rânduri%20