Valerio Pastro

Multiparty Computation from Somewhat Homomorphic Encryption

We propose a general multiparty computation protocol secure against an active adversary corrupting up to

Efficiently Verifiable Computation on Encrypted Data

n-1

Robust Secret Sharing Schemes Against Local Adversaries

of the n players. The protocol may be used to compute securely arithmetic circuits over any finite field

Verifiable Computation over Encrypted Data in the Presence of Verification Queries.

\mathbb {F}_{p^k}

Practical Covertly Secure MPC for Dishonest Majority - Or: Breaking the SPDZ Limits

. Our protocol consists of a preprocessing phase that is both independent of the function to be computed and of the inputs, and a much more efficient online phase where the actual computation takes place. The online phase is unconditionally secure and has total computational and communication complexity linear in n, the number of players, where earlier work was quadratic in n. Moreover, the work done by each player is only a small constant factor larger than what one would need to compute the circuit in the clear. We show this is optimal for computation in large fields. In practice, for 3 players, a secure 64-bit multiplication can be done in 0.05 ms. Our preprocessing is based on a somewhat homomorphic cryptosystem. We extend a scheme by Brakerski et al., so that we can perform distributed decryption and handle many values in parallel in one ciphertext. The computational complexity of our preprocessing phase is dominated by the public-key operations, we need