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...
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...

The Infra Ecosystem of ZK-rollup: Sequencers, ZKPool, Provers, MEV, etc.
In the ZK-rollup ecosystem, the infrastructure includes nodes, sequencers, provers, and more. In Ethereum Layer 1, there are validators but no provers. Flashbots can connect MEV searchers with validators.Flashbot architecture (Reference 1)ZK-rollup or Layer 2 (L2) has some differences. It has provers, and each block must be proved and have a proof. Here is a landscape of the ecosystem based on our understanding, using the Taiko project as an example. The Taiko project defines itself as a base...
Trusted Infrastructure for Verifiable Computing.


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...
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...

The Infra Ecosystem of ZK-rollup: Sequencers, ZKPool, Provers, MEV, etc.
In the ZK-rollup ecosystem, the infrastructure includes nodes, sequencers, provers, and more. In Ethereum Layer 1, there are validators but no provers. Flashbots can connect MEV searchers with validators.Flashbot architecture (Reference 1)ZK-rollup or Layer 2 (L2) has some differences. It has provers, and each block must be proved and have a proof. Here is a landscape of the ecosystem based on our understanding, using the Taiko project as an example. The Taiko project defines itself as a base...
Trusted Infrastructure for Verifiable Computing.

Subscribe to FidCore

Subscribe to FidCore
<100 subscribers
<100 subscribers
Our conviction in ZKP (Zero-knowledge Proof) and FHE (Fully Homomorphic Encryption) as the bedrock of trust has never wavered. Since entering the space in 2022, we have been builders, not just participants.
Our track record reflects a dedication to cryptography compute acceleration:
Hardware Acceleration: Accelerated GPU solution for Halo2/Aleo/RiscZero, FPGA ZPrize & ASIC acceleration solutions exploration.
Node Operations: Operated Prover Nodes for top-tier ZK-Rollups like Taiko, ensuring early network stability.
Technical Excellence: Research on various ZKVM solutions, like RiscZero ZKVM/SP1 ZKVM/Aleo ZKVM...
Scale Contribution: Contributed massive compute resources to the Boundless prover network and supported the SP1 ecosystem as an early partner.
Continuous Expansion: We are currently actively testing and deploying infrastructure for frontier protocols like Zisk, Aztec, Brevis, Nockchain, and Psy.
Crucially, we have established a strategic partnership with Intchains (Nasdaq: ICG) to co-develop ZK ASIC products and research next-generation algorithms. This DNA of "Software-Hardware Co-design" is what distinguishes us from generic providers.
Standing here in 2026, we see a qualitative shift in the ZK landscape:
From Theory to Production: ZKVM technology has matured. Networks like Boundless now orchestrate hundreds of trillions of proved cycles. ZK-Rollup mainnets like Taiko and Scroll have demonstrated resilience over long operational periods.
The Ethereum Endgame: The Ethproofs initiative from Ethereum Foundation is pushing Layer 1 towards a ZK future. This is a milestone event—it means ZK is no longer an optional patch, but the necessary path to achieving decentralization, security, and performance simultaneously.
We believe Verifiable Computing will become the core infrastructure of the decentralized web, just as electricity is to modern industry.
However, there is a gap in the supply side: General cloud providers (like AWS) are too expensive for continuous cryptographic workloads, while hobbyist operators lack the stability required by institutional protocols. The industry demands an "Industrial Compute Grid"—massive, performant, stable, and cost-effective.
To bridge this gap, we built FidCore—a trusted infrastructure platform for verifiable computing. Our services are structured into two complementary offerings:

High performance and cost-effective computing capacity for ZK and FHE networks.
Hybrid GPU & ASIC Acceleration: We orchestrate GPUs and custom ASICs to deliver optimal performance for diverse cryptographic workloads.
Elastic Scale: Dynamically scale compute resources to match protocol demands, from testnet to mainnet and beyond.
We are not transient operators. We provide compute support from the Genesis Block, guaranteeing Liveness and Finality for the networks we serve.
A unified acceleration API for developers. Submit requests easily and get proofs fast.
Zero-DevOps: No infrastructure management required. Focus on your application, not your servers.
Smart Orchestration: Intelligent routing and load balancing across our compute fleet for optimal cost and performance.
What sets FidCore apart from generic cloud providers:

High Performance GPU Capacity Thousands of GPU machines with RTX 5090/4090, delivering high performance and cost-effective computing power.
ZPrize Award-Winning Team ZK-optimized computing capabilities from a team recognized with ZPrize awards for cryptographic acceleration.
ASIC Customization Capability Custom ASIC computing power through strategic partnership with advanced ASIC vendors for specialized workloads.
Proven Operations Experience Professional and extensive experience in operating large-scale computing clusters at production level.
From ZKPool to FidCore, the name changes, but our pursuit of Math Trust via verifiable computing remains constant. We believe a Math Trust supported world will be more transparent, more individual-sovereign, and more efficient, and it will be a more civilized world, especially in the coming AI & Robots time.
We look forward to deepening our collaboration with global ZK protocols, Layer 2 networks, and AI privacy projects. Whether you need bootstrap compute support or customized hardware acceleration, FidCore is ready.
Let us build the physical foundation of the decentralized world together.
Connect with FidCore:
🌐 Website: fidcore.xyz
Our conviction in ZKP (Zero-knowledge Proof) and FHE (Fully Homomorphic Encryption) as the bedrock of trust has never wavered. Since entering the space in 2022, we have been builders, not just participants.
Our track record reflects a dedication to cryptography compute acceleration:
Hardware Acceleration: Accelerated GPU solution for Halo2/Aleo/RiscZero, FPGA ZPrize & ASIC acceleration solutions exploration.
Node Operations: Operated Prover Nodes for top-tier ZK-Rollups like Taiko, ensuring early network stability.
Technical Excellence: Research on various ZKVM solutions, like RiscZero ZKVM/SP1 ZKVM/Aleo ZKVM...
Scale Contribution: Contributed massive compute resources to the Boundless prover network and supported the SP1 ecosystem as an early partner.
Continuous Expansion: We are currently actively testing and deploying infrastructure for frontier protocols like Zisk, Aztec, Brevis, Nockchain, and Psy.
Crucially, we have established a strategic partnership with Intchains (Nasdaq: ICG) to co-develop ZK ASIC products and research next-generation algorithms. This DNA of "Software-Hardware Co-design" is what distinguishes us from generic providers.
Standing here in 2026, we see a qualitative shift in the ZK landscape:
From Theory to Production: ZKVM technology has matured. Networks like Boundless now orchestrate hundreds of trillions of proved cycles. ZK-Rollup mainnets like Taiko and Scroll have demonstrated resilience over long operational periods.
The Ethereum Endgame: The Ethproofs initiative from Ethereum Foundation is pushing Layer 1 towards a ZK future. This is a milestone event—it means ZK is no longer an optional patch, but the necessary path to achieving decentralization, security, and performance simultaneously.
We believe Verifiable Computing will become the core infrastructure of the decentralized web, just as electricity is to modern industry.
However, there is a gap in the supply side: General cloud providers (like AWS) are too expensive for continuous cryptographic workloads, while hobbyist operators lack the stability required by institutional protocols. The industry demands an "Industrial Compute Grid"—massive, performant, stable, and cost-effective.
To bridge this gap, we built FidCore—a trusted infrastructure platform for verifiable computing. Our services are structured into two complementary offerings:

High performance and cost-effective computing capacity for ZK and FHE networks.
Hybrid GPU & ASIC Acceleration: We orchestrate GPUs and custom ASICs to deliver optimal performance for diverse cryptographic workloads.
Elastic Scale: Dynamically scale compute resources to match protocol demands, from testnet to mainnet and beyond.
We are not transient operators. We provide compute support from the Genesis Block, guaranteeing Liveness and Finality for the networks we serve.
A unified acceleration API for developers. Submit requests easily and get proofs fast.
Zero-DevOps: No infrastructure management required. Focus on your application, not your servers.
Smart Orchestration: Intelligent routing and load balancing across our compute fleet for optimal cost and performance.
What sets FidCore apart from generic cloud providers:

High Performance GPU Capacity Thousands of GPU machines with RTX 5090/4090, delivering high performance and cost-effective computing power.
ZPrize Award-Winning Team ZK-optimized computing capabilities from a team recognized with ZPrize awards for cryptographic acceleration.
ASIC Customization Capability Custom ASIC computing power through strategic partnership with advanced ASIC vendors for specialized workloads.
Proven Operations Experience Professional and extensive experience in operating large-scale computing clusters at production level.
From ZKPool to FidCore, the name changes, but our pursuit of Math Trust via verifiable computing remains constant. We believe a Math Trust supported world will be more transparent, more individual-sovereign, and more efficient, and it will be a more civilized world, especially in the coming AI & Robots time.
We look forward to deepening our collaboration with global ZK protocols, Layer 2 networks, and AI privacy projects. Whether you need bootstrap compute support or customized hardware acceleration, FidCore is ready.
Let us build the physical foundation of the decentralized world together.
Connect with FidCore:
🌐 Website: fidcore.xyz
Share Dialog
Share Dialog
No activity yet