Abstract

Collaborative zk-SNARKs, introduced by Ozdemir and Boneh (USENIX’22), are a multi-prover extension of zk-SNARKs in which multiple mutually distrustful provers, each holding a private input, jointly generate a zk-SNARK that attests to the correctness of a computation over their collective secrets.

A sequence of recent works has proposed efficient constructions of collaborative zk-SNARKs following a common template: designing secure multiparty computation (MPC) protocols that emulate the behavior of a zk-SNARK prover, while avoiding non-black-box use of cryptographic primitives.

In this talk, I will survey this framework and highlight recent advances in the design and implementation of collaborative zk-SNARK protocols.