机器学习隐私保护-MPC通用编译器

安全多方计算通用编译器

一：Abstract摘要

      1.安全多方计算功能:Secure multi-party computation (MPC) allows a group of mutually distrustful parties to compute a joint function on their inputs without revealing any information beyond the result of the computation（安全的多方计算（MPC）允许
一组互不信任的各方，可以根据其输入来计算一个联合函数，而不会透露任何超出计算结果的信息）

      2.文章工作:We consider eleven systems: EMP-toolkit, Obliv-C, ObliVM, TinyGarble, SCALE-MAMBA (formerly SPDZ), Wysteria, Sharemind, PICCO, ABY, Frigate and CBMC-GC（调查了11个安全多方计算的框架，进行了一些对比(language expressibility, capabilities of the cryptographic back-end, and accessibility to developers)语言的可表达性，加密后端的功能以及
开发人员可访问性。）

      3.文章工作2:for each system, we also provide a complete virtual environment (Docker container) with all the necessary dependencies to run the compiler and our example programs.(创建了一个github资源库，里面有这11个框架的代码、有样例还有相关的文档信息)

二：INTRODUCTION引言

      第一段介绍了MPC的一个功能。第二段介绍了MPC的应用。第三段介绍了一下MPC技术主要是因为计算和通信复杂度的效率太低而无法在工业中使用。第四段介绍了对于特定内容所设计的高效MPC协议不能成为可扩展的解决方案。第五段介绍了通用MPC编译器可以减轻设计多个自定义协议和让非专业人员使用。第六段介绍了MPC编译器遇到的挑战:1.分布式效率本身就很难，2.编译器和密码方案的优化3.可用性:灵活，直观，简单 4.电路优化:有浮点计算，协议选择:选择最佳协议用于特定计算。第七段介绍了第一个MPC编译器:Fairplay。基本架构高级语言编写--转换为电路格式--使用安全协议执行电路。第8，9段介绍了一下努力的结果。第9段介绍了本文的目的是为新的mpc编译器提供指南和适用的读者(开发安全计算人员,了解最新实用技术的密码学家,了解现有技术局限性并确定新研究方向的编译器设计师,公司决策人员)。第10段介绍它们做了哪些工作（1.mpc必要技术，2.最新mpc框架+评估(更注意可用性而不是性能)3.每个案例做了三个小实验,4.提出了未来mpc编译器的研究方案）。第11段介绍了为了使其他人简单尝试创建了了俩个github库(1.一组Docker容器，每个容器提供一个开发环境，该环境配置了每个MPC框架所需的软件基础结构，以及我们的测试用例的可执行示例2.一个Wiki页面，该页面收集了此处提供的大部分评估以及有关每个框架的其他文档)

     准备工作:1.调查安全计算工具，定义一个度量方法(a maturity taxonomy)

                      2.调查不同威胁模型，外包计算技术

                     3.mpc框架调查

                      4.Drago Rotaru. awesome-mpc. https://github.com/rdragos/awesome-mpc 2018.：mpc信息库提供了最新的编译器，后端和专用协议列表，其中包含简短的内容每个的描述。

作者创建的  https://github.com/MPC-SoK/frameworks

三：CRYPTOGRAPHIC BUILDING BLOCKS

          本章简单的描述了一下共有的密码学技术

         1.Secret Sharing(秘密共享)：

                 有关秘密共享的调查看这篇论文：Amos Beimel. Secret-Sharing Schemes: A Survey. In YeowMeng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, and Chaoping Xing, editors, Coding and Cryptology, volume 6639 of Lecture Notes in Computer Science, pages 11–46. Springer Berlin Heidelberg, 2011.