ZkCloud

ZkCloud is a production-ready universal cloud platform for ZK proof generation.

Generate proofs on ZkCloud for any verifiable chain or application at a fraction of the cost.

Explore proving with ZkCloud

Illustration of decentralized cloud computing by ZkCloud

Universal proving platform

About ZkCloud

ZkCloud is a high-performance compute platform optimized for ZK. It is designed to generate proofs for any verifiable chain or application at scale, handling both CPU and GPU workloads, as well as incorporating specialized hardware as it becomes available.

As a universal platform, ZkCloud supports any prover and proof system. ZkCloud offers integrations with zkVMs such as R0VM, SP1, ZisK, and supports networks like Ethereum, Aztec, ZKsync, Starknet, or Polygon with ZK proof generation.

Features

Why Choose Firestarter for ZK Proofs

New developer experience

Containers! We’ve rebuilt the Gevulot node from the ground up to support provers deployed as containers that now run in a Linux VM. This considerably streamlines prover and verifier deployment as developers don’t need to learn any new development patterns or tools.

Best cost-to-performance ratio

ZkCloud prover node hardware is designed to give the end-user the best bang for their buck without sacrificing performance. Furthermore, the user can define the exact resource requirements for their workload and only pay for what they use.

Infrastructure that scales

ZkCloud Firestarter is designed to be able to support thousands of prover nodes with minimal overhead making it ideal for large-scale parallelized workloads such as parallel RISC0 segment proving or Aztec proof tree construction.

Blockchain-backend for credits

Payment for Firestarter compute happens with Credits. Firestarter is running a full Cosmos SDK-based chain in the background which functions as an accounting layer for the platform.

Roadmap

Current roadmap status

We have delivered production-ready proving, and now we’re on our way to permissionless.

01
Firestarter
LIVE
A production-ready compute network with ludicrously low costs, low latency and optimal proving performance

Firestarter is designed to scale with near-term production demand.

Currently onboarding 1000+ prover nodes.
02
ZkCloud Testnet
LIVE
A dedicated network for testing consensus with geographically distributed validators.

E2E integration testing with wallets, exchanges, custodians, etc.

ZkCloud Testnet and Firestarter will run in parallel.
03
ZkCloud Mainnet
ETA Q2 2025
Fully permissionless, decentralized cloud optimized for zero-knowledge proving - powered by $PROOF

Seamless transition for production projects from Firestarter into ZkCloud Mainnet in 2025