In this paper, we answer this question in the \emph{negative}. Assuming the validity of a recently introduced assumption, namely the \emph{Gap Discrete Logarithm} (Gap-DL) assumption [MMY06], we construct a constant round \emph{simulation-extractable} argument system for NP, which implies NMZK. The Gap-DL assumption also leads to a very simple and natural construction of \emph{non-interactive non-malleable commitments}. In addition, plugging our simulation-extractable argument in the construction of Katz, Ostrovsky, and Smith [KOS03] yields the first $O(1)$-round secure multiparty computation with a dishonest majority using only black-box techniques.
Although the Gap-DL assumption is relatively new and non-standard, in addition to answering some long standing open questions, it brings a new approach to non-malleability which is simpler and very natural. We also demonstrate that \odla~holds unconditionally against \emph{generic} adversaries.
Category / Keywords: foundations / Non-black-box techniques, Non-malleability, Zero Knowledge, Commitments, Gap Discrete Logarithm Assumption Publication Info: Not Yet Published Date: received 13 Apr 2008, last revised 2 Oct 2008 Contact author: omkant at cs ucla edu Available format(s): PDF | BibTeX Citation Note: This paper has been merged with "New Age Cryptography" by Rafael Pass and Vinod Vaikuntanathan. The merged paper appears in CRYPTO 2008, under the title "Adaptive One-way Functions and Applications". Full version coming soon. Version: 20081002:160949 (All versions of this report) Short URL: ia.cr/2008/167