Giới thiệu về mô phỏng hủy bỏ trong tính toán nhiều bên

Tôi chưa quen với bằng chứng mô phỏng và hơi bối rối về việc hủy bỏ trong mô phỏng.

Khi hủy bỏ giao thức thời gian thực, tôi cho rằng quy trình lý tưởng cũng nên hủy bỏ? Điều này có nghĩa là trình giả lập trước tiên sẽ quan sát kết quả của giao thức thời gian thực, sau đó quyết định chạy cái gì để phá thai?

Xin lỗi, nó có thể hơi mơ hồ trong mô tả của tôi; đây là một ví dụ:

Khi trình mô phỏng lần đầu tiên đợi giao thức thời gian thực kết thúc và tạo kết quả, nếu kết quả bị hủy bỏ, thì trình mô phỏng sẽ chuẩn bị gửi thông báo của nó đến chức năng lý tưởng, để chức năng lý tưởng bị hủy bỏ.

Có phải nó giống như cách này, hoặc tôi đã hiểu sai?

Khi trình giả lập đang chạy, chúng ta đang ở trong trạng thái tương tác lý tưởng và không có tương tác trong thế giới thực. Có những thông báo trông giống như thông báo giao thức, nhưng những thông báo này chỉ tồn tại trong "sự tưởng tượng" kết hợp của trình giả lập + đối thủ.

Đối thủ trong thế giới thực nghĩ rằng nó đang chạy một phiên bản của giao thức trong thế giới thực. Trình mô phỏng gửi các thông báo giao thức giả tới đối thủ và cũng quan sát các thông báo giao thức do đối thủ gửi. Trình giả lập xem những gì đối thủ gửi và phải "giải thích" những thông điệp này có tác dụng gì sẽ có trong một bữa tiệc trung thực.

Giả sử kẻ thù gửi một số thông báo giao thức và trình giả lập suy ra "bất kể đầu vào là gì $x$ bên trung thực trong thế giới thực đã có, tại thời điểm này trong giao thức, họ sẽ xuất ra $f(x,y)$". Sau đó, trình giả lập sẽ gửi $y$ đến chức năng lý tưởng, để chức năng mang lại $f(x,y)$ đến bên trung thực thế giới lý tưởng. Tức là, thế giới thực và lý tưởng phù hợp với nhau. Nếu trình giả lập suy luận "tại thời điểm này trong giao thức, bên trung thực trong thế giới thực sẽ hủy bỏ", thì trình giả lập sẽ hướng dẫn hủy bỏ chức năng lý tưởng.