Scalable Collaborative zk-SNARK: Fully Distributed Proof Generation and Malicious Security

ePrint Report: Scalable Collaborative zk-SNARK: Fully Distributed Proof Generation and Malicious Security

Xuanming Liu, Zhelei Zhou, Yinghao Wang, Bingsheng Zhang, Xiaohu Yang

The notion of collaborative zk-SNARK is introduced by Ozdemir and Boneh (USENIX 2022), which allows multiple parties to jointly create a zk-SNARK proof over distributed secrets (also known as the witness).
This approach ensures the privacy of the witness, as no corrupted servers involved in the proof generation can learn anything about the honest servers' witness.
Later, Garg …

distributed eprint report malicious notion proof report secrets security usenix wang