Simulation proofs are used in many areas of cryptography, but they’re especially critical for MPC. This paper helped me wrap my head around what simulation-based definitions actually mean, why they’re used, and how the proofs work.