(2022) Interaction-Preserving Compilers for Secure Computation.
Abstract
In this work we consider the following question: What is the cost of security for multi-party protocols? Specifically, given an insecure protocol where parties exchange (in the worst case) Γ bits in N rounds, is it possible to design a secure protocol with communication complexity close to Γ and N rounds? We systematically study this problem in a variety of settings and we propose solutions based on the intractability of different cryptographic problems. For the case of two parties we design an interaction-preserving compiler where the number of bits exchanged in the secure protocol approaches Γ and the number of rounds is exactly N, assuming the hardness of standard problems over lattices. For the more general multi-party case, we obtain the same result assuming either (i) an additional round of interaction or (ii) the existence of extractable witness encryption and succinct non-interactive arguments of knowledge. As a contribution of independent interest, we construct the first multi-key fully homomorphic encryption scheme with message-to-ciphertext ratio (i.e., rate) of 1 − o(1), assuming the hardness of the learning with errors (LWE) problem. We view our work as a support for the claim that, as far as interaction and communication are concerned, one does not need to pay a significant price for security in multi-party protocols.
Item Type: | Conference or Workshop Item (A Paper) (Paper) |
---|---|
Divisions: | Nico Döttling (Cryptographic Algorithms, CA) |
Conference: | ITCS Innovations in Theoretical Computer Science |
Depositing User: | Jonas Schneider-Bensch |
Date Deposited: | 07 Jun 2023 09:13 |
Last Modified: | 07 Jun 2023 09:13 |
Primary Research Area: | NRA1: Trustworthy Information Processing |
URI: | https://publications.cispa.saarland/id/eprint/3957 |
Actions
Actions (login required)
View Item |