Constant-round coin-tossing with a man in the middle or realizing the shared random string model
- 26 June 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1880, 345-355
- https://doi.org/10.1109/sfcs.2002.1181957
Abstract
We present the first constant-round non-malleable commitment scheme and the first constant-round non-malleable zero-knowledge argument system, as defined by Dolev, Dwork and Naor. Previous constructions either used a non-constant number of rounds, or were onlysecure under stronger setup assumptions. An example of such an assumption is the shared random string model where we assume all parties have access to a reference string that was chosen uniformly at random by a trusted dealer.We obtain these results by defining an adequate notion of non-malleable coin-tossing, and presenting a constant-round protocol that satisfies it. This protocol allows us to transform protocols that are non-malleable in (a modified notion of) the shared random string model into protocols that are non-malleable in the plain model (without any trusted dealer or setup assumptions). Observing that known constructions of a non-interactive non-malleable zero-knowledge argument systems in the shared random string model (De Santis et. al., 2001) are in fact non-malleable in the modified model, and combining them with our coin-tossing protocol we obtain the results mentioned above.The techniques we use are different from those used in previous constructions of non-malleable protocols. In particular our protocol uses diagonalization and a non-black-box proof of security (in a sense similar to Barak's zero-knowledge argument).Keywords
This publication has 22 references indexed in Scilit:
- Foundations of CryptographyPublished by Cambridge University Press (CUP) ,2001
- Session-Key Generation Using Human Passwords OnlyPublished by Springer Nature ,2001
- Efficient and Non-interactive Non-malleable CommitmentPublished by Springer Nature ,2001
- Efficient Non-malleable Commitment SchemesPublished by Springer Nature ,2000
- Nonmalleable CryptographySIAM Journal on Computing, 2000
- Multiple NonInteractive Zero Knowledge Proofs Under General AssumptionsSIAM Journal on Computing, 1999
- P = BPP if E requires exponential circuitsPublished by Association for Computing Machinery (ACM) ,1997
- Sparse pseudorandom distributionsRandom Structures & Algorithms, 1992
- A note on efficient zero-knowledge proofs and arguments (extended abstract)Published by Association for Computing Machinery (ACM) ,1992
- Zero-knowledge proofs of knowledge without interactionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992