Multidimensional Evaluation of LLM-Generated MPC Programs
Large language models can generate programs that compile and pass functional tests, but these outcomes are insufficient for evaluating code in secure multi-party computation (MPC). MPC programs must also follow the target interface's programming constraints, implement the requested algorithm, and satisfy the stated sec...