Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC

Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC

Attema, T.
Dunning, V.A.
Everts, M.
Langenkamp, P.

ateniese G.Venturi, D. (editor)

2022

We present a novel compiler for transforming arbitrary, passively secure MPC protocols into efficient protocols with covert security and public verifiability in the honest majority setting. Our compiler works for protocols with any number of parties > 2 and treats the passively secure protocol in a black-box manner. In multi-party computation (MPC), covert security provides an attractive trade-off between the security of actively secure protocols and the efficiency of passively secure protocols. In this security notion, honest parties are only required to detect an active attack with some constant probability, referred to as the deterrence rate. Extending covert security with public verifiability additionally ensures that any party, even an external one not participating in the protocol, is able to identify the cheaters if an active attack has been detected. Recently, Faust et al. (EUROCRYPT 2021) and Scholl et al. (Pre-print 2021) introduced similar covert security compilers based on computationally expensive time-lock puzzles. At the cost of requiring an honest majority, our work avoids the use of time-lock puzzles completely. Instead, we adopt a much more efficient publicly verifiable secret sharing scheme to achieve a similar functionality. This obviates the need for a trusted setup and a general-purpose actively secure MPC protocol. We show that our computation and communication costs are orders of magnitude lower while achieving the same deterrence rate.

Compiler
Covert Security
Honest Majority
Multi-Party Computation
Chromium compounds
Cryptography
Locks (fasteners)
Program compilers
Active attack
Compiler
Covert security
Honest majority
Multi-party computation protocols
Multiparty computation
Public verifiability
Secure multi-party computation
Secure protocols
Time-lock puzzles
Economic and social effects

http://resolver.tudelft.nl/uuid:061f1ec2-ad15-4959-be8f-dc674c92c16c

973203

Springer Science and Business Media Deutschland GmbH

9783031092336

0302-9743

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, 20 June 2022 through 23 June 2022, 663-683

conference paper