Compute, but Verify: Efficient Multiparty Computation over Authenticated InputsMoumita DuttaChaya Ganeshet al.2024AsiaCrypt 2024