tính toán an toàn không tương tác với một bước ngoặt?

Nếu Alice là người duy nhất nói, nhưng Bob có thể học đầu ra, thì giao thức phải bị rò rỉ nhiều hơn là chỉ $f(x,y)$. Nhìn thấy:

Halevi, Lindell, Pinkas: Tính toán an toàn trên web: Tính toán không có tương tác đồng thời

Về cơ bản, Bob có thể chọn nhiều $y_i$ các giá trị và chạy lại giao thức để tìm hiểu nhiều giá trị khác nhau $f(x,y_i)$ đầu ra. Vì Bob không bao giờ nói trong giao thức nên anh ấy có thể làm tất cả những điều này "trong đầu" mà không cần sự tham gia của Alice. Vì vậy, điều tốt nhất bạn có thể hy vọng là giao thức không rò rỉ cho Bob nhiều hơn là một lời tiên tri cho chức năng còn lại $f(x,\cdot)$.

Đối với một số chức năng $f$, đạt được rò rỉ "tốt nhất có thể" này là không thể. Định lý 2.3 của bài báo có ví dụ (trong đó $f$ là một hàm giả ngẫu nhiên và $x$ là hạt giống của nó). Đối với các chức năng khác, rò rỉ "tốt nhất có thể" tương đương với việc chỉ đưa ra $x$ trong Rõ ràng.Vì vậy, không phải lúc nào bạn cũng có thể nhận được những gì rõ ràng từ mô hình tương tác hạn chế này.