Skip to content

Commit

Permalink
Update overview.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@hugo-blue
hugo-blue authored Aug 21, 2023
1 parent 95b5491 commit 281a467
Showing 1 changed file with 29 additions and 39 deletions.
68 changes: 29 additions & 39 deletions docs/overview.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,66 +5,56 @@ slug: /overview

# Overview

There are explosions of ZKP (Zero-Knowledge Proof) applications and zk-Rollups, especially Ethereum zk-Rollup.
There has been an explosion of ZKP (Zero-Knowledge Proof) applications and zk-Rollups, especially Ethereum zk-Rollup.

They require ZKP provers. Currently, there are challenges to make the ZKP widely adopted. The challenges come from both the ZKP projects side and the ZKP prover operators side.
ZKP computation power is different from POW. While POW requires many machines to achieve decentralization, ZKP is a service that each project needs, and its cost is an essential factor. A comparison is shown in the below table.

Here the ZKP computation power is different from POW. The ZKP is a service that each project needs, and its cost is an essential factor, while the POW requires many machines to achieve decentralization. A comparison is shown in the below table.
|Aspect |POW Miners |ZKP Provers |
|:-|:-:|:-:|
|Computation Purpose |Decentralization |To generate a proof |
|Computation content |Large number of random, repeated, and similar functions. |Complex mathematical operations with deterministic results. |
|Computation redundancy |Necessary |Unnecessary |
| Aspect | POW Miners | ZKP Provers |
| --- | --- | --- |
| Computation Purpose | Decentralization | To generate a proof |
| Computation Content | A large number of random, repeated, and similar functions. | Complex mathematical operations with deterministic results. |
| Computation Redundancy | Necessary | Unnecessary |

## Challenges for ZKP projects
The adoption of ZKP is still facing challenges from both the ZKP projects' side and the ZKP prover operators' side due to these features.

Currently, each ZKP project has to make much effort to build a proving system, including algorithms and infrastructure, and make it low-cost.
## Challenges for ZKP projects

To build a zk-related project, these questions will come out:
Currently, each ZKP project has to make a considerable effort to build a proving system, including algorithms and infrastructure, while keeping it low-cost. Some questions that come up while building a zk-related project include:

1. Which proving system could be used?
2. How to design the circuit?
3. What’s the performance of the proving system?
4. How to set up the proving system to accelerate it?
5. How much does it cost for this proving system?

The projects not only have to consider how to optimize the solution and consider how to reduce cost but also involve much infra work, such as:

1. Choose prover machines, like GPU or high-performance cpu
2. Need an infra to manage machine clusters and monitoring

For ZKPool, we want to provide a solution for items 3,4&5.

The ideal solution is to let the projects have the following:

1. Fast enough and transparent proving performance
2. Cheap & Transparent cost
3. How to set up the proving system?
4. What is the performance of the proving system? How can it be optimized?
5. How much does the proving system cost? How can the overall cost be reduced?

## Challenges for ZKP Prover Operators

The ZKP proving is different from POW.
The ZKP prover operators meet some new challenges other than POW miners.

Firstly, some projects may require a gas fee to submit proof or staking as a prover. It brings cost and risk for provers.
1. Some ZKP projects may require a gas fee to submit proof or staking as a prover, which brings cost and risk for the provers.
2. Some projects may use bid or random selection solutions to avoid redundant computation, which may not fully utilize the prover when it hasn't won the task. It reduces the revenue a prover can have.
3. The various ZKP projects have different algorithms and prover software, making it difficult for provers to accommodate these various projects.

Secondly, some projects may use bid or random selection solutions to avoid redundant computation, the prover may not be fully utilized when it hasn’t won the task.
## The Design Target of ZKPool

It reduced the revenue a prover can have.
The ZKPool's mission is to make Zero-Knowledge Proof flow in the digital world. The ZKPool wants to build a bridge between ZKP applications and ZKP provers.

Thirdly, the various ZKP projects have different algorithms and prover software. It’s difficult for provers to accommodate these various projects.
At ZKPool, we aim to provide a solution that addresses the challenges in the proving system.

## The Design Target of ZKPool
The ideal solution is to provide the following to the ZKP projects:

The ZKPool's mission is to make Zero-Knowledge Proof flow in the digital world. The ZKPool wants to build a bridge between ZKP applications and ZKP provers.
1. Provides fast and high-throughput performance.
2. Offers cheap and transparent costs.

The design principle of ZKPool includes:
The design principles of ZKPool include:

- Economic efficiency. Find a balance between the requirements of ZKP projects' low-cost and ZKP prover's higher profit.
- Transparency: Keep revenue distribution with transparency
- Transparency: Keep revenue distribution transparent

## The Roadmap of ZKPool
The ZKPool will have these milestones:
- Centralized solution for one ZKP project
- Connect multiple ZKP projects with the unified ZKP provers
- Fully decentralized

The ZKPool will have the following milestones:

- Centralized solution for one ZKP project
- Connect multiple ZKP projects with the unified ZKP provers
- Fully decentralized ZKP computing pool

0 comments on commit 281a467

Please sign in to comment.