Paper 2008/102
Degradation and Amplification of Computational Hardness
Shai Halevi and Tal Rabin
Abstract
What happens when you use a partially defective bit-commitment protocol to commit to the same bit many times? For example, suppose that the protocol allows the receiver to guess the committed bit with advantage $\eps$, and that you used that protocol to commit to the same bit more than $1/\eps$ times. Or suppose that you encrypted some message many times (to many people), only to discover later that the encryption scheme that you were using is partially defective, and an eavesdropper has some noticeable advantage in guessing the encrypted message from the ciphertext. Can we at least show that even after many such encryptions, the eavesdropper could not have learned the message with certainty? In this work we take another look at amplification and degradation of computational hardness. We describe a rather generic setting where one can argue about amplification or degradation of computational hardness via sequential repetition of interactive protocols, and prove that in all the cases that we consider, it behaves as one would expect from the corresponding information theoretic bounds. In particular, for the example above we can prove that after committing to the same bit for $n$ times, the receiver's advantage in guessing the encrypted bit is negligibly close to $1-(1-\eps)^n$. Our results for hardness amplification follow just by observing that some of the known proofs for Yao's lemmas can be easily extended also to handle interactive protocols. On the other hand, the question of hardness degradation was never considered before as far as we know, and we prove these results from scratch.
Metadata
- Available format(s)
- PDF PS
- Category
- Foundations
- Publication info
- Published elsewhere. TCC 2008
- Keywords
- Commitment schemesHardness amplification and degradationSecrecy amplification and degradationOblivious transferXOR lemmas
- Contact author(s)
- shaih @ alum mit edu
- History
- 2008-03-11: received
- Short URL
- https://ia.cr/2008/102
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2008/102, author = {Shai Halevi and Tal Rabin}, title = {Degradation and Amplification of Computational Hardness}, howpublished = {Cryptology {ePrint} Archive, Paper 2008/102}, year = {2008}, url = {https://eprint.iacr.org/2008/102} }