Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure

Abstract—We describe and present a prototype of a distributed computational infrastructure and asso-ciated high-level programming language that allow multiple parties to leverage their own computational resources capable of supporting MapReduce [1] oper-ations in combination with multi-party computation (MPC). Our architecture allows a programmer to au-thor and compile a protocol using a uniform collec-tion of standard constructs, even when that protocol involves computations that take place locally within each participant’s MapReduce cluster as well as across all the participants using an MPC protocol. The high-level programming language provided to the user is accompanied by static analysis algorithms that allow the programmer to reason about the efficiency of the protocol before compiling and running it. We present two example applications demonstrating how such an infrastructure can be employed. I