ฟังก์ชั่นทางเดียวกับภาระผูกพันที่มีผลผูกพันอย่างสมบูรณ์

ถ้า OWFs มีอยู่ความมุ่งมั่นของบิตผูกพันทางสถิตินั้นเป็นไปได้ [1]

เป็นที่รู้กันหรือไม่ว่าถ้ามี OWF อยู่แล้วการผูกพันบิตที่สมบูรณ์แบบนั้นเป็นไปได้?
ถ้าไม่มีกล่องดำที่รู้จักกันแยกระหว่างกันหรือไม่?


[1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theoremและ
http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

ในงานล่าสุดของ Rafael Pass แสดงให้เห็นว่าหากไม่มีข้อสันนิษฐานเพิ่มเติมที่ซับซ้อนของ Barak-Ong-Vadhan ภาระผูกพันแบบไม่โต้ตอบไม่สามารถใช้ฟังก์ชันทางเดียวในแบบกล่องดำ ในความเป็นจริงแม้จะมีสมมติฐานพิเศษเหล่านี้ (เมื่อทำเป็นกรงเล็บเป็นบางส่วนของคุณสมบัติการกดปุ่มที่คาดว่านอกเหนือไปจากทางเดียว) ยังคงแยกกล่องดำถือ:

http://eprint.iacr.org/2012/523.pdf

(การก่อสร้าง Barak-Ong-Vadhan ไม่ใช่แบบกล่องดำ)

สำหรับคำตอบที่เป็นบวกสำหรับคำถามนี้ภายใต้สมมติฐานเชิงความซับซ้อนเชิงทฤษฎีเพิ่มเติมดูบทความ "Derandomization in Cryptography" โดย Barak, Ong และ Vadhan