ความยุ่งเหยิงที่แยกไม่ออกจากการเข้ารหัสการทำงาน

อะไรคือความแตกต่างระหว่างการเข้ารหัสตามหน้าที่กับการทำให้งงงวยที่แยกไม่ออก? หนึ่งในนั้นมีความปลอดภัยที่แข็งแกร่งกว่าที่อื่นหรือไม่?

สิ่งเหล่านี้เป็นพื้นฐานที่เทียบเท่ากัน สมมติ การมีอยู่ของฟังก์ชันทางเดียวซึ่งหมายถึง $\mathbf{P}\neq\mathbf{NP}$$^*$. มันถูกแสดงใน [G+,SW] ว่า IO บวก OWFs หมายถึงคีย์สาธารณะ FE$^{**}$ ในทางกลับกัน FE คีย์สาธารณะที่ปลอดภัยย่อยแบบทวีคูณ (พร้อมคุณสมบัติรวบรัดบางอย่าง) หมายถึง IO แสดงใน [BV]

ในทางกลับกัน ตามที่ระบุในความคิดเห็นโดย @integrator ถ้า $\mathbf{P}=\mathbf{NP}$ จากนั้น IO มีอยู่ (เพียงเลือกวงจรที่เล็กที่สุด / พจนานุกรมแรกซึ่งคำนวณฟังก์ชันเดียวกัน) แต่ FE (ซึ่งหมายถึง PKE) ไม่มี

$^*$เท่านี้ก็สบายใจได้ $\mathbf{NP}\not\subseteq \mathbf{io}- \mathbf{BPP}$ ใน [K+]

$^{**}$[G+] ถือว่า PKE และ NIZK นอกเหนือจาก IO สิ่งเหล่านี้แสดงให้เห็นในภายหลังโดย IO และ OWFs [SW]

[BV] บิแทนสกี้ และ ไวคุนทานาธาน การแยกไม่ออกทำให้งงงวยจากการเข้ารหัสการทำงาน,ฟอซ'15

[G+] การ์กและคณะ ความสามารถในการแยกแยะไม่ออกของ Candidate และการเข้ารหัสการทำงานสำหรับวงจรทั้งหมด, FOCS'13.

[K+] โคมาร์ก็อดสกี้ และคณะ ฟังก์ชันทางเดียวและ (Im) การทำให้งงงวยที่สมบูรณ์แบบ, FOCS'14

[สว.] สหัยและน้ำ, วิธีใช้การทำให้สับสนที่ไม่สามารถแยกแยะได้: การเข้ารหัสที่ปฏิเสธได้ และอื่นๆ,สตอค'14