Paper 2013/064 Original: eprint.iacr.org/2013/064 ↗
Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols
Abstract
Crypto-computing is a set of well-known techniques for computing with encrypted data. The security of the corresponding protocols are usually proven in the semi-honest model. In this work, we propose a new class of zero- knowledge proofs, which are tailored for crypto-computing protocols. First, these proofs directly employ properties of the underlying crypto systems and thus many facts have more concise proofs compared to generic solutions. Second, we show how to achieve universal composability in the trusted set-up model where all zero-knowledge proofs share the same system-wide parameters. Third, we de- rive a new protocol for multiplicative relations and show how to combine it with several crypto-computing frameworks to get security in the malicious model.
Metadata
- Available format(s)
PDF- Category
- Public-key cryptography
- Publication info
- Preprint.
- History
- 2014-04-21: last updated
- 2013-02-12: published
- Short URL
- https://ia.cr/2013/064
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2013/064,
author = {Sven Laur and Bingsheng Zhang},
title = {Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols},
howpublished = {Cryptology {ePrint} Archive, Paper 2013/064},
year = {2013},
url = {https://eprint.iacr.org/2013/064}
}