BREV provides low-cost on-chain verification, building a decentralized ProverNet.
So What is Brevis? 🤷
ProverNet mainnet, BREV, and so many updates all within a single month. For anyone new or just catching up, let's break down what we've actually built.
The short answer: Brevis represents the broad category of verifiable computation. Our "compute off-chain, verify on-chain" model means we can tackle virtually any computational challenge without sacrificing decentralization or incurring prohibitive costs.
Here's how it all connects.
▶️Pico zkVM is our general-purpose zero-knowledge virtual machine. Devs write any program in Rust, Pico executes it off-chain and generates cryptographic proof that the computation ran correctly. A smart contract verifies a tiny proof instead of re-executing everything. This means Web3 applications can run complex logic, process large datasets, or perform calculations that would cost thousands in gas, all verified trustlessly for a fraction of the cost.
What makes Pico different is its modular architecture. A general-purpose core handles any logic while specialized coprocessors accelerate common operations by 10-80x.
▶️Pico Prism is what happens when we push that architecture toward Ethereum's scaling future. The Ethereum Foundation's roadmap calls for real-time block proving so validators verify proofs instead of re-executing every transaction. Pico Prism achieved 99.6% real-time coverage, placing us among the fastest zkVMs in production and directly aligned with Ethereum's ZK-based validation path.
▶️The coprocessors we mentioned can also be understood as standalone products. The ZK Data Coprocessor gives smart contracts memory. Normally, contracts can only see the current block. They can't access historical data without prohibitive costs. The coprocessor retrieves and analyzes blockchain history off-chain, then delivers results with cryptographic proof. This is how DEXes offer volume-based discounts, how protocols run loyalty programs, how reward distributions verify millions of addresses trustlessly.
Likewise, our zkML coprocessor handles privacy-preserving machine learning inference, while zkTLS enables verification of data from traditional web sources, bringing off-chain credentials and API responses on-chain with cryptographic guarantees.
Notice the pattern?
Brevis technology spans real-time Ethereum block proving, sub-second DEX fee calculations, multi-hour batch reward distributions, privacy-preserving ML inference, web2 data verification, and everything in between. These workloads are wildly different. Different latency needs, different hardware, different optimizations.
That heterogeneity is exactly why ProverNet exists.
▶️ProverNet is a decentralized marketplace where this diversity of proving capacity meets this diversity of proving needs. Applications submit requests with their exact requirements. Specialized provers compete for jobs they're built to handle. A continuous auction mechanism matches them efficiently.
BREV powers this network: payment for proving fees, staking collateral for provers, and governance over protocol parameters.
This is why we're also known as the Infinite Compute Layer for Everything. ♾
For the full breakdown, read our Brevis Guide: https://t.co/gIPUjQxqbK
