Advances in Cryptology – CRYPTO 2013 pp 203-219
A Dynamic Tradeoff between Active and Passive Corruptions in Secure Multi-Party Computation
At STOC ’87, Goldreich et al. presented two protocols for secure multi-party computation (MPC) among n parties: The first protocol provides passive security against t < n corrupted parties. The second protocol provides even active security, but only against t < n/2 corrupted parties. Although these protocols provide security against the provably highest possible number of corruptions, each of them has its limitation: The first protocol is rendered completely insecure in presence of a single active corruption, and the second protocol is rendered completely insecure in presence of ⌈n/2 ⌉ passive corruptions.
At Crypto 2006, Ishai et al. combined these two protocols into a single protocol which provides passive security against t < n corruptions and active security against t < n/2 corruptions. This protocol unifies the security guarantees of the passive world and the active world (“best of both worlds”). However, the corruption threshold t < n can be tolerated only when all corruptions are passive. With a single active corruption, the threshold is reduced to t < n/2.
As our main result, we introduce a dynamic tradeoff between active and passive corruptions: We present a protocol which provides security against t < n passive corruptions, against t < n/2 active corruptions, and everything in between. In particular, our protocol provides full security against k active corruptions, as long as less than n − k parties are corrupted in total, for any unknown k.
The main technical contribution is a new secret sharing scheme that, in the reconstruction phase, releases secrecy gradually. This allows to construct non-robust MPC protocols which, in case of an abort, still provide some level of secrecy. Furthermore, using similar techniques, we also construct protocols for reactive MPC with hybrid security, i.e., different thresholds for secrecy, correctness, robustness, and fairness. Intuitively, the more corrupted parties, the less security is guaranteed.
KeywordsMulti-party computation gradual secret sharing computational security mixed adversary
- [BGW88]Ben-Or, M., Goldwasser, S., Wigderson, A.: Completeness theorems for non-cryptographic fault-tolerant distributed computation. In: STOC 1988, pp. 1–10. ACM (1988)Google Scholar
- [Blu83]Blum, M.: How to exchange (secret) keys (extended abstract). In: STOC 1983, pp. 440–447. ACM (1983)Google Scholar
- [CCD88]Chaum, D., Crépeau, C., Damgård, I.: Multiparty unconditionally secure protocols. In: STOC 1988, pp. 11–19. ACM (1988)Google Scholar
- [Cha89]Chaum, D.: The spymasters double-agent problem: Multiparty computations secure unconditionally from minorities and cryptograhically from majorities. In: Brassard, G. (ed.) CRYPTO 1989. LNCS, vol. 435, pp. 591–602. Springer, Heidelberg (1990)Google Scholar
- [DS82]Dolev, D., Strong, H.R.: Polynomial algorithms for multiple processor agreement. In: STOC 1982, pp. 401–407. ACM (1982)Google Scholar
- [GMW87]Goldreich, O., Micali, S., Wigderson, A.: How to play any mental game or a completeness theorem for protocols with honest majority. In: STOC 1987, pp. 218–229. ACM (1987)Google Scholar
- [Gol04]Goldreich, O.: Foundations of Cryptography. Basic Applications, vol. 2. Cambridge University Press (2004)Google Scholar
- [Kat07]Katz, J.: On achieving the “best of both worlds” in secure multiparty computation. In: STOC 2007, pp. 11–20. ACM (2007)Google Scholar
- [LRM10]Lucas, C., Raub, D., Maurer, U.: Hybrid-secure MPC: Trading information-theoretic robustness for computational privacy. In: PODC 2010, pp. 219–228. ACM (2010)Google Scholar
- [Ped91]Pedersen, T.P.: Non-interactive and information-theoretic secure verifiable secret sharing. In: Feigenbaum, J. (ed.) CRYPTO 1991. LNCS, vol. 576, pp. 129–140. Springer, Heidelberg (1992)Google Scholar
- [RB89]Rabin, T., Ben-Or, M.: Verifiable secret sharing and multiparty protocols with honest majority. In: STOC 1989, pp. 73–85. ACM (1989)Google Scholar
- [Yao82]Yao, A.C.: Protocols for secure computations (extended abstract). In: FOCS 1982, pp. 160–164. IEEE (1982)Google Scholar