cPIR ⇒ OT

cPIR implies OT.

Statement

Migrated verbatim from oblivious-transfer § Other results:

• OT is implied by non-trivial PIR — DMO00

Migrated verbatim from single-server-private-information-retrieval § Other results:

• Non-trivial PIR implies OT — DMO00

Notes

This relation is stated on 2 pages; the statements above are all of them.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• ‘non-trivial’ PIR is an unquantified qualifier on the hypothesis (DMO00 requires communication sublinear in the database size); the qualifier needs to survive the migration or the hypothesis is wrong.
• ‘Non-trivial’ (communication less than the trivial n-bit download) is a qualifier on the hypothesis that a flat slug loses; the page defines ‘trivial PIR’ at line 15, so the qualifier is at least anchored.