Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update doc #15

Merged
merged 4 commits into from
Sep 26, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
43 changes: 0 additions & 43 deletions docs/guides/ZKPool-A0.md

This file was deleted.

14 changes: 14 additions & 0 deletions docs/guides/how-to-connect-ZKPool.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
---
sidebar_label: 'How to Connect as ZKP Requester'
sidebar_position: 1
---

# Introduction
Currently, in ZKPool A1, we are opening the prover market to Taiko projects.

We are also working on opening it to all zkp projects. A detailed guide will be released soon.

# The Prover Market Endpoint for Taiko
HTTP: http://taiko-a5-prover-simple.zkpool.io

HTTPS: https://taiko-a5-prover.zkpool.io
6 changes: 3 additions & 3 deletions docs/overview.md
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,6 @@ The design principles of ZKPool include:

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
- Connect one ZKP project (Done)
- Connect multiple ZKP projects with the UMP (Universal Modular Prover) (Ongoing)
- Fully decentralized ZKP computing pool via Super-UMP (TBD)
35 changes: 6 additions & 29 deletions docs/guides/introduction.md → docs/products/Release.md
Original file line number Diff line number Diff line change
@@ -1,38 +1,17 @@
---
sidebar_label: 'Introduction'
sidebar_position: 1
sidebar_label: 'Release'
sidebar_position: 2
---

# Introduction
# ZKPool A1

ZKPool aims to connect various ZKP applications and ZKP provers and provide the following capabilities:

- ZKPool gathers smaller provers' capacity together and provides bond as a pool.
- ZKPool operates to minimize the risks of being slashed.
- ZKPool calculates and distributes the rewards of provers.
- ZKPool makes it really easy for provers to join.

Initially, ZKPool will assume the risk and provides bond on behalf of all the provers connected to the pool. The pool is open for registered provers to connect to.

## General Flow

Currently, the general flow is as follows:

1. Register on [https://zkpool.io](https://zkpool.io/), generate the user account's unique access key.
2. Use the one command installation script to connect to ZKPool.
3. Login to [https://zkpool.io](https://zkpool.io/) to view prover machine status and rewards.

## Releases

### ZKPool A1

#### Taiko Project Support
## Taiko Project Support

Taiko is a decentralized, Ethereum-equivalent zk-rollup project with Type 1 zkEVM technology.

ZKPool A1 is dedicated to the [Taiko Alpha-5 (A5) Testnet](https://taiko.mirror.xyz/0jc5XA5RVjOUNVdRdGmw9prlsC4deA1XgZJppmXh8rs), and supports users who want to join as individual provers.

#### Hardware requirements
## Hardware requirements

ZKPool supports various provers to join, CPU, GPU, and so on.

Expand All @@ -43,7 +22,7 @@ The hardware that meets the minimum requirements can run CPU prover binary:
- 8 or 16 core CPU
- 32 GB memory

#### Reward distribution
## Reward distribution

As ZKPool takes the risk of slashing, pays the Gas fee for submitting the proof and operation cost, ZKPool will share the reward of tokens with provers. Currently the distribution rule is:

Expand All @@ -59,6 +38,4 @@ Note:
5. The actual value of the reward is not guaranteed. We participate to help Taiko test and become a successful zk-rollup.
6. ZKPool may consider offering additional incentives from the platform side, especially for early participants. However, this has not yet been determined.

### Legacy
#### [ZKPool A0](./ZKPool-A0.md)

8 changes: 8 additions & 0 deletions docs/products/_category_.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
"label": "Products",
"position": 3,
"link": {
"type": "generated-index",
"description": "Introduction about the products of ZKPool"
}
}
Binary file added docs/products/images/UMP.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added docs/products/images/ecosystem.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added docs/products/images/two tier table.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added docs/products/images/two-tier.jpg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
46 changes: 46 additions & 0 deletions docs/products/introduction.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
---
sidebar_label: 'Introduction'
sidebar_position: 1
---

# Introduction

ZKPool is an open and permissionless platform that connects various ZKP projects and provers, offering multiple capabilities:

- ZKPool gathers the capacity of smaller provers and acts as a super prover proxy, providing necessary stake to ZKP projects.
- ZKPool provides competitive price to win the proof tasks and minimize the risks of being slashed.
- ZKPool distributes the rewards of provers among participants.
- ZKPool simplifies the process of joining for provers and ZKP projects.

# The Ecosystem of ZKPool
The participants in ZKPool include:
1. ZKP Requester: Refers to ZKP projects that require ZKP proofs.
2. ZKP Prover: Operators who own the hardware and run the provers.
3. ZKP Accelerator: A team that provides accelerated software implementation for certain ZKP projects.

The ZKP requester can also be a ZKP accelerator. For example, a ZKP project may have its own best GPU-accelerated software.

The ZKP prover can also be a ZKP accelerator. For example, ZKP prover operators may develop their own accelerated software.

The ecosystem is represented in the following diagram:
![Ecosystem](./images/ecosystem.png)

# Two-tier ZKP proving tokenomics
Currently, many ZKP projects use their own proving systems and tokenomics. To establish a healthier and more cost-effective ZKP proving ecosystem, a two-tier proving tokenomics model can be a viable solution. Taiko proposed a solution after several rounds of iteration of proving tokenomics. We have further extended this solution to a two-tier framework.

Under this approach, each ZKP project operates as tier 1, defining its own tokenomics. However, the selection, scheduling, penalty, reward, and rating of provers are delegated to tier 2, which is a shared prover pool.
![Two-tier](./images/two-tier.jpg)

The scope of the two tiers is as follows:

| | Tier 1 (ZKP projects) | Tier 2 (ZKPool) |
| --- | --- | --- |
| Scope | • Publish proof task.<br/> • Establish rewards and penalties.<br/> • Define key metrics such as proof window. | • Aggregate proof task.<br/> • Schedule and rate prover resources.<br/> • Distribute rewards. <br/>• Assume penalty risk.<br/> • Define price competition strategy |


# UMP (Universal Modular Prover)
ZKPool utilizes UMP (Universal Modular Prover) to integrate various provers.

A Universal Modular Prover can run on the same hardware platform while supporting the proving work of various ZKP projects.

![UMP](./images/UMP.jpg)
Loading