Nói chung, bằng chứng về bảo mật cho Tính toán nhiều bên an toàn dựa trên các Chức năng lý tưởng. Ví dụ, xem Định nghĩa 4.1 của hướng dẫn Trình mô phỏng này.
Tuy nhiên, trong một chương trình thông thường bằng ngôn ngữ lập trình hướng đối tượng, người ta không chỉ xử lý các hàm mà còn xử lý các đối tượng. Các đối tượng có chức năng, nhưng cũng có một số bộ nhớ liên tục.
Có thể thực hiện các đối tượng MPC. Ví dụ tờ giấy này thực hiện các mảng, từ điển và hàng đợi ưu tiên (tức là MPC). Trong những bộ nhớ này được duy trì theo cách chia sẻ bí mật được truy cập cho các truy vấn trong tương lai.
Tuy nhiên, dường như còn thiếu tính hình thức đối với các đối tượng này. Theo trực giác, một đối tượng MPC sẽ không tiết lộ bất kỳ thông tin nào nhiều hơn các cuộc gọi đến một số Đối tượng lý tưởng, đối tượng này chỉ trả về (chia sẻ bí mật) kết quả cho các truy vấn (chia sẻ bí mật) trên đối tượng. Việc mô tả một Đối tượng lý tưởng dưới dạng một chuỗi các cuộc gọi đến các Chức năng lý tưởng không hoạt động, bởi vì ở giữa các bên có được các phần cấu trúc dữ liệu tương quan và do đó, các chức năng phải được xác định tham chiếu đến bất kỳ cấu trúc dữ liệu nào được sử dụng, thay vì chỉ về các thuộc tính mong muốn của đối tượng.
Có bất kỳ chủ nghĩa hình thức nào trong tài liệu về cách chứng minh tính bảo mật của các đối tượng MPC không?
