MPC ⇒ 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 unanimous abort against $n-1$ corruptions (security with abort) securely computes $f$ with abort against every $t<n/2$ corruptions (honest majority with abort, $t<n/2$), since those corrupted sets are among the former, and unanimous abort is the case of selective abort in which the simulator withholds every honest party’s output or none — folklore.