ฉันกำลังพิจารณาคำถามต่อไปนี้และขอขอบคุณสำหรับความช่วยเหลือใดๆ
การกำหนดปัญหา:
สมมติว่าอลิซมีค่าความลับ $x$ และมีฟังก์ชันภาคแสดงบูลีนสาธารณะ $\texttt{Pred}$ ที่ใช้กับ $x$, $\texttt{Pred}: x \rightarrow \{0,1\}$. ฟังก์ชันเพรดิเคตตัวอย่างสามารถเป็นได้ทั้งอินพุต $x$ อยู่ในช่วงที่กำหนดหรือไม่
ตอนนี้อลิซคำนวณ $y\gets\texttt{Pred}(x)$แต่แทนที่จะเผยแพร่ $y$มันเผยแพร่การเข้ารหัสของ $y$, $\texttt{Enc(y)}$ หรือผูกมัดกับค่านี้ $\texttt{comm}_y$. เป็นไปได้หรือไม่ที่อลิซจะพิสูจน์ว่าค่าที่เข้ารหัสหรือค่าที่ผูกมัดนั้นคำนวณได้อย่างถูกต้องโดยการประเมิน $\texttt{Pred}$ เกิน $x$ โดยไม่ต้องเปิดเผย $x$ และ $y$?
(โปรดตั้งสมมติฐานเพิ่มเติมหากจำเป็นเพื่อแก้ปัญหานี้)
ใช่ เป็นไปได้ แต่คุณต้องหาสมการ $E_1, E_2$ ซึ่งช่วยให้คุณตรวจสอบ: $$\texttt{Enc}(y)=c \iff E_1(y, c) $$ $$\texttt{Pred}(x) = y \iff E_2 (x,y) $$
จากนั้นคุณต้องค้นหาระบบพิสูจน์ความรู้ที่ไม่มีความรู้ซึ่งอนุญาตให้คุณพิสูจน์สมการเช่น $E_1, E_2$. ตัวอย่างเช่น หากสมการเหล่านี้อยู่ในบริบทกลุ่มทวิเนียร์ Groth-Sahai จะเหมาะสมที่สุด : https://eprint.iacr.org/2007/155
หรือถ้า $E_1$ และ $E_2$ เป็นวงจร คุณสามารถดูสิ่งนี้: https://eprint.iacr.org/2017/872.pdf
ps : ในกรณีของคุณ เนื่องจากไม่มีข้อมูลสาธารณะเกี่ยวกับ x; ดูเหมือนง่ายที่จะโกงด้วยความเท็จ $x$แต่ฉันถือว่าคุณได้คิดเกี่ยวกับเรื่องนี้แล้ว
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
