Paper 2021/710
VOProof: Efficient zkSNARKs from Vector Oracle Compilers
Abstract
The design of zkSNARKs is increasingly complicated and requires familiarity with a broad class of cryptographic and algebraic tools. This complexity in zkSNARK design also increases the difficulty in zkSNARK implementation, analysis, and optimization. To address this complexity, we develop a new workflow for designing and implementing zkSNARKs, called
Note: Fix a confusing notation: use
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Published elsewhere. Major revision. ACM CCS 2022
- DOI
- 10.1145/3548606.3559387
- Keywords
- Zero-KnowledgeSNARKPIOPVector Oracle
- Contact author(s)
-
shjdzhangyuncong @ sjtu edu cn
alan @ nervos org
ren @ nervos org
shifeng sun @ sjtu edu cn
wanggxx @ sjtu edu cn
dwgu @ sjtu edu cn - History
- 2024-02-27: last of 6 revisions
- 2021-05-28: received
- See all versions
- Short URL
- https://ia.cr/2021/710
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2021/710, author = {Yuncong Zhang and Alan Szepieniec and Ren Zhang and Shi-Feng Sun and Geng Wang and Dawu Gu}, title = {{VOProof}: Efficient {zkSNARKs} from Vector Oracle Compilers}, howpublished = {Cryptology {ePrint} Archive, Paper 2021/710}, year = {2021}, doi = {10.1145/3548606.3559387}, url = {https://eprint.iacr.org/2021/710} }