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