A Framework for Practical Universally Composable Zero-Knowledge Protocols
Zero-knowledge proofs of knowledge (ZK-PoK) for discrete logarithms and related problems are indispensable for practical cryptographic protocols. Recently, Camenisch, Kiayias, and Yung provided a specification language (the CKY-language) for such protocols which allows for a modular design and protocol analysis: for every zero-knowledge proof specified in this language, protocol designers are ensured that there exists an efficient protocol which indeed proves the specified statement.
However, the protocols resulting from their compilation techniques only satisfy the classical notion of ZK-PoK, which is not retained are when they used as building blocks for higher-level applications or composed with other protocols. This problem can be tackled by moving to the Universal Composability (UC) framework, which guarantees retention of security when composing protocols in arbitrary ways. While there exist generic transformations from Σ-protocols to UC-secure protocols, these transformation are often too inefficient for practice.
In this paper we introduce a specification language akin to the CKY-language and a compiler such that the resulting protocols are UC-secure and efficient. To this end, we propose an extension of the UC-framework addressing the issue that UC-secure zero-knowledge proofs are by definition proofs of knowledge, and state a special composition theorem which allows one to use the weaker – but more efficient and often sufficient – notion of proofs of membership in the UC-framework. We believe that our contributions enable the design of practically efficient protocols that are UC-secure and thus themselves can be used as building blocks.
- A Framework for Practical Universally Composable Zero-Knowledge Protocols
- Book Title
- Advances in Cryptology – ASIACRYPT 2011
- Book Subtitle
- 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings
- pp 449-467
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- International Association for Cryptologic Research
- Additional Links
- Protocol Design
- Zero-Knowledge Proof
- Industry Sectors
- eBook Packages
- Editor Affiliations
- 16. Center for Information Security Technologies, Korea University
- 17. Shandong University
- Author Affiliations
- 18. IBM Research - Zurich, Rüschlikon, Switzerland
- 19. Bern University of Applied Sciences, Biel-Bienne, Switzerland
- 20. University of Fribourg, Switzerland
- 21. Department of Computer Science, New York University, USA
To view the rest of this content please follow the download PDF link above.