DPF ⇒ IT-PIR

DPF implies IT-PIR.

Statement

Migrated verbatim from distributed-point-function § Other results:

Notes

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

  • The conclusion is a section-scoped object ([[multi-server-private-information-retrieval#computational-multi-server-pir|Computational Multi-server PIR]]) — the anchor resolves (that heading exists at line 36 of the target page), but the relation’s endpoint is a subsection, not a page, which the target model must be able to name.