โดยทั่วไป การพิสูจน์ความปลอดภัยสำหรับการประมวลผลแบบหลายฝ่ายที่ปลอดภัยจะขึ้นอยู่กับฟังก์ชันการทำงานในอุดมคติ ตัวอย่างเช่น ดูคำจำกัดความ 4.1 ของ บทช่วยสอน Simulator นี้.
อย่างไรก็ตาม ในโปรแกรมปกติในภาษาการเขียนโปรแกรมเชิงวัตถุ ข้อตกลงหนึ่งไม่ได้เกี่ยวข้องกับฟังก์ชันเท่านั้น แต่กับวัตถุด้วย อ็อบเจกต์มีหน้าที่ แต่ก็มีหน่วยความจำถาวรด้วย
เป็นไปได้ที่จะใช้วัตถุ MPC ตัวอย่างเช่น กระดาษแผ่นนี้ ใช้อาร์เรย์ พจนานุกรม และคิวลำดับความสำคัญที่หลงลืม (เช่น MPC) ในหน่วยความจำเหล่านี้ยังคงอยู่ในลักษณะที่ใช้ร่วมกันอย่างลับๆ ซึ่งเข้าถึงได้สำหรับการค้นหาในอนาคต
อย่างไรก็ตาม ดูเหมือนว่ายังขาดความเป็นทางการสำหรับวัตถุเหล่านี้ โดยสังหรณ์ใจแล้ว ออบเจ็กต์ MPC ไม่ควรเปิดเผยข้อมูลใด ๆ มากกว่าการเรียกไปยังออบเจกต์ในอุดมคติ ซึ่งส่งคืนเฉพาะ (การแชร์แบบลับของ) ผลลัพธ์ไปยังการสืบค้น (การแชร์แบบลับ) บนออบเจ็กต์ การอธิบายวัตถุในอุดมคติเป็นลำดับของการเรียกไปยังฟังก์ชันในอุดมคตินั้นใช้ไม่ได้ เนื่องจากในระหว่างทั้งสองฝ่ายได้รับส่วนแบ่งที่สัมพันธ์กันของโครงสร้างข้อมูล ดังนั้นฟังก์ชันการทำงานจึงต้องถูกกำหนดโดยอ้างอิงถึงโครงสร้างข้อมูลใดก็ตามที่ใช้ แทนที่จะเป็นเพียง ในด้านคุณสมบัติของวัตถุที่ต้องการ
มีระเบียบแบบแผนในวรรณกรรมสำหรับวิธีการพิสูจน์ความปลอดภัยของวัตถุ MPC หรือไม่?