กรอบ 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}$$
เพราะมันต้องหลอกสิ่งแวดล้อม ทั้งหมด อินพุต ฉันพบข้อผิดพลาดหรือเข้าใจอะไรผิดหรือเปล่า