ฉันมีปัญหากับรูปแบบการเข้ารหัส
มี 2 องค์ คือ $A$ และ $B$. $A$ ให้ข้อความง่ายๆ $m \ใน [0,1]$ ถึง $B$. $B$ ควรสร้างข้อความที่เข้ารหัสของ $m$: $e=Enc_{pk}(ม)$ ดังนั้น $A$ สามารถตรวจสอบได้ว่า $B$ ได้เข้ารหัสข้อความที่สร้างขึ้นอย่างถูกต้อง $A$ โดยไม่ต้องดัดแปลง แต่ในขณะเดียวกัน, $e$ ไม่ควรเปิดเผยข้อมูลใด ๆ ที่สามารถใช้ประโยชน์ได้ $A$ เพื่อแสดงคุณค่าของข้อความ $m$ ใน $e$. (คีย์ถอดรหัส $sk$ ไม่เป็นที่รู้จักโดยทั้งสอง $A$ หรือ $B$)
โดยพื้นฐานแล้ว เป้าหมายคือการมีข้อความที่เข้ารหัส $A$ ตรวจสอบได้เฉพาะเนื้อหาว่ามีอะไรบ้าง $A$ สร้างขึ้นเอง (เช่น ด้วยลายเซ็น) แต่ไม่สามารถแสดงให้ทุกคนเห็นถึงค่าธรรมดาที่มีประสิทธิภาพ
ไม่มีข้อจำกัดเฉพาะในโปรโตคอล ดังนั้นจึงสามารถใช้ข้อมูลเพิ่มเติม เช่น ลายเซ็นหรือพยานได้
คุณรู้สคีมาใดที่สามารถแก้ไขสถานการณ์นี้ได้หรือไม่?
คิดว่าสามารถแก้ไขได้โดยใช้โครงสร้างการรักษารูปแบบการเข้ารหัส/ลายเซ็น (ผมหมายถึงรูปแบบที่เข้ากันได้กับระบบพิสูจน์ ZK ที่คุณต้องการใช้)
แนวคิดทั่วไปคืออลิซจะลงนามในข้อความและจะส่งลายเซ็น $\sigma$ ถึง Bob จากนั้น Bob จะส่งข้อความ $m$และลายเซ็น $\sigma$ และจะสร้างข้อพิสูจน์ ZK ว่า $e$ ประกอบด้วย $m$, และ $\sigma$ เป็นลายเซ็นที่ถูกต้องสำหรับ $m$ ตามรหัสยืนยันสาธารณะของอลิซ
เพราะอลิซเซ็นเพียงข้อความเดียว เธอจึงมั่นใจได้ $(com_m, com_\sigma)$ ประกอบด้วย $(m, \sigma)$ (และด้วยเหตุนี้ $e = Enc_{pk}(ม)$).
แต่เนื่องจากการพิสูจน์ไม่มีความรู้ $Enc(ม)$ แยกไม่ออกจากข้อความอื่นที่อาจลงนามโดยอลิซ (แม้แต่รหัสลับการลงนามของอลิซก็ถูกเปิดเผย) ดังนั้นอลิซจึงไม่สามารถโน้มน้าวใจใครเกี่ยวกับคุณค่าที่แท้จริงได้ $Enc(ม)$.
คุณสามารถใช้ตัวอย่างเช่น ระบบพิสูจน์อักษร Groth-Sahaiโดยมี El Gamal เป็นโครงร่างการเข้ารหัส และ ลายเซ็นเหล่านี้.
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
