We have therefore shown that for ea

We have therefore shown that for each party there exists a simulator that given the party’s input and
the output decision tree, generates a string that is computationally indistinguishable from the party’s
view in a real execution. (In fact, in the oracle-aided protocol, the view generated by the simulator is
identically distributed to that of a real execution.) This completes the proof.

Kết quả (Việt) 1:

Chúng tôi do đó đã chỉ ra rằng đối với mỗi bên có tồn tại một giả lập đó cho các bên của đầu vào vàcây quyết định đầu ra, tạo ra một chuỗi là computationally không thể phân biệt từ các bênxem trong một thực hiện thực. (Trong thực tế, trong giao thức hỗ trợ oracle, giao diện được tạo ra bởi trình mô phỏng đấu làhệt phân phối của một thực hiện thật.) Điều này hoàn thành bằng chứng.

Kết quả (Việt) 2:

Do đó chúng tôi đã chỉ ra rằng đối với mỗi bên có tồn tại một giả lập mà cho đầu vào của đảng và
cây quyết định đầu ra, tạo ra một chuỗi đó là tính toán không thể phân biệt từ bên
trong nhìn một thi thực sự. (Trong thực tế, trong các giao thức oracle-hỗ trợ, quan điểm được tạo ra bởi các mô phỏng được
phân bố giống hệt như của một thi thực tế.) Điều này hoàn thành bằng chứng.