Abstract:We study information-theoretic multiparty computation (MPC) protocols over rings Z / p k Z that have good asymptotic communication complexity for a large number of players. An important ingredient for such protocols is arithmetic secret sharing, i.e., linear secret-sharing schemes with multiplicative properties. The standard way to obtain these over fields is with a family of linear codes C , such that C , C ⊥ and C 2 are asymptotically good (strongly multiplicative). For our purposes here it suffices if the square code C 2 is not the whole space, i.e., has codimension at least 1 (multiplicative). Our approach is to lift such a family of codes defined over a finite field F to a Galois ring, which is a local ring that has F as its residue field and that contains Z / p k Z as a subring, and thus enables arithmetic that is compatible with both structures. Although arbitrary lifts preserve the distance and dual distance of a code, as we demonstrate with a counterexample, the multiplicative property is not preserved. We work around this issue by showing a dedicated lift that preserves self-orthogonality (as well as distance and dual distance), for p ≥ 3 . Self-orthogonal codes are multiplicative, therefore we can use existing results of asymptotically good self-dual codes over fields to obtain arithmetic secret sharing over Galois rings. For p = 2 we obtain multiplicativity by using existing techniques of secret-sharing using both C and C ⊥ , incurring a constant overhead. As a result, we obtain asymptotically good arithmetic secret-sharing schemes over Galois rings. With these schemes in hand, we extend existing field-based MPC protocols to obtain MPC over Z / p k Z , in the setting of a submaximal adversary corrupting less than a fraction 1 / 2 - ε of the players, where ε > 0 is arbitrarily small. We consider 3 different corruption models. For passive and active security with abort, our protocols communicate O ( n ) bits per multiplication. For full security with guaranteed output delivery we use a preprocessing model and get O ( n ) bits per multiplication in the online phase and O ( n log n ) bits per multiplication in the offline phase. Thus, we obtain true linear bit complexities, without the common assumption that the ring size depends on the number of players.

WYS*: A DSL for Verified Secure Multi-party Computations

Computer-Aided Proofs for Multiparty Computation with Active Security

Language-Based Security for Low-Level MPC

Secure Multiparty Computation (MPC)

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation

GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols

Perfectly-Secure Synchronous MPC with Asynchronous Fallback Guarantees

Fortified Multi-Party Computation: Taking Advantage of Simple Secure Hardware Modules

Circuit-Free General-Purpose Multi-Party Computation via Co-Utile Unlinkable Outsourcing

Manticore: A Framework for Efficient Multiparty Computation Supporting Real Number and Boolean Arithmetic

MPCLeague: Robust MPC Platform for Privacy-Preserving Machine Learning

A Formal Model for Secure Multiparty Computation

Publicly Auditable MPC-as-a-Service with succinct verification and universal setup

Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/p^k Z.

SodsMPC: FSM Based Anonymous and Private Quantum-safe Smart Contracts

Mixed-protocol multi-party computation framework towards complex computation tasks with malicious security

Complete Multiparty Session Type Projection with Automata

Coding for Private and Secure Multiparty Computing

Secure Computation for Machine Learning With SPDZ

MP-SPDZ: A Versatile Framework for Multi-Party Computation

Analog Multi-Party Computing: Locally Differential Private Protocols for Collaborative Computations