Paper 2024/1803
Siniel: Distributed Privacy-Preserving zkSNARK
Abstract
Zero-knowledge Succinct Non-interactive Argument of Knowledge (zkSNARK) is a powerful cryptographic primitive, in which a prover convinces a verifier that a given statement is true without leaking any additional information. However, existing zkSNARKs suffer from high computation overhead in the proof generation. This limits the applications of zkSNARKs, such as private payments, private smart contracts, and anonymous credentials. Private delegation has become a prominent way to accelerate proof generation. In this work, we propose Siniel, an efficient private delegation framework for zkSNARKs constructed from polynomial interactive oracle proof (PIOP) and polynomial commitment scheme (PCS). Our protocol allows a computationally limited prover (a.k.a. delegator) to delegate its expensive prover computation to several workers without leaking any information about the private witness. Most importantly, compared with the recent work EOS (USENIX'23), the state-of-the-art zkSNARK prover delegation framework, a prover in Siniel needs not to engage in the MPC protocol after sending its shares of private witness. This means that a Siniel prover can outsource the entire computation to the workers. We compare Siniel with EOS and show significant performance advantages of the former. The experimental results show that, under low bandwidth conditions (10MBps), Siniel saves about 16% time for delegators than that of EOS, whereas under high bandwidth conditions (1000MBps), Siniel saves about 80% than EOS.
Note: This paper will be published in NDSS 2025.
Metadata
- Available format(s)
-
PDF
- Publication info
- Preprint.
- Contact author(s)
-
52215902015 @ stu ecnu edu cn
chengyuejia @ foxmail com
wangkailun @ bjtu edu cn
csxgli @ cqu edu cn
jfsun @ smu edu sg
jcshen @ sei ecnu edu cn
dongxiaolei @ sei ecnu edu cn
zfcao @ sei ecnu edu cn
gmyang @ smu edu sg
robertdeng @ smu edu sg - History
- 2024-11-11: last of 2 revisions
- 2024-11-04: received
- See all versions
- Short URL
- https://ia.cr/2024/1803
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/1803,
author = {Yunbo Yang and Yuejia Cheng and Kailun Wang and Xiaoguo Li and Jianfei Sun and Jiachen Shen and Xiaolei Dong and Zhenfu Cao and Guomin Yang and Robert H. Deng},
title = {Siniel: Distributed Privacy-Preserving {zkSNARK}},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/1803},
year = {2024},
url = {https://eprint.iacr.org/2024/1803}
}