Некоторые вопросы по книге "Учебники по основам криптографии: посвященные Одеду Гольдрайху"

1. Доказательство теоремы 5.2.13: Для семантической безопасности автор написал:$m_1 \leftarrow {\rm Sim_1}(1^\лямбда)$". Я думаю, что это может противоречить требованию безопасности, определенному в Определении 5.2.11 и Определении 5.2.12, где требуется, чтобы выходы ${\rm Sim_1}(1^\лямбда)$ и $ {\ rm SFE1_F} (1 ^ \ лямбда, х) $ должно быть неразличимо, то есть должно быть "$(s, m_1) \leftarrow {\rm Sim_1}(1^\lambda)$" вместо "$m_1 \leftarrow {\rm Sim_1}(1^\лямбда)$".

2. Определение 5.2.12: Секретные входные данные y и x не предоставляются симуляторам. ${\rm Sim_1}$ и ${\rm Sim_2}$. Я думаю, что это может противоречить определению 6.4.1, где секретные входные данные должны быть предоставлены симуляторам.

3. Определение 5.2.11 и определение 5.2.12. $ {\ rm F} (x, y) = {\ rm SFE3_F} (s, m_2) $ держать, если $(с, м_1)$ генерируется с использованием ${\rm Sim_1}$ и $m_2$ генерируется с использованием ${\rm Sim_2}$?

Учебники по основам криптографии: посвященные Одеду Гольдрайху: https://lib.ugent.be/en/catalog/ebk01:3850000000027399#:~:text=00000nam%20a22000005i%204500%20%20%20001%20%20,%7C%7C%7C%7C%200% 7Ceng%20d%20%2036%20more%20rows%20