OT ⇒ OIHF

Standard model · BH26

Statement

OT implies an OIHF — BH26.

Notes

• Conversely, an OIHF implies OT via a non-black-box reduction (OIHF ⇒ OT) — BH26.
• OIHFs also exist relative to a random oracle (ROM ⇒ OIHF), but in the standard model they are known only from Cryptomania assumptions such as OT — BH26.