มีการแลกเปลี่ยนข้อมูลที่รวมการเข้ารหัสและทฤษฎีเกม ฉันสนใจที่จะทำความเข้าใจเกี่ยวกับสาขานี้ แต่มันค่อนข้างซับซ้อนสำหรับฉัน เริ่มต้นด้วยกระดาษของ บารานี ซึ่งแสดงให้เห็นว่าแทนที่จะมีกลไกรวมศูนย์ข้อมูลซึ่งคนกลางสามารถแจ้งให้ผู้เล่นทราบเกี่ยวกับกลยุทธ์ที่จะปฏิบัติตาม ผู้เล่นสามารถแทนที่คนกลางด้วยการแลกเปลี่ยนข้อมูลแบบกระจายอำนาจหากมีมากกว่าสี่คน สิ่งนี้ทำให้เกิดแนวคิดในการออกแบบโปรโตคอลของการสื่อสารซึ่งมีคุณสมบัติและกฎบางอย่างเช่นกัน ที่ผู้เล่นตามมาเพื่อแลกเปลี่ยนข้อมูลซึ่งอย่างน้อยจะให้ผลลัพธ์เดียวกันด้วยกลไกที่รวมศูนย์กับคนกลาง อย่างไรก็ตามบทความนี้ค่อนข้างเก่าและไม่ชัดเจนเกี่ยวกับวิธีสร้างโปรโตคอลเหล่านี้ นอกจากนี้ ยังมีเอกสารอีกสองฉบับคือ เฮลเลอร์และคณะ และ ฟอร์จ ที่ซึ่งพวกเขาจำลองขั้นตอนการพูดคุยราคาถูกสำหรับโปรโตคอลการแลกเปลี่ยนข้อมูล อย่างไรก็ตาม ฉันไม่เข้าใจแนวคิดหลายอย่างที่พวกเขาใช้ ตัวอย่างเช่น:
การคำนวณหลายฝ่ายที่ปลอดภัย - ทำไมพวกเขาถึงต้องการสิ่งนี้ สำหรับความเข้าใจของฉันผู้เล่นทุกคนเป็นผู้รับและผู้ส่งข้อความไม่ว่าจะพร้อมกันหรือส่งข้อความถึงกัน สมมติว่าเรามีผู้เล่นสี่คนของ Barany จากนั้นผู้เล่น $1$ จะส่งข้อความไปยังผู้เล่นอีกสามคนนั่นคือ $s_{1\to-1}$อย่างไรก็ตาม เธอจะได้รับข้อความจากผู้เล่นคนอื่นๆ ด้วยเช่นกัน $r_{-1\ถึง 1}$ และพวกเขาส่งข้อความเหล่านี้เป็นการส่วนตัว อย่างไรก็ตาม พวกเขาสามารถออกอากาศประกาศสาธารณะ นั่นคือสำหรับผู้เล่น $1$ ข้อความที่ผู้เล่นคนอื่นส่งถึงเธอและบางทีนี่อาจทำหน้าที่เป็นการตรวจสอบบางอย่างหากข้อความที่พวกเขาส่งเป็นไปตามกฎการยืนยัน ดังนั้นการคำนวณแบบหลายฝ่ายเกี่ยวข้องกับการแลกเปลี่ยนข้อความส่วนนี้และการมีอยู่ของกฎบางอย่างที่ตรวจสอบว่าผู้เล่นพูดความจริงหรือไม่?
รูปแบบการแพร่ภาพและการแบ่งปันความลับ ดูเหมือนจะเป็นส่วนหนึ่งของการคำนวณแบบหลายฝ่ายที่ปลอดภัยเช่นกัน แต่ความจริงที่ว่าการแบ่งปันความลับแบบส่วนตัวกับแต่ละคนนั้นทำให้ฉันสับสนในความคิดที่จะสร้างแบบจำลองโดยเฉพาะอย่างยิ่งเมื่อฉันอ่านว่าแผนการดังกล่าวกำลังใช้บางอย่าง การแก้ไขพหุนาม ให้ฉันชัดเจนยิ่งขึ้น สมมติว่าข้อความซึ่งก็คือข้อมูลที่พวกเขาแบ่งปันนั้นเป็นเรื่องเกี่ยวกับความมั่งคั่งของพวกเขา ซึ่งมักจะถูกสร้างแบบจำลองเป็นตัวแปรสุ่ม ตัวแทนมีประเภทในแบบจำลองทางเศรษฐกิจ และประเภทนี้อาจถูกจำกัดในตัวแปรสุ่มบางตัว $s_i\sim N(\mu_{s_i},\sigma_{s_i}^2)$ สำหรับทุกๆ $i$ หรือตำแหน่งของพวกเขาในตลาด ซึ่งมักจะเป็นผลรวมของตัวแปรสุ่ม ในกรณีนี้เราจะบอกได้อย่างไรว่าผู้เล่นจะแบ่งปันความลับนี้ $s=(s_1,s_2,s_3,s_4)$? พวกเขาจะแบ่งปัน "ประเภท" ของพวกเขากับคนอื่นหรือแม้แต่ข้อมูลเกี่ยวกับความมั่งคั่งทั้งหมดของพวกเขาโดยไม่โกหกกันได้อย่างไร ฉันคิดว่านั่นคือเหตุผลที่พวกเขาใช้กลยุทธ์การลงโทษในช่วงพูดคุยราคาถูกใช่ไหม ?
นอกจากนี้ เกมเหล่านี้ถือว่ามีเฟสมอนิเตอร์ซึ่งแสดงถึงประวัติของเกมซึ่งเป็นทรงกระบอกหรือผลิตภัณฑ์ $\sigma$-พีชคณิตของขั้นตอนก่อนหน้าของเกม
เราต้องการพิสูจน์การออกแบบโปรโตคอลที่ปลอดภัยเพื่อพิสูจน์ว่ากลไกไม่สามารถถูกควบคุมได้หรือไม่? นี่คือสิ่งที่เหมือนกับเกณฑ์ความเข้ากันได้ของสิ่งจูงใจที่ Myerson, Kreps และอื่น ๆ ใช้ในทฤษฎีเกมหรือไม่?
สรุปแล้ว ทั้งหมดนี้เป็นส่วนหนึ่งของทฤษฎีการนำไปปฏิบัติ และมีปัญหามากมายที่ฉันไม่สามารถเข้าใจได้ เช่น โปรโตคอลภูมิคุ้มกันต่อการเบี่ยงเบนหรือการโกหก และวิธีที่ข้อความที่แบ่งปันแบบส่วนตัวถูกเข้ารหัส-ถอดรหัสด้วยการเปลี่ยนแปลง ฯลฯ แต่คำถามของฉันจะไม่สิ้นสุด สิ่งที่ฉันต้องการคือการเข้าใจว่าเหตุใดเราจึงต้องการคุณลักษณะเหล่านี้ และฉันพบบทความง่ายๆ ที่กล่าวถึงคุณสมบัติที่โปรโตคอลของการสื่อสารต้องมีเมื่อไม่มีคนกลางอยู่