MPC ⇒ OT

MPC implies OT.

Statement

Migrated verbatim from secure-multi-party-computation § Other results:

• MPC implies OT in a black-box way for certain non-trivial functionalities — BH26

Notes

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

• ‘for certain non-trivial functionalities’ is an unquantified side condition the hyperedge cannot carry; the hypothesis is really ‘MPC for a specific class of functionalities’, not MPC in general.
• Together with line 61 this asserts an equivalence OT ⇐> MPC that the page never states as such.