Secure multiparty computation (MPC) over Z2kis more efficient than computations over fields, and studying MPC protocols under malicious security has practical application value. Malicious security with a dishonest majority over rings remains challenging. The most popular approach is SPDZ2k, however, this is a specific protocol that does not support the transformation of any existing semi-honest MPC protocols into malicious security protocols. The zero knowledge proof (ZKP)-based compiler satisfies this requirement. Existing state-of-the-art protocols have logarithmic online communication overhead in terms of the circuit size |C|, and their direct application to rings is nontrivial as they were originally designed for finite fields. In this work, we investigate the communication overhead to develop malicious security protocols. We bridge the gap between malicious security with abort and semi-honest security, by constructing a “GMW-style” verification protocol to achieve malicious security in a dishonest majority setting. This approach incurs a constant online communication overhead by enhancing the machinery of zero-knowledge fully linear interactive oracle proof (zk-FLIOP). Additionally, we extend the zk-FLIOP to work over any ring by invoking reverse multiplication friendly embeddings (RMFEs). Our results show that the online communication complexity of the verification process depends on only the security parameter, the number of parties, and the ring size. Furthermore, for small-scale circuits over Z2, we designed a distributed lookup table argument where both the total communication complexity and the computational cost are independent of the circuit size but of the input wires.Secure multiparty computation (MPC) over Z2kis more efficient than computations over fields, and studying MPC protocols under malicious security has practical application value. Malicious security with a dishonest majority over rings remains challenging. The most popular approach is SPDZ2k, however, this is a specific protocol that does not support the transformation of any existing semi-honest MPC protocols into malicious security protocols. The zero knowledge proof (ZKP)-based compiler satisfies this requirement. Existing state-of-the-art protocols have logarithmic online communication overhead in terms of the circuit size |C|, and their direct application to rings is nontrivial as they were originally designed for finite fields. In this work, we investigate the communication overhead to develop malicious security protocols. We bridge the gap between malicious security with abort and semi-honest security, by constructing a “GMW-style” verification protocol to achieve malicious security in a dishonest majority setting. This approach incurs a constant online communication overhead by enhancing the machinery of zero-knowledge fully linear interactive oracle proof (zk-FLIOP). Additionally, we extend the zk-FLIOP to work over any ring by invoking reverse multiplication friendly embeddings (RMFEs). Our results show that the online communication complexity of the verification process depends on only the security parameter, the number of parties, and the ring size. Furthermore, for small-scale circuits over Z2, we designed a distributed lookup table argument where both the total communication complexity and the computational cost are independent of the circuit size but of the input wires.

IEEE Transactions on Information Forensics and SecurityJan 1, 20261 citation

WINK:A Semi-Honest Secure Multi-Party Computation Framework with Efficient Comparison Protocol

Yuanqing Feng, Tao Bai, Zhi Gang Lu +3 more

Secure multi-party computation (MPC) allows multiple parties to jointly compute a task while preserving the privacy of their individual inputs. In recent years, researchers have extensively studied various security protocols to improve the efficiency of MPC and reduce communication overhead. However, the efficiency of MPC in an $n$ -party setting still remains a challenge. In this paper, we introduce WINK, a MPC framework designed for the semi-honest security model that accommodates an arbitrary number of participants. We design an $n$ -party multiplication protocol in the $n$ -out-of- $n$ arithmetic secret sharing setting and, based on this, construct independent multiplication triples. We leverage a RLWE-based oblivious linear evaluation (OLE) technique to batch generate multiplication triples between any two parties, significantly reducing communication overhead. Furthermore, we design a constant-round n-party comparison protocol based on the properties of odd-sized rings and garbled circuits. This protocol completes in only three rounds of communication with the help of additional non-colluding semi-honest servers, marking a significant improvement over previous $n$ -party comparison protocols. We prove that our framework achieves universally composable security. Moreover, experimental results demonstrate that our proposed comparison protocol outperforms existing comparison protocols in terms of efficiency.Secure multi-party computation (MPC) allows multiple parties to jointly compute a task while preserving the privacy of their individual inputs. In recent years, researchers have extensively studied various security protocols to improve the efficiency of MPC and reduce communication overhead. However, the efficiency of MPC in an$n$-party setting still remains a challenge. In this paper, we introduce WINK, a MPC framework designed for the semi-honest security model that accommodates an arbitrary number of participants. We design an$n$-party multiplication protocol in the$n$-out-of-$n$arithmetic secret sharing setting and, based on this, construct independent multiplication triples. We leverage a RLWE-based oblivious linear evaluation (OLE) technique to batch generate multiplication triples between any two parties, significantly reducing communication overhead. Furthermore, we design a constant-round n-party comparison protocol based on the properties of odd-sized rings and garbled circuits. This protocol completes in only three rounds of communication with the help of additional non-colluding semi-honest servers, marking a significant improvement over previous$n$-party comparison protocols. We prove that our framework achieves universally composable security. Moreover, experimental results demonstrate that our proposed comparison protocol outperforms existing comparison protocols in terms of efficiency.

IEEE Symposium on Reliable Distributed Systems (SRDS)Sep 29, 20250 citations

Secure Computation with Low Communication from Cross-Checking

Steven Gordon, Samuel Ranellucci, Xiao Shaun Wang

Lecture notes in computer scienceJan 1, 201835 citations

n

-party setting still remains a challenge. In this paper, we introduce WINK, a MPC framework designed for the semi-honest security model that accommodates an arbitrary number of participants. We design an

n

-party multiplication protocol in the

n

-out-of-

n

arithmetic secret sharing setting and, based on this, construct independent multiplication triples. We leverage a RLWE-based oblivious linear evaluation (OLE) technique to batch generate multiplication triples between any two parties, significantly reducing communication overhead. Furthermore, we design a constant-round n-party comparison protocol based on the properties of odd-sized rings and garbled circuits. This protocol completes in only three rounds of communication with the help of additional non-colluding semi-honest servers, marking a significant improvement over previous

n

-party comparison protocols. We prove that our framework achieves universally composable security. Moreover, experimental results demonstrate that our proposed comparison protocol outperforms existing comparison protocols in terms of efficiency.