Score:4

การแบ่งปันความลับเพื่อให้ผู้ถือหุ้นทุกคนสามารถเข้าถึงความลับได้ (ผู้ถือหุ้นรายเดียวไม่สามารถหนีไปพร้อมกับหุ้นได้)

ธง in

สมมติว่าคุณแบ่งความลับโดยใช้รูปแบบพหุนามของ Shamir $x$ ท่ามกลาง $n$ คน (แต่ละคนได้รับ "แบ่งปัน" ของความลับ) ที่คุณต้องการทั้งหมด $n$ หุ้นกู้ความลับ. เราจะมั่นใจได้อย่างไรว่าทั้งหมด $n$ ผู้เข้าร่วมจะสามารถเข้าถึงความลับได้ เช่น. กับคนสองคนคือบ็อบและอลิซ อลิซสามารถบอกบ็อบถึงส่วนแบ่งของเธอได้ และบ็อบก็รับไว้และเปิดความลับโดยไม่เปิดเผยส่วนแบ่งของเขา คุณมั่นใจได้อย่างไรว่าผู้ถือหุ้นทุกคนจะสามารถเปิดความลับได้ หรือไม่มีเลย?

ฉันต้องการคำตอบสำหรับปัญหาที่คล้ายคลึงกันนี้: อลิซและบ็อบต่างมีความลับของตัวเอง $a$ และ $ข$ ตามลำดับ พวกเขาจะมั่นใจได้อย่างไรว่าทั้งคู่เข้าถึงความลับของอีกฝ่ายได้ ตรงข้ามกับเช่น อลิซบอกความลับของเธอกับบ็อบ และบ็อบก็วิ่งหนีไปโดยไม่บอกความลับของเขากับอลิซ หากจำเป็น คุณสามารถยืนยันว่าความลับมีคุณสมบัติบางอย่าง (เช่น. $a$ เป็นคำตอบของสมการบางอย่าง $f(a)\equiv 0$).

สำหรับปัญหาทั้งหมดนี้ ฉันต้องการวิธีแก้ปัญหาที่ไม่เกี่ยวข้องกับบุคคลที่สาม เป็นไปได้ไหม?

Score:3
ธง cn

คุณกำลังมองหาการแลกเปลี่ยนแบบดั้งเดิมที่ยุติธรรม (การสร้างหุ้นขึ้นใหม่อย่างยุติธรรมเป็นตัวแปรที่ซับซ้อนกว่าเล็กน้อย ฉันจะมุ่งเน้นไปที่คำตอบเดิมในคำตอบนี้) มีงานวิจัยมากมายเกี่ยวกับเรื่องนี้ บรรทัดล่างคือ:

  • ในรูปแบบมาตรฐานของการคำนวณที่ปราศจากเสียงข้างมากโดยสุจริต และไม่มีบุคคลที่สามที่เชื่อถือได้ การแลกเปลี่ยนที่ยุติธรรมจะเป็นไปไม่ได้ (seminal result ที่นี่, ผลงานล่าสุดบางส่วน ที่นี่).
  • อย่างไรก็ตาม ด้วยรูปแบบ TTP ที่จำกัดมาก (ซึ่งมองไม่เห็นอะไรเลยและจะใช้เมื่อเกิดข้อผิดพลาดเท่านั้น) จึงเป็นไปได้ คีย์เวิร์ดคือ การแลกเปลี่ยนที่ยุติธรรมในแง่ดี (ที่นี่ หรือ ที่นี่).
  • ด้วยกลุ่มคนส่วนใหญ่ที่ซื่อสัตย์และเคร่งครัด การคำนวณที่ปลอดภัยอย่างยุติธรรมทั่วไปจึงเป็นไปได้

จากนั้น มีวิธีแก้ไขที่แยบยลอื่น ๆ ที่เบี่ยงเบนไปจากรูปแบบการคำนวณมาตรฐาน:

  • คุณสามารถใช้สมมติฐานเกี่ยวกับเวลาและแบบพื้นฐาน เช่น ปริศนาล็อกเวลา หรือการผูกมัดแบบหมดเวลา ให้ฉันยกตัวอย่างง่ายๆ ให้คุณ: สมมติว่าอลิซและบ็อบมีความลับที่เกี่ยวข้องกัน $a$ และ $ข$. พวกเขาแลกเปลี่ยนคำมั่นสัญญากันก่อน $c_a$ และ $c_b$ เพื่อป้อนข้อมูลของพวกเขา จากนั้นพวกเขาจะ ค่อยๆอ่อนลง การเปิดข้อผูกมัด - คิดเกี่ยวกับเช่น ปล่อยข้อมูลการเปิดทีละบิตเป็นรอบ จากนั้น คุณจะได้รับการรับประกันต่อไปนี้ ซึ่งไม่ยุติธรรมนัก แต่ก็ดีพอ: สมมติว่า Bob แท้งลูกก่อนกำหนด และจัดการเพื่อกู้คืน $a$ โดยเดรัจฉานบังคับส่วนที่หายไปของช่องให้ทันเวลา $T$. จากนั้นอลิซจะมีข้อมูลเกือบเท่าบ็อบเสมอ จนถึงบิตเดียว (เนื่องจากทั้งสองฝ่ายแลกเปลี่ยนบิตเดียวต่อรอบ) ดังนั้นเธอจึงสามารถฟื้นตัวได้ $ข$ ในเวลามากที่สุด $2T$.

สิ่งก่อสร้างที่เกี่ยวข้องมากขึ้นพยายามทำให้แน่ใจว่า "เวลากำลังเดรัจฉาน" จำเป็นต้องเป็นไปตามลำดับ ดังนั้นแม้ว่าผู้โกงจะมีพลังในการคำนวณจำนวนมาก แต่ก็ไม่สามารถเร่งความเร็วได้อย่างมีนัยสำคัญ ดูรายละเอียดเพิ่มเติม ที่นี่ - มีการติดตามผลมากมาย

ข้อเสียของวิธีแก้ปัญหานี้คือไม่มีขอบเขตบนสำหรับฝ่ายที่ซื่อสัตย์ที่มีอำนาจอาจต้องลงทุน: หากฝ่ายตรงข้ามเต็มใจที่จะใช้เวลามหาศาล $T$แล้วฝ่ายที่ซื่อสัตย์ต้องใช้เวลามากกว่านั้นสองเท่า สิ่งนี้สามารถแก้ไขได้หากคุณเต็มใจที่จะชำระ ความเป็นธรรมบางส่วนซึ่งคุณโอเคกับความน่าจะเป็นเล็กน้อย $1/n$, ที่ไหน $n$ เป็นพหุนามที่ฝ่ายตรงข้ามทำลายความเป็นธรรม ในการตั้งค่านี้ เราแสดงให้เห็นใน กระดาษแผ่นนี้ คุณจะได้รับโปรโตคอลการแลกเปลี่ยนที่ยุติธรรม (บางส่วน) พร้อมขอบเขตที่ชัดเจนเกี่ยวกับการคำนวณสูงสุดที่ผู้เข้าร่วมอาจต้องลงทุน (แม้ว่าจะมีคนโกงก็ตาม)

  • หรือคุณสามารถแทนที่ TTP โดยใช้ blockchain เป็นสมมติฐานที่ไว้วางใจได้ ในแง่หนึ่งสิ่งนี้ทำให้ TTP กระจายอำนาจ ข้อเสนอบางอย่างตามแนวทางเหล่านี้สามารถนำไปใช้ได้จริงบน Ethereum blockchain จุดเริ่มต้นของสายงานนี้คือ กระดาษแผ่นนี้.

  • รูปแบบต่างๆ ข้างต้นใช้สิ่งจูงใจทางการเงิน ด้วยสัญญาอัจฉริยะที่รับประกันว่าคุณเล่นอย่างซื่อสัตย์และยุติธรรม หรือคุณจะเสียเงิน (ที่นี่ เป็นตัวอย่างจากสายงานนี้ แม้ว่าฉันไม่คิดว่ามันกล่าวถึงความยุติธรรมอย่างชัดเจน)

บทนำสู่เอกสารของฉัน ที่นี่ ให้การสนทนาและคำแนะนำเพิ่มเติม ซึ่งคุณอาจพบว่าสนใจ

in flag
ฉลาดหลักแหลม! คำถามด่วน: สำหรับรูปแบบการเปิดเผยข้อมูลทีละบิต อลิซยังคงเสี่ยงที่จะส่งบิตปลอมตลอดเวลา และหนีไปพร้อมกับบิตที่ซื่อสัตย์ของบ็อบในตอนท้ายหรือไม่
Geoffroy Couteau avatar
cn flag
แน่นอนว่ามันคือ งานข้างต้นในรูปแบบกึ่งซื่อสัตย์ แต่คุณสามารถปรับปรุงได้เช่น ด้วยการพิสูจน์ ZK ว่าช่องเปิดบางส่วนเป็นช่องเปิดบางส่วนที่ถูกต้อง หรือใช้วิธีการมาตรฐานอื่นใดเพื่อให้ได้ความปลอดภัยที่เป็นอันตรายจากโปรโตคอลกึ่งซื่อสัตย์ ประเด็นคือความยุติธรรมเป็นสิ่งที่ยากที่จะบรรลุ แต่การบังคับใช้พฤติกรรมที่ซื่อสัตย์ (นอกเหนือจากการยกเลิก) คือ "การเข้ารหัสลับมาตรฐาน"

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา