SOK：安全多方计算的通用编译器

写在前面

翻译计划第二弹发布, 此次给大家带来的是《SoK: General Purpose Compilers for SecureMulti-Party Computation》文章的翻译, 相信对于研究MPC工程应用的小伙伴能够从中获取到有用知识信息.

感谢此次参与翻译的小伙伴: starry(摘要、第一章), 夕月一弯(第二章), 松山(第三章), 宋小宋(第四章、第五章)、Shirley杨(第六章-前五节)、林立可(第六章-后六节), 栾某人(第七章), 云中雨雾、六三(审稿)

此外, 请关注我们的官方账号,及时获取相关前沿知识:

• 公众号 “开放隐私计算” - 聚焦隐私计算产业界发展;
• 知乎号 “六三” - 聚焦 MPC、FHE 理论与应用研究发展;
• 知乎号 “lokinko” - 聚焦 FL 理论与应用研究发展;
• 知乎号 “开放隐私计算” - 聚焦隐私计算产业界发展;

摘要

安全多方计算（MPC）允许一组互不信任的参与方，基于其输入计算一个联合函数，计算期间不泄露除计算结果之外的任何信息。这种类型的计算非常强大，在学术界、工业界和政府有广泛的应用。用于安全计算的的协议已经存在几十年了，但是直到最近才有能在任意函数上执行 MPC 的通用编译器被开发出来。这些工作迅速提高了技术水平，并开始使得非专业用户能够使用MPC。然而这个领域变化太快，以至于即使是专家也很难能掌握最新框架的各种功能。

在本文中，我们调研了用于安全多方计算的通用编译器。这些工具提供了描述任意函数的高级抽象概念，并能执行安全计算协议。我们考虑了七个系统：EMP-toolkit，Obliv-C，ObliVM，TinyGarble，SC