Going Beyond Dual Execution: MPC for Functions with Efficient Verification

Posted by