MPC with honest majority ($t<n/2$) ⇒ MPC with abort and honest majority ($t<n/2$)

Fully-black-box reduction · standard model · folklore · security loss: none

Statement

A protocol that securely computes $f$ with guaranteed output delivery against $t<n/2$ corruptions (honest majority, $t<n/2$) securely computes $f$ with abort against the same corruptions (honest majority with abort, $t<n/2$): the guaranteed-output-delivery simulator, submitting the default input itself wherever it would submit none, is a simulator for the ideal execution with abort that never aborts — folklore.