FHE-Based MPC