$Prooφ$: A ZKP Market Mechanism

Wenhao Wang,Lulu Zhou,Aviv Yaish,Fan Zhang,Ben Fisch,Benjamin Livshits

2024-10-14

Abstract:Zero-knowledge proofs (ZKPs) are computationally demanding to generate. Their importance for applications like ZK-Rollups has prompted some to outsource ZKP generation to a market of specialized provers. However, existing market designs either do not fit the ZKP setting or lack formal description and analysis. In this work, we propose a formal ZKP market model that captures the interactions between users submitting ZKP tasks and provers competing to generate proofs. Building on this model, we introduce $Proo\varphi$, an auction-based ZKP market mechanism. We prove that $Proo\varphi$ is incentive compatible for users and provers, and budget balanced. We augment $Proo\varphi$ with system-level designs to address the practical challenges of our setting, such as Sybil attacks, misreporting of prover capacity, and collusion. We analyze our system-level designs and show how they can mitigate the various security concerns.

Computer Science and Game Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the computational resource requirement problem in zero - knowledge proof (ZKP) generation, especially in applications such as ZK - Rollups. Since the generation of ZKP requires a large amount of computational resources, some users choose to outsource this task to the specialized prover market. However, the existing market designs are either not suitable for the ZKP scenario or lack formal description and analysis.

Specifically, the paper points out:

1. **Limitations of the existing market**: The existing ZKP market designs cannot adapt well to multi - user scenarios. In particular, batch - processing transactions of multiple users in ZK - Rollups is a key performance - optimization measure.
2. **Security and trust issues**: In an open and decentralized environment, users and provers may have malicious behaviors, such as false reporting of capacity, Sybil attacks and collusion.

To solve these problems, the paper proposes a formal ZKP market model named Prooφ and its auction mechanism. Prooφ aims to improve the existing ZKP market in the following ways:

- **Incentive compatibility**: Ensure that both users and provers are willing to report their values and costs honestly.
- **Budget balance**: Ensure that the fees collected from users can cover the remuneration paid to provers.
- **System - level design**: Introduce additional security measures, such as collateral mechanisms, limiting the change of capacity bidding and hiding bidding information, to deal with various security threats, such as Sybil attacks and collusion.

In summary, the main goal of the paper is to design a ZKP market mechanism that is both efficient and secure, so as to promote the wide application of ZKP and reduce the cost for users.