International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Degradation and Amplification of Computational Hardness

Authors:
Shai Halevi
Tal Rabin
Download:
URL: http://eprint.iacr.org/2008/102
Search ePrint
Search Google
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.
BibTeX
@misc{eprint-2008-17779,
  title={Degradation and Amplification of Computational Hardness},
  booktitle={IACR Eprint archive},
  keywords={foundations / Commitment schemes, Hardness amplification and degradation, Secrecy amplification and degradation, Oblivious transfer, XOR lemmas},
  url={http://eprint.iacr.org/2008/102},
  note={TCC 2008 shaih@alum.mit.edu 13944 received 6 Mar 2008},
  author={Shai Halevi and Tal Rabin},
  year=2008
}