Điểm:1

Tại sao trình mô phỏng có thể lấy đầu vào của bên bị hỏng cho một số chức năng lý tưởng của chương trình con $F$ "miễn phí" trong mô hình $F$-hybrid?

lá cờ in

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.

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.