คำถามเกี่ยวกับหนังสือ "บทช่วยสอนเกี่ยวกับรากฐานของการเข้ารหัส: ทุ่มเทให้กับ Oded Goldreich"

1. การพิสูจน์ทฤษฎีบท 5.2.13 : เพื่อความปลอดภัยทางความหมาย ผู้เขียนเขียนว่า "$m_1 \leftarrow {\rm Sim_1}(1^\lambda)$" ฉันคิดว่ามันอาจขัดแย้งกับข้อกำหนดด้านความปลอดภัยที่กำหนดไว้ในคำจำกัดความ 5.2.11 และคำจำกัดความ 5.2.12 ซึ่งกำหนดให้ผลลัพธ์ของ ${\rm Sim_1}(1^\แลมบ์ดา)$ และ ${\rm SFE1_F}(1^\แลมบ์ดา, x)$ ควรจะแยกไม่ออกนั่นคือมันควรจะเป็น "$(s, m_1) \leftarrow {\rm Sim_1}(1^\แลมบ์ดา)$" แทน "$m_1 \leftarrow {\rm Sim_1}(1^\lambda)$".

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)$ ถือถ้า $(s, m_1)$ ถูกสร้างขึ้นโดยใช้ ${\rm Sim_1}$ และ $m_2$ ถูกสร้างขึ้นโดยใช้ ${\rm Sim_2}$?

บทช่วยสอนเกี่ยวกับพื้นฐานของการเข้ารหัส: สำหรับ Oded Goldreich: https://lib.ugent.be/th/catalog/ebk01:3850000000027399#:~:text=00000nam%20a22000005i%204500%20%20%20001%20%20,%7C%7C%7C%7C%200% 7Ceng%20d%20%2036%20เพิ่มเติม%20แถว%20