Score:2

เครื่องจำลองเฉพาะทางใน Universal composability

ธง in

กรอบ UC [Can00 (เวอร์ชั่นของ 2020-02-11)] กำหนดความปลอดภัย (defn 9) สำหรับศัตรูทั้งหมด มีตัวจำลองอยู่ ซึ่งสำหรับสภาพแวดล้อมทั้งหมด เอาต์พุตของสภาพแวดล้อมจะแยกไม่ออกจากแบบจำลองในอุดมคติและแบบจำลองจริง $\forall A \exists S \forall E$: $$EXEC_{\varphi,S,E} \ประมาณ EXEC_{\pi,A,E}$$ ที่ไหน $EXEC_{\pi,A,E} = \{EXEC_{\pi,A,E}(k,z)\}_{k \in \mathbb{N},z\in\{0,1\} ^*}$. ซึ่งหมายความว่าเครื่องจำลองต้อง "หลอก" สภาพแวดล้อมทั้งหมดจากอินพุตใดๆ

ข้อเรียกร้อง 14 ข้อพิจารณา เครื่องจำลองพิเศษ ที่สามารถขึ้นอยู่กับสภาพแวดล้อมและระบุว่าคำจำกัดความที่เป็นผลลัพธ์สำหรับความปลอดภัยนั้นเทียบเท่ากัน $\forall A \forall E \มีอยู่ S$: $$EXEC_{\phi,S,E} \ประมาณ EXEC_{\pi,A,E}$$ ฉันไม่ได้ติดตามการพิสูจน์

สมมติว่า $Ï$ UC-เลียนแบบ $Ï$ เกี่ยวกับความเชี่ยวชาญ เครื่องจำลอง นั่นคือสำหรับฝ่ายตรงข้าม PPT $A$ และสิ่งแวดล้อม PPT $E$ มีโปรแกรมจำลอง PPT อยู่ $S$ ดังนั้น $EXEC_{Ï,S,E} â EXEC_{Ï,A,E}$. พิจารณา âสิ่งแวดล้อมสากลâ $E_u$ ซึ่งคาดว่ามัน ข้อมูลเข้าประกอบด้วย $(\langle E \rangle, z, t)$, ที่ไหน $\langle อี \rangle$ เป็นการเข้ารหัสของ ITM $E$, $z$ เป็นการป้อนข้อมูล $E$, และ $t$ เป็นข้อผูกมัดกับเวลาทำงานของ $E$. ($t$ เป็นการนำเข้าอินพุตด้วย) จากนั้น $E_u$ วิ่ง $E$ บน ป้อนข้อมูล $z$ นานถึง $t$ ขั้นตอนเอาท์พุทอะไรก็ตาม $E$ เอาท์พุทและหยุด ชัดเจน เครื่อง $E_u$ คือ พ.ต.อ. (อันที่จริง มันทำงานตามเวลาเชิงเส้นในความยาวของอินพุต) เราจึงรับประกันได้ว่ามีอยู่จริง เครื่องจำลอง $S$ ดังนั้น $EXEC_{Ï,S,E_u} â EXEC_{Ï,A,E_u}$.

(เน้นของฉัน)

ฉันไม่เห็นว่าทำไมบรรทัดสุดท้ายถึงถือ ให้พิจารณาสภาพแวดล้อมสองอย่างอย่างชัดเจน $E'$ และ $E''$, และปล่อยให้ $S'$ เป็นตัวจำลองพิเศษสำหรับ $E'$: $$EXEC_{\varphi,S',E'} \ประมาณ EXEC_{\pi,A,E'}$$ แต่ $S'$ ไม่ใช่โปรแกรมจำลองที่ถูกต้องสำหรับ $E''$: $$EXEC_{\varphi,S',E''} \ไม่\ประมาณ EXEC_{\pi,A,E''}.$$ แล้ว $S'$ "คนโง่" $E_u$ เมื่อป้อนข้อมูล $E'$: $$EXEC_{\varphi,S',E_u}(k, (\langle E' \rangle, z, t)) \ประมาณ EXEC_{\pi,A,E_u}(k, (\langle E' \rangle, z, t))$$ แต่ไม่ได้อยู่ในอินพุต $E''$: $$EXEC_{\varphi,S',E_u}(k, (\langle E'' \rangle, z, t)) \ไม่\ประมาณ EXEC_{\pi,A,E_u}(k, (\langle E' ' \rangle, z, t))$$ และด้วยเหตุนี้ $$EXEC_{\varphi,S',E_u} \ไม่\ประมาณ EXEC_{\pi,A,E_u}$$ เพราะมันต้องหลอกสิ่งแวดล้อม ทั้งหมด อินพุต ฉันพบข้อผิดพลาดหรือเข้าใจอะไรผิดหรือเปล่า

Score:4
ธง us

จุดที่คุณขาดไปมีดังนี้ หากโปรโตคอลนั้นปลอดภัยสำหรับ UC สำหรับโปรแกรมจำลองพิเศษ $\forall A \forall E\มีอยู่ S$. โดยเฉพาะอย่างยิ่ง นี่เป็นเรื่องจริงสำหรับสภาพแวดล้อมที่เป็นสากล $E_u$. แสดงตัวจำลองนี้โดย $S_u$. ข้อโต้แย้งก็คือว่า $S_u$ เป็นตัวจำลองสำหรับทุกสภาพแวดล้อม โดยเฉพาะอย่างยิ่ง, $S_u$ ทำงานกับ $E_u$ เมื่อป้อนข้อมูล $(\langle E\range,z,t)$ ก็เหมือนกับ $S_u$ ทำงานโดยตรงกับสิ่งแวดล้อม $E$.

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา