
Today marks the launch of ZKPool A1, which is our first step towards two-tier proving tokenomics. This upgrade supports Taiko A5, which will have off-chain prover selection. ZKPool receives proof tasks and rewards from sequencers, and the Taiko contract acts as an arbitrator to publish tasks and send rewards.
For the first time, ZKPool is opening the prover market to ZKP (Zero-Knowledge Proof) projects. The prover market points to Taiko at the following URLs:
HTTP: http://taiko-a5-prover-simple.zkpool.io
HTTPS: https://taiko-a5-prover.zkpool.io
This means that any sequencers of Taiko can access ZKPool's prover resources. Our goal is to open the prover resources to all ZKP projects, which we refer to as ZKP requesters. We plan to release a guide soon on how ZKP requesters can access ZKPool's prover resources permissionlessly.
On the other side, provers can still join ZKPool permissionlessly. We guarantee that provers can seamlessly join and receive proof rewards in a few minutes. Provers do not need to pay for gas or a bond to join.
We are also collaborating with other ZKP projects to ensure that provers can achieve high utilization rates and receive more rewards.

The diagram below illustrates the ZKPool ecosystem:

In addition to ZKP requesters and ZKP provers, there is also a role for ZKP accelerators, who can provide accelerated binaries for certain ZKP projects. ZKP requesters and ZKP provers can also act as ZKP accelerators.
Lastly, we have published the Taiko A5 Dashboard, where you can view detailed on-chain status updates of Taiko A5. Visit here and enjoy it.


For more details on ZKPool A1, click here.
ZKPool A1 is just the beginning, and we have a lot more work to do to reach our target of an open and decentralized system to make the zero-knowledge proof flow in the digital world.
Thank you to all ZKP requesters and ZKP provers for your participation.
Get the latest from ZKPool:
Website: https://zkpool.io/
Discord: discord.gg/PUkc9BhfcT
GitHub: https://github.com/aoraki-labs
Twitter: https://twitter.com/zk_pool
ZKPool's Aggregation of Multi-Prover
What's a multi-prover system?In a ZKP (Zero Knowledge Proof) system, multiple types of proofs can be generated for the same proving task. The verifier can only verify a state transition when all the generated proofs are verified. The types of proofs include ZK-SNARK, ZK-STARK, SGX, and so on.Multi-prover system (From Taiko's blog)Vitalik proposed the multi-prover design in a speech.Vitalik's multi-prover proposal (From Vitalik's share)Especially, SGX proof is a type of pro...

Introducing FidCore: Trusted Infrastructure for Verifiable Computing
zkVM and its Continuation Technology
Firstly, welcome to the zkML demo, which operates on ZKPool and is built on RISC Zero's zkVM solution.BackgroundIncreasingly, projects such as RISC Zero are building zkVM, while others like Taiko and Optimism are utilizing zkVM to develop applications for Ethereum Layer 2. The zkVM solution is gaining more recognition. Previously, there were concerns about its performance. However, teams have continually optimized it from both the ZKP protocol and hardware perspectives. It's getting...
Trusted Infrastructure for Verifiable Computing.

Today marks the launch of ZKPool A1, which is our first step towards two-tier proving tokenomics. This upgrade supports Taiko A5, which will have off-chain prover selection. ZKPool receives proof tasks and rewards from sequencers, and the Taiko contract acts as an arbitrator to publish tasks and send rewards.
For the first time, ZKPool is opening the prover market to ZKP (Zero-Knowledge Proof) projects. The prover market points to Taiko at the following URLs:
HTTP: http://taiko-a5-prover-simple.zkpool.io
HTTPS: https://taiko-a5-prover.zkpool.io
This means that any sequencers of Taiko can access ZKPool's prover resources. Our goal is to open the prover resources to all ZKP projects, which we refer to as ZKP requesters. We plan to release a guide soon on how ZKP requesters can access ZKPool's prover resources permissionlessly.
On the other side, provers can still join ZKPool permissionlessly. We guarantee that provers can seamlessly join and receive proof rewards in a few minutes. Provers do not need to pay for gas or a bond to join.
We are also collaborating with other ZKP projects to ensure that provers can achieve high utilization rates and receive more rewards.

The diagram below illustrates the ZKPool ecosystem:

In addition to ZKP requesters and ZKP provers, there is also a role for ZKP accelerators, who can provide accelerated binaries for certain ZKP projects. ZKP requesters and ZKP provers can also act as ZKP accelerators.
Lastly, we have published the Taiko A5 Dashboard, where you can view detailed on-chain status updates of Taiko A5. Visit here and enjoy it.


For more details on ZKPool A1, click here.
ZKPool A1 is just the beginning, and we have a lot more work to do to reach our target of an open and decentralized system to make the zero-knowledge proof flow in the digital world.
Thank you to all ZKP requesters and ZKP provers for your participation.
Get the latest from ZKPool:
Website: https://zkpool.io/
Discord: discord.gg/PUkc9BhfcT
GitHub: https://github.com/aoraki-labs
Twitter: https://twitter.com/zk_pool
ZKPool's Aggregation of Multi-Prover
What's a multi-prover system?In a ZKP (Zero Knowledge Proof) system, multiple types of proofs can be generated for the same proving task. The verifier can only verify a state transition when all the generated proofs are verified. The types of proofs include ZK-SNARK, ZK-STARK, SGX, and so on.Multi-prover system (From Taiko's blog)Vitalik proposed the multi-prover design in a speech.Vitalik's multi-prover proposal (From Vitalik's share)Especially, SGX proof is a type of pro...

Introducing FidCore: Trusted Infrastructure for Verifiable Computing
zkVM and its Continuation Technology
Firstly, welcome to the zkML demo, which operates on ZKPool and is built on RISC Zero's zkVM solution.BackgroundIncreasingly, projects such as RISC Zero are building zkVM, while others like Taiko and Optimism are utilizing zkVM to develop applications for Ethereum Layer 2. The zkVM solution is gaining more recognition. Previously, there were concerns about its performance. However, teams have continually optimized it from both the ZKP protocol and hardware perspectives. It's getting...
Trusted Infrastructure for Verifiable Computing.

Subscribe to FidCore

Subscribe to FidCore
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
No activity yet