ProverNet Goes Live on Mainnet in Beta
Brevis, a company focused on infrastructure for smart, verifiable applications using zero-knowledge proofs, has announced the launch of ProverNet on mainnet in beta. ProverNet is a decentralized marketplace designed for the generation of zero-knowledge (ZK) proofs. This launch follows closely after the release of the ProverNet whitepaper, which detailed the architecture of the world's first decentralized marketplace featuring continuous auctions for ZK proof generation.
How ProverNet Operates
ProverNet functions as a decentralized on-chain marketplace that connects ZK proof workloads from various applications with specialized provers optimized for executing these tasks. Applications submit proof requests outlining their specific requirements, and provers then place bids based on their hardware capabilities, operational costs, and performance metrics. The network's auction mechanism dynamically assigns each proof job to the most suitable prover in real time, ensuring efficient, scalable, and economically aligned ZK proof generation.
Current Capabilities and Partnerships
The mainnet beta is now operational, facilitating real-time matching of applications and provers and providing permissionless access to specialized proving capacity. This network has been developed based on extensive experience from large-scale ZK deployments, having generated over 250 million proofs for more than 30 partners. These partners include prominent names such as PancakeSwap, Uniswap, Linea, MetaMask, and BNB Chain. The launch represents a significant step towards making verifiable computation an open and accessible commodity.
Vision for Proof Generation
“ProverNet is the infrastructure layer we wished existed when we built our first large-scale ZK deployments,” said Michael, CEO and Co-founder of Brevis. “It turns proof generation into a market, letting provers specialize and applications get the right resources instantly, rather than being bottlenecked by one-size-fits-all infrastructure.”
Mainnet Beta Functionality and Future Upgrades
The ProverNet marketplace is fully functional in its beta phase, with continuous proof auctions conducted on-chain. These auctions utilize TODA, the Truthful Online Double Auction, to efficiently match diverse ZK jobs across various hardware configurations. During the beta period, payments are settled in USDC. Provers can already register their nodes and begin competing for tasks, with newly published documentation available for GPU and CPU setups. Applications can now directly access proving capacity, eliminating the need to manage their own proving infrastructure and enabling immediate integration through straightforward request interfaces.
Looking ahead, the mainnet beta serves as the foundation for several upgrades planned for the full launch. The BREV token will be introduced to replace USDC as the native settlement currency. This token will enable provers to secure work, participate in protocol rewards, and contribute to network reliability. Brevis also intends to migrate existing production workloads to ProverNet, beginning with a portion of Ethereum block execution proofs from ETHProofs.org. As the proving volume and job heterogeneity increase, the network will transition to a dedicated app-specific rollup optimized for high-throughput proving operations, implementing the full economic and operational model outlined in the whitepaper.
Addressing ZK Proving Challenges
ZK proving has become a fundamental component of blockchain infrastructure. However, current proving systems are often optimized for single workloads, making them ill-suited for the varied demands of modern ZK applications. Brevis's extensive experience in generating millions of proofs has demonstrated that each proof requires a unique combination of hardware, latency tolerance, and specific proof system parameters. ProverNet's market-based architecture is designed to resolve this mismatch. This approach allows applications to avoid vendor lock-in, provides provers with access to global demand tailored to their capabilities, and fosters a more collaborative ZK ecosystem through shared infrastructure rather than fragmented solutions.
Invitation to Participate
With the marketplace now live, Brevis encourages both provers and applications to join the mainnet beta. Participants are invited to contribute feedback to help shape the future of the ZK ecosystem's proving infrastructure. The full mainnet launch is anticipated to follow shortly.
About Brevis
Brevis operates as the infinite compute layer for Web3. It empowers applications to offload data-intensive and computationally expensive tasks from constrained on-chain environments to a high-performance off-chain engine. Every computation performed by this engine is cheaply and provably verifiable on-chain. The Brevis stack includes Pico zkVM for general-purpose verifiable computation, various coprocessors such as the ZK Data Coprocessor for trustless access to historical blockchain data, Pico Prism for real-time Ethereum block proving with 99.6% coverage and an average proving time of 6.9 seconds, and ProverNet, a decentralized marketplace for ZK proof generation informed by over 250 million proofs generated across more than 30 protocols on six blockchains.