TY - GEN
T1 - Diogenes
T2 - 42nd IEEE Symposium on Security and Privacy, SP 2021
AU - Chen, Megan
AU - Hazay, Carmit
AU - Ishai, Yuval
AU - Kashnikov, Yuriy
AU - Micciancio, Daniele
AU - Riviere, Tarik
AU - Shelat, Abhi
AU - Venkitasubramaniam, Muthu
AU - Wang, Ruihan
N1 - Publisher Copyright: © 2021 IEEE.
PY - 2021/5
Y1 - 2021/5
N2 - In this work, we design and implement the first protocol for distributed generation of an RSA modulus that can support thousands of parties and offers security against active corruption of an arbitrary number of parties. In a nutshell, we first design a highly optimized protocol for this scale that is secure against passive corruptions, and then amplify its security to withstand active corruptions using lightweight succinct zero-knowledge proofs. Our protocol achieves security with "identifiable abort, "where a corrupted party is identified whenever the protocol aborts, and supports public verifiability.Our protocol against passive corruptions extends the recent work of Chen et al. (CRYPTO 2020) that, in turn, is based on the blueprint introduced in the original work of Boneh-Franklin protocol (CRYPTO 1997, J. ACM, 2001). Specifically, we reduce the task of sampling a modulus to secure distributed multiplication, which we implement via an efficient threshold additively homomorphic encryption scheme based on the Ring-LWE assumption. This results in a protocol where the (amortized) per-party communication cost grows logarithmically in the number of parties. In order to minimize the work done by the parties, we employ a "publicly verifiable"coordinator that is connected to all parties and only performs computations on public data.We implemented both the passive and the active variants of our protocol and ran experiments using 2 to 4, 000 parties. This is the first implementation of any MPC protocol that can scale to more than 1, 000 parties. For generating a 2048-bit modulus among 1, 000 parties, our passive protocol executed in under 6 minutes and the active variant ran in under 25 minutes.
AB - In this work, we design and implement the first protocol for distributed generation of an RSA modulus that can support thousands of parties and offers security against active corruption of an arbitrary number of parties. In a nutshell, we first design a highly optimized protocol for this scale that is secure against passive corruptions, and then amplify its security to withstand active corruptions using lightweight succinct zero-knowledge proofs. Our protocol achieves security with "identifiable abort, "where a corrupted party is identified whenever the protocol aborts, and supports public verifiability.Our protocol against passive corruptions extends the recent work of Chen et al. (CRYPTO 2020) that, in turn, is based on the blueprint introduced in the original work of Boneh-Franklin protocol (CRYPTO 1997, J. ACM, 2001). Specifically, we reduce the task of sampling a modulus to secure distributed multiplication, which we implement via an efficient threshold additively homomorphic encryption scheme based on the Ring-LWE assumption. This results in a protocol where the (amortized) per-party communication cost grows logarithmically in the number of parties. In order to minimize the work done by the parties, we employ a "publicly verifiable"coordinator that is connected to all parties and only performs computations on public data.We implemented both the passive and the active variants of our protocol and ran experiments using 2 to 4, 000 parties. This is the first implementation of any MPC protocol that can scale to more than 1, 000 parties. For generating a 2048-bit modulus among 1, 000 parties, our passive protocol executed in under 6 minutes and the active variant ran in under 25 minutes.
KW - Dishonest-majority
KW - Distributed-sampling
KW - RSA-modulus
KW - Secure-multiparty-computation
KW - VDF
UR - http://www.scopus.com/inward/record.url?scp=85115062832&partnerID=8YFLogxK
U2 - 10.1109/sp40001.2021.00025
DO - 10.1109/sp40001.2021.00025
M3 - منشور من مؤتمر
T3 - Proceedings - IEEE Symposium on Security and Privacy
SP - 590
EP - 607
BT - Proceedings - 2021 IEEE Symposium on Security and Privacy, SP 2021
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 24 May 2021 through 27 May 2021
ER -