Trong "Làm thế nào để mô phỏng nó" (trang 45, dòng 10), Lindell lưu ý rằng, trong $f_{\textsf{zk}}$-mô hình lai (trong đó $f_{\textsf{zk}}$ biểu thị chức năng không kiến thức lý tưởng) trong độc lập kiểu mẫu,
nếu đối thủ kiểm soát bên chạy câu tục ngữ, thì nó sẽ gửi trực tiếp cặp đầu vào và nhân chứng $(x, w)$ đến $f_{\textsf{zk}}$. Điều này có nghĩa là một trình mô phỏng chạy đối thủ trong nội bộ sẽ nhận được $(x, w)$ từ kẻ thù và do đó ngay lập tức có thông tin đầu vào và nhân chứng.
Hơn nữa, trên cùng một trang (đoạn thứ hai),
Tóm lại, trong mô phỏng, trình mô phỏng đóng vai bên đáng tin cậy tính toán chức năng được sử dụng trong mô hình kết hợp tương tác với đối thủ. Trình mô phỏng trực tiếp nhận đầu vào mà đối thủ gửi và có thể viết bất kỳ đầu ra nào mà nó thích.
Câu hỏi 1:
Làm thế nào để hiểu quy ước viết này từ quan điểm của mô hình thực thi với sự có mặt của các đối thủ nguy hiểm trong độc lập kiểu mẫu? Tôi biết rằng trình mô phỏng $\mathcal{S}$ có thể gọi nội bộ đối thủ trong thế giới thực $\mathcal{A}$ để đảm bảo rằng $\mathcal{S}$ làm việc cho tất cả $\mathcal{A}$'S. Vì vậy, trong độc lập mô hình, quy ước trên có nghĩa là $\mathcal{A}$ không thể phân biệt giữa chức năng lý tưởng "thực" $F$ bên trong $F$-mô hình lai và chức năng lý tưởng "mô phỏng" $F$ điều hành nội bộ bởi $\mathcal{S}$?
Câu hỏi 2:
Cho dù quy ước viết này giữ hay không trong UC đơn giản hóa (SUC) kiểu mẫu? Nói cách khác, trình giả lập có thể buộc đối thủ trong thế giới thực (giả) bên trong giao tiếp với chức năng lý tưởng được mô phỏng của nó một cách "vô thức" trong mô hình SUC không? Trong mô hình SUC, tất cả các kênh liên lạc đều được xác thực (SÚC, trang 7). Làm cách nào trình mô phỏng có thể có đối thủ nội bộ giao tiếp với chức năng lý tưởng được mô phỏng của nó?
Tóm lại, tôi tự hỏi liệu việc viết bằng chứng với quy ước được trích dẫn có phù hợp với mô hình thực thi trong mô hình SUC/độc lập hay không. Tôi sẽ thực sự đánh giá cao nếu bạn có thể cho tôi bất kỳ gợi ý nào về kỹ thuật chứng minh này.