Paper 2025/557
Soloist: Distributed SNARKs for Rank-One Constraint System
Abstract
Distributed SNARKs enable multiple provers to collaboratively generate proofs, enhancing the efficiency and scalability of large-scale computations. The state-of-the-art distributed SNARK for Plonk, Pianist (S\&P '24), achieves constant proof size, constant amortized communication complexity, and constant verifier complexity. However, when proving the Rank-One Constraint System (R1CS), a widely used intermediate representation for SNARKs, Pianist must perform the transformation from R1CS into Plonk before proving, which can introduce a start-up cost of
Metadata
- Available format(s)
-
PDF
- Category
- Cryptographic protocols
- Publication info
- Preprint.
- Keywords
- zero-knowledge proofSNARKdistributed proof
- Contact author(s)
-
leeweihan @ buaa edu cn
zongyangzhang @ buaa edu cn
liyun24 @ antgroup com
zpf21 @ mails tsinghua edu cn
vince hc @ antgroup com
liujianwei @ buaa edu cn - History
- 2025-03-28: approved
- 2025-03-26: received
- See all versions
- Short URL
- https://ia.cr/2025/557
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2025/557, author = {Weihan Li and Zongyang Zhang and Yun Li and Pengfei Zhu and Cheng Hong and Jianwei Liu}, title = {Soloist: Distributed {SNARKs} for Rank-One Constraint System}, howpublished = {Cryptology {ePrint} Archive, Paper 2025/557}, year = {2025}, url = {https://eprint.iacr.org/2025/557} }