Abstract: Discussing Brevis's core products and ecological expansion.

Author: Biteye core contributor @anci_hu49074

1. What is Brevis?

To understand Brevis, one cannot avoid ZK (zero-knowledge proofs).

We often say that blockchain is a shared ledger, where everyone keeps accounts to ensure fairness. However, its computational power is limited: each transaction must be verified repeatedly by all nodes, and it becomes as slow as a snail when handling complex tasks (like big data analysis or AI reasoning), as well as being prohibitively expensive.

The emergence of ZK technology is aimed at solving this 'computational power bottleneck'. You can think of ZK as a calculator for solving math problems—when faced with complex calculations, you no longer need to perform repeated calculations, but rather just press some keys to easily obtain the answer, with the result backed by 'machines', making it absolutely reliable.

Brevis is indeed a powerful 'ZK calculator'. Its goal is to help Web3 applications overcome the limitations of on-chain computing power by securely offloading complex computation tasks to off-chain execution, and then bringing the results back on-chain for verification through ZK proofs. This way, dApp developers can complete even the most complex calculations efficiently and with peace of mind, just like using a calculator in an exam.

2. Two core products

Brevis's core competitiveness is reflected in the two major products it has launched:

1. Pico zkVM: The 'Universal ZK Calculator' in the blockchain world.

Pico zkVM is a general-purpose zero-knowledge virtual machine developed by the Brevis team. It's akin to using a calculator to quickly compute the various expressions; Pico zkVM allows developers to freely choose different proof systems (such as STARK, CircleSTARK, etc.), various computation architectures (RISC-V instruction set), and even connect customized 'co-processor' modules for different applications. It adapts quickly to different business scenarios and optimization needs, balancing security, speed, and cost.

Compared to other zkVM competitors, Pico is 70-155% faster than RISC0, SP1, etc. on CPU, making it the fastest zkVM on a single GPU. Additionally, it supports Rust programming, allowing developers to focus on business logic without needing to master cryptography, enabling the construction of efficient applications and harnessing the power of ZK.

2. ZK Data Co-Processor: A high-end calculator that allows complex business operations to be executed with one click.

If Pico is an all-purpose basic calculator, the ZK data co-processor is an intelligent calculator that integrates 'advanced functions'. It is specifically designed for scenarios in the Web3 world that require handling large volumes of historical data, cross-chain data, and complex business logic. It encapsulates many tedious aggregation, analysis, and verification operations into standardized APIs, allowing developers to automatically complete all data processing and generate zero-knowledge proofs with one click for efficient verification on-chain.

Specific capabilities include:

  • Automatically statistic user behavior: For example, tracking user transaction volume, active duration, etc., to generate verifiable 'behavior scores' or 'reward eligibility'. Projects like Uniswap and PancakeSwap have already utilized this capability to achieve gas fee reductions and reward distributions.

  • Multi-chain data integration: Covering 5 major mainstream blockchains including Ethereum, BNB Chain, Base, etc., it can unify statistics on user assets, transactions, and participation across chains. Projects like Euler and Usual are implementing truly 'data-driven' multi-chain incentives through this solution.

  • One-stop on-chain complex business logic: Such as reward distribution, loyalty management, identity verification, etc., all logic can be directly invoked by smart contracts without relying on third-party or centralized services. Protocols like OpenEden, Thena, Kernel, and Vana are leveraging Brevis to promote the implementation of cutting-edge scenarios such as on-chain identity, cross-chain incentives, trustworthy AI data computation, and personalized recommendations.

The emergence of ZK data co-processors has greatly lowered the development threshold for utilizing ZK, allowing developers to leverage powerful capabilities without having to manually code complex proof logic, leading to rapid adoption by leading industry projects.

3. Ecological expansion

In addition to the typical use cases mentioned earlier, Brevis's influence is rapidly expanding across multi-chain and multi-field ecosystems. Statistics show that Brevis currently has nearly 8,000 daily active users, generating nearly 50 million verifiable computational proofs for over 70,000 users across 5 mainstream public chains. In the BNB Chain ecosystem, Brevis has been deeply integrated with major projects like PancakeSwap, Kernel, and Thena, effectively reaching and serving millions of daily active users, becoming the core force of the ZK technology stack on the BNB chain. Meanwhile, Pico zkVM has also been included in Ethereum's 'giga-gas' scaling plan, helping to significantly improve the throughput of the Ethereum main chain while ensuring security and decentralization. It is foreseeable that Brevis is poised to gradually build influence within the Ethereum ecosystem.

In the AI field, Brevis can ensure that every inference and decision made by an AI model can be mathematically proven, significantly enhancing the credibility and auditability of AI results. This is particularly important for industries such as finance and healthcare that require strict auditing and reliability, allowing every participant in a decentralized AI network to confidently contribute models and data without fear of forgery or tampering.

In the traditional Web2 domain, Brevis also has its place. For example, companies can use it to verify whether cloud service providers have completed tasks as required; various APIs and third-party services can also use it to prove their actions are genuine and reliable; industries like finance and supply chain can utilize Brevis for compliance and auditing at an encryption level in data processing and business processes. In short, Brevis makes 'trust' a verifiable fact.

4. Conclusion

For a long time, ZK technology has been like the final problem in a math competition—difficult, with a high threshold, and seemingly far from ordinary users and practical applications. The emergence of Brevis has transformed ZK from an 'incomprehensible book' into infrastructure accessible to everyone. Whether in DeFi, GameFi, AI, cross-chain applications, or various data-driven scenarios like reward distribution, identity verification, and user profiling, Brevis helps developers achieve innovation in a more efficient, secure, and accessible way. What do you think about the future of Brevis and ZK? Feel free to share your thoughts and insights in the comments.