288 Million Proofs Implemented: Brevis Pushes "Verifiable Computing" to the Eve of Explosion
TechFlow Selected TechFlow Selected
288 Million Proofs Implemented: Brevis Pushes "Verifiable Computing" to the Eve of Explosion
As the infinite computing layer for all things, Brevis is not built solely for Ethereum, but possesses robust implementation capabilities across diverse production-level application scenarios in the multi-chain ecosystem.
Navigating Web3 tides with focused insightsAuthor: TechFlow
Standing in Vitalik's position, every move is under the spotlight.
If he mentions a project on social media once, people speculate about the underlying motives. But if he repeatedly retweets or comments on a project, even describing it as "exciting," no speculation is needed—it signifies long-term attention and high recognition.
You probably already know this project: the ZK smart verifiable computing platform Brevis.
In October 2025, Brevis announced the launch of its zkVM Pico Prism, achieving real-time Ethereum proof generation on consumer-grade hardware. With support from retweets by Vitalik Buterin, the official Ethereum Twitter account, and Ethereum OG researchers, Brevis officially stepped onto the core stage of future Ethereum scaling.
While the Ethereum ecosystem rejoiced over the prospect of a 100x scaling by 2026 due to Brevis's series of technical milestones, Brevis further demonstrated through heavyweight ecosystem partnerships with Usual, PancakeSwap, Aster, Euler, Linea, Uniswap, and others:
As the infinite computing layer for everything, Brevis is not built solely for Ethereum but possesses robust implementation capabilities across diverse production-grade application scenarios in a multi-chain ecosystem.
In an October public interview, Brevis Co-founder and CEO Michael stated:
We hope that in ten years, 99% of EVM-related computations will occur off-chain and be made verifiable through Brevis.
From the future of Ethereum scaling to the 288 million proofs already generated in production-grade scenarios, how many years will the wave initiated by Brevis accelerate Ethereum's future? And how far will it push the boundaries of ZK verifiable computing in production environments?
Market Downturn, But Brevis is Absolutely Hot
This is a project with a shining star aura from any perspective.
In 2023, as the ZK narrative entered a cooling period, a group of computer science PhDs and Crypto OGs, graduates from prestigious universities like UIUC, MIT, Berkeley, and Princeton, united with the vision of "making large-scale computation verifiable" and entered the field, giving birth to Brevis.
The profound academic background of the core team shaped Brevis's rigorous style in technical implementation and frequently led to breakthroughs that propelled Brevis beyond its niche. The recent achievement of real-time Ethereum proof generation on consumer-grade hardware, which triggered a full-scale response from core figures including Vitalik Buterin, the official Ethereum Twitter, and Ethereum OG researcher Justin Drake, is still a topic of community admiration.
Vitalik Buterin retweeted and called it: an important step forward in ZK-EVM verification speed and diversity.
The official Ethereum Twitter wrote upon retweeting: a big step towards Ethereum's future.
Ethereum OG researcher Justin Drake authored a lengthy article introducing zkVM Pico Prism, stating: Ethereum's future is bright.
"Academic" was once one of the most prominent labels associated with ZK. Amid skepticism about ZK's prolonged conceptual stage and delayed implementation, "academic" sometimes became a veiled critique for ZK.
As pragmatic academics, Brevis's core team members were certainly aware of this. While pursuing technical rigor, they consistently adhered to demand-driven product development. ZK is not the goal but a means.
This philosophy drove Brevis to move from the lab to practical application early on:
According to the ecosystem page on its official website, Brevis has established partnerships with dozens of projects, covering DeFi, infrastructure, stablecoins, and other sectors. Among them, we easily spot well-known names like PancakeSwap, Metamask, Linea, Uniswap, and Aster. Currently, Brevis has generated over 288 million ZK proofs, served over 200,000 users, distributed $230 million in verifiable reward computations, and drives a TVL exceeding $2.54 billion.
The capital market also cast its vote of confidence in Brevis early:
In September 2024, Brevis completed a $7.5 million funding round, attracting co-lead investments from Polychain Capital and Yzi Labs, with participation from IOSG Ventures, Nomad Capital, Bankless Ventures, Hashkey, and several undisclosed angel investors.
Therefore, calling Brevis "hot" is not an exaggeration.
But a project's true weight never lies solely in the recognition it receives; it fundamentally lies in how it brings real change to the world. Brevis's status as a star project is inseparable from the technical feasibility of its solutions and its capability for large-scale implementation.
Behind the "Infinite Computing Layer for Everything" Narrative: How Does Brevis Achieve It?
In summary, Brevis's core is: off-chain computation, on-chain verification.
As an infrastructure platform focused on zero-knowledge (ZK) verifiable computation, Brevis moves expensive, constrained on-chain computations to efficient off-chain environments for execution, then securely brings the results back on-chain using ZK proofs. There's no need to worry about soaring Gas costs or security and trust issues.
Centered around the vision of an "infinite computing layer for everything," the Brevis ecosystem comprises three core product components: Pico zkVM, ZK Data Coprocessor, and ProverNet.
Pico zkVM can be seen as the engine of Brevis's "infinite computing layer" vision. It is designed for building secure, scalable, high-performance decentralized applications and boasts a series of core advantages compared to other zkVMs:
First, Pico zkVM is flexible and low-barrier. Its modular design allows developers to customize functions like building blocks. It supports developers writing arbitrary programs in Rust while being RISC-V compatible, eliminating the need to learn complex circuit languages or manually optimize recursion. Developers can simply adjust a few lines of configuration to optimize performance, cost, and security for their specific applications.
More importantly, Pico zkVM is faster and can prove any computation, fundamentally solving the challenge of ZK's large-scale adoption. The multi-GPU version of Pico Prism, launched in 2025, achieved 99.6% real-time proof coverage for Ethereum mainnet blocks on consumer-grade hardware, making Brevis the world's fastest zkVM. Compared to the second-place SP1 Hypercube solution, Pico Prism is 32 times faster while reducing GPU hardware costs by 50%, supporting lower-cost, higher-efficiency proof generation.
Furthermore, through collaboration with another core feature, the ZK Data Coprocessor, Pico zkVM will achieve a performance surge in processing historical on-chain data, making it more practical and capable of large-scale adoption in production environments.
The ZK Data Coprocessor is arguably Brevis's most mature and widely adopted product. Its core function is to enable smart contracts to access and compute any historical on-chain data in a trustless, low-cost manner, akin to equipping contracts with an "infinite historical database."
Previously, contracts wanting to read historical data generally had two choices: query slowly themselves, incurring exorbitant Gas fees, or rely on centralized oracles, which posed trust and security risks.
The ZK Data Coprocessor offers a third option: it not only accesses almost all historical on-chain information but also has a very low usage barrier. Developers can call data without understanding ZK circuits. Brevis's backend automatically pulls real historical data from the chain, efficiently generates ZK proofs, and verifies them. The entire process incurs minimal Gas costs and is completely trustless.
The final key product module is ProverNet: This is a decentralized ZK proof generation marketplace where any application can submit proof requests, and any professional prover can bid to complete the tasks.
We know that proof requirements vary widely across different projects and scenarios. If each application builds its own proof infrastructure, it's not only costly but also inefficient.
ProverNet aims to place proof generation into an open market: applications submit requests, professional provers quote and respond to requests, complex tasks can be decomposed into subtasks for collaboration among different provers, and generated proofs can be verified on any target chain.
Tasks are matched through Brevis's Truthful Online Double Auction (TODA), and ProverNet runs on Brevis's dedicated Rollup, Brevis Chain, further ensuring efficiency. Currently, ProverNet has launched its Mainnet Beta version.
These three product components are nested layers: The ZK Data Coprocessor handles "data access," Pico zkVM solves the "secure and efficient proof generation" problem, and ProverNet determines who proves and how to optimize proof generation through the market, forming a complete "infinite verifiable computation" closed loop.
Discussing technology alone might still be abstract for many newcomers.
Fortunately, Brevis boasts a rich array of application scenarios, helping users quickly understand its core advantages and the core value of realizing the "infinite computing layer for everything" through vivid, concrete examples.
From Ethereum Scaling to 288 Million Proofs: True Large-Scale Implementation
The most discussed use case for Brevis is undoubtedly Ethereum scaling.
In July 2025, the Ethereum Foundation published the article "Shipping an L1 zkEVM #1: Realtime Proving," formally confirming the L1 zkEVM scaling roadmap: a node generates a ZK proof for a block, and this proof can be verified by millions of nodes across the network, requiring only one ten-thousandth (or less) of the block's computation power for verification.
This aligns highly with Brevis's technical direction and was fully ignited by the launch of Brevis's zkVM Pico Prism.
On October 15, 2025, Brevis announced that its zkVM Pico Prism had achieved real-time Ethereum proof generation on consumer-grade hardware: using 64 RTX 5090 graphics cards, it completed proofs for 99.6% of Ethereum L1 blocks within 12 seconds, with 96.8% of block proofs meeting the Ethereum Foundation's standard of under 10 seconds. In tests on September 1, 2025, under Ethereum's current 45M gas limit, Pico Prism's average proof time was only 6.9 seconds.
This means, theoretically, through zkVM Pico Prism, Ethereum could achieve immediate 10x to 100x scaling. Moreover, since Pico zkVM supports multi-GPU parallel computing, Brevis could even achieve truly infinite scaling without adding massive additional computational resources.
At the ETH Devconnect conference in November 2025, Ethereum OG researcher Justin Drake demonstrated Brevis's Pico ZKVM completing a new consensus algorithm via a live demo. Shortly after, Vitalik also tweeted sharing potential future Ethereum improvements in this direction. The breakthrough progress of Brevis Pico ZKVM transformed the Ethereum L1 zkEVM scaling roadmap from a plan into an achievable future.
Although Brevis's achievement of real-time Ethereum proof generation sparked widespread discussion, Brevis's value extends far beyond Ethereum.
Theoretically, Brevis's logic of "off-chain computation, on-chain verification" applies to any scenario. Furthermore, Brevis's tech stack is multi-chain compatible, pursuing the realization of "infinite computing for everything." This is another core advantage of Brevis beyond technology: large-scale implementation in real-world scenarios.
If you are an active participant in the crypto world, you have likely already experienced Brevis's services without realizing it.
Over the past year, Brevis has established deep partnerships with dozens of leading protocols, covering almost all top projects in DeFi, stablecoins, DEXs, and L2 ecosystems, further demonstrating industry recognition. Each partnership is not a superficial "concept integration" but a genuine, large-scale application in production environments, showcasing the immense value of verifiable computing across multiple scenarios.
The collaboration between Brevis and PancakeSwap is one of the most typical cases: Traditional DEXs cannot access historical data at low cost, making personalized experiences difficult. By partnering with Brevis, complex logic is executed off-chain and verified on-chain, generating trading volume proofs for users. Smart contracts then execute different fee rates based on these proofs, enabling more refined user experience management and evolving PancakeSwap from a uniform-fee DEX into a platform that intelligently responds to user behavior.
Additionally, the CPI (Continuous Protocol Incentives) model pioneered by Brevis in collaboration with Usual is seen by many as a new paradigm replacing traditional airdrops and snapshot-based incentives: The Brevis ZK Coprocessor identifies truly contributing participants by continuously tracking users' real behavior within the Usual ecosystem. Similar initiatives are underway in ecosystems like Euler and Linea, using ZK proofs to build complex incentive distribution models, ensuring fairness, rationality, security, and transparency in incentive allocation.
Furthermore, on October 24, 2025, the Uniswap Foundation officially announced awarding Brevis a grant of up to $9 million for developing and operating the Hooks Routing Rebate Program. This program aims to leverage the high efficiency, low cost, and trustless nature of Brevis ZK proofs to incentivize DEX aggregator products to integrate v4 hooked pools faster, ultimately benefiting users in terms of liquidity, slippage, and transaction fees.
Recently, Brevis also announced a partnership with the multi-chain DEX Aster, aiming to optimize the speed, security, and privacy of perpetual DEXs through verifiable computing technology. Brevis can migrate complex on-chain computations off-chain and generate zero-knowledge proofs to reduce on-chain verification costs. Both parties will explore feasible solutions to protect user position privacy while ensuring market transparency.
These functions once deemed "too expensive, too slow" to implement are now being realized one by one through Brevis, bringing higher trading efficiency, fairer value distribution, and superior user experiences.
In the future, as more ecosystem partnerships unfold and the ProverNet market mechanism matures, the value of Brevis's verifiable computing will penetrate deeper into a broader and richer array of scenarios.
Making Verifiable Computing the Default Setting for Next-Generation On-Chain Applications
In the current somewhat dull cycle of the crypto market, attention has become more honest: things that don't deliver consistently are rarely mentioned repeatedly.
Brevis's "heat" doesn't stem solely from prestigious university backgrounds, investor lists, or retweets from Vitalik. It lies in aligning with a stronger consensus: making verifiable computing the default setting for next-generation on-chain applications and accelerating the arrival of the verifiable computing future through rich implementation scenarios.
And precisely because of the 288 million proofs Brevis has created in real-world scenarios, we can more clearly perceive that after years of exploration, ZK verifiable computing is truly on the eve of a comprehensive explosion.
Of course, before truly reaching that explosion, Brevis's future still faces many uncertainties. For instance, the current Pico Prism still has room for optimization. Brevis indicated the next step is focusing on reducing proof costs, planning to achieve 99% real-time proof coverage using fewer than 16 RTX 5090 GPUs within the coming months. Additionally, Brevis's ecosystem economic cycle has not yet fully commenced.
In the future, with technological breakthroughs, the completion of economic modules, and the achievement of a series of milestones, can Brevis transform challenges one by one into opportunities to prove its value, continuously delivering "verifiable results" across broader multi-chain scenarios?
Standing within the trend of the verifiable computing future, we remain expectant.
Join TechFlow official community to stay tuned
Telegram:https://t.me/TechFlowDaily
X (Twitter):https://x.com/TechFlowPost
X (Twitter) EN:https://x.com/BlockFlow_News
深潮TechFlow
