สิ่งเหล่านี้เป็นพื้นฐานที่เทียบเท่ากัน สมมติ การมีอยู่ของฟังก์ชันทางเดียวซึ่งหมายถึง $\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