COM ⇒ Two-party computation (2PC)
COM implies Two-party computation (2PC).
Statement
Migrated verbatim from secure-multi-party-computation § Other results:
Notes
class: unstated: no citing page says which notion of reduction is meant.
Recording a class the wiki does not state would add a claim.
Recorded during migration and not fixed — these are claims about the source text, not changes to it:
- SUSPECTED ERROR (reported, not fixed): commitments are complete for compiling semi-honest protocols into malicious-secure ones (the GMW compiler); the completeness result for semi-honest two-party computation is OT, not commitment. Commitments live in Minicrypt and are not believed to imply 2PC/OT, so ‘COM is complete for two-party computation in the semi-honest model’ looks wrong as stated.
- Conclusion ‘two-party-computation’ is an alias/section, not its own page.