SoK: General Purpose Compilers for Secure Multi-Party Computation

By Marcella Hastings, Brett Hemenway, Daniel Noble, Steve Zdancewic. 2019

186 citations recorded by the source corpus.

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. This type of computation is extremely powerful and has wide-ranging applications in academia, industry, and government. Protocols for secure computation have existed for decades, but only recently have general-purpose compilers for executing MPC on arbitrary functions been developed. These projects rapidly improved the state of the art, and began to make MPC accessible to non-expert users. However, the field is changing so rapidly that it is difficult even for experts to keep track of the varied capabilities of modern frameworks. In this work, we survey general-purpose compilers for secure multi-party computation. These tools provide high-level abstractions to describe arbitrary functions and execute secure computation protocols. We consider eleven systems: EMP-toolkit, Obliv-C, ObliVM, TinyGarble, SCALE-MAMBA (formerly SPDZ), Wysteria, Sharemind, PICCO, ABY, Frigate and CBMC-GC. We evaluate these systems on a range of criteria, including language expressibility, capabilities of the cryptographic back-end, and accessibility to developers. We advocate for improved documentation of MPC frameworks, standardization within the community, and make recommendations for future directions in compiler development. Installing and running these systems can be challenging, and 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.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Awni Y. Hannun
  2. L. V. D. van der Maaten
  3. Shobha Venkataraman
  4. Shubho Sengupta
  5. Brian Knott
  6. Mark Ibrahim
  7. Marcel Keller
  8. Ishan Misra

In Computational Theory and Mathematics

  1. Awni Y. Hannun
  2. L. V. D. van der Maaten
  3. Shobha Venkataraman
  4. Shubho Sengupta
  5. Brian Knott
  6. Mark Ibrahim
  7. Marcel Keller
  8. Christopher D. Manning

Citations in the corpus