TL;DR
Brevis and Dextr are collaborating to revolutionize MEV protection in DeFi! Dextr’s Actively Validated Market Maker (AVMM) prevents and compensates for MEV-related losses, while Brevis leverages zero-knowledge (ZK) proofs to ensure transparent, efficient, and decentralized claims processing. Together, they are building a resilient, trust-free infrastructure that enhances user confidence, reduces fees, and optimizes scalability.
Miner Extractable Value (MEV): A Persistent Challenge
Miner Extractable Value (MEV) represents one of the most pressing challenges in the DeFi ecosystem, with over a billion dollars lost annually to malicious practices like front-running and sandwich attacks. These losses undermine user trust and compromise the integrity of decentralized systems. While existing solutions attempt to address MEV through redistribution or delay mechanisms, they often fall short of providing comprehensive protection. Users are left vulnerable to exploitation, highlighting the urgent need for innovative, effective solutions.
A Partnership to Set New Standards
This is where Brevis and Dextr come in—we’ve joined forces to redefine MEV protection in DeFi. Dextr provides a transformative approach to MEV prevention, protection, and compensation. By combining Dextr’s robust economic security mechanisms with Brevis’s advanced ZK Data Coprocessing capabilities, this partnership ensures a fully decentralized, transparent, and efficient solution to one of DeFi’s most persistent issues.
Validating MEV insurance Claims
The key component of this partnership is Brevis’s role in processing MEV insurance claims. Without Brevis, claim processes risk being hindered by centralized decision-making, resulting in potential biases and manipulation. Brevis transforms this process by leveraging ZK proofs to validate claims based solely on historical on-chain data and verifiable insurance approval criteria. This ensures:
- Transparency: Claims are assessed transparently without manipulation or negligence.
- Efficiency: Costs and complexities of claim verification are significantly reduced.
- Fairness: Users can engage confidently, knowing that claims are handled purely based on code and ZK proofs in a decentralized and unbiased manner.
Operator Slashing and Compensation
Additionally, Dextr’s approach to MEV protection allows users to challenge front-running or unfair order executions against the AVS validators approving these transactions. The process begins when a user submits a hashed representation of the transaction, including details such as:
- Order ID: Unique trade identifier.
- Timestamp: Precise timing of order placement and execution.
- Price: Matching price at the time of the transaction.
- Trading Pair: Assets involved in the trade.
For liquidity provider claims, additional parameters like REP scores and fee discount offers are also validated.
Using ZK proofs, Brevis processes these challenges by accessing on-chain historical data to confirm whether front-running or unfair execution occurred. If confirmed, Dextr’s smart contract calculates the user’s losses, penalizes dishonest operators, and compensates the user—drawing from insurance reserves and underwriter pools as necessary.
If the challenge is invalid, the challenger’s refundable fee is slashed, ensuring accountability for all parties involved.
Looking Ahead
Beyond claim verification, Brevis can enhance Dextr’s infrastructure by offloading computational workloads such as on-chain order matching. This optimization results in:
- Lower Transaction Fees: Reduced costs for end-users.
- Faster Processing Times: Improved trading efficiency.
- Enhanced Scalability: Support for Dextr’s growing transaction volume without compromising trust and security.
Together, Brevis and Dextr are setting a new benchmark for accountability and user protection in DeFi. By leveraging cutting-edge technologies, this partnership empowers users to trade and provide liquidity with greater confidence, efficiency, and assurance.
As the DeFi landscape continues to evolve, Brevis and Dextr remain committed to driving innovation and fostering a resilient ecosystem. With Brevis’s ZK proof technology and Dextr’s economic security model, the future of decentralized trading is not only brighter but also fairer and more inclusive.
We’re excited to be working together with Dextr and can’t wait to share more updates as we roll out these exciting new features. If you’re also interested in building with Brevis, don’t hesitate to get in touch and we’ll help you get started—get connected with a builder now!
Plus, we’ve recently launched Brevis v2, expanding our ZK Data Coprocessing capabilities—significantly improving scalability and performance! Check out the details here!
About Dextr
Dextr is launching the world’s first Actively Validated Market Maker (AVMM) with built-in MEV compensation and adaptive liquidity management powered by EigenLayer. It tackles major flaws in traditional AMMs, including low capital efficiency, poor price discovery, idle liquidity, high operational costs, MEV exploits, and the need for active liquidity management.
Learn more about Dextr:
➡️ Product Video
➡️ Whitepaper
➡️ Socials
➡️ Website
About Brevis
Brevis is a verifiable computing platform powered by zero-knowledge proofs, serving as the infinite compute layer for Web3. Applications can offload expensive computations off-chain while proving every result on-chain. The Brevis stack includes Pico zkVM for general-purpose computation, the ZK Data Coprocessor for trustless access to historical blockchain data, Pico Prism for real-time Ethereum block proving (99.6% coverage, 6.9s average), and ProverNet, a decentralized marketplace for ZK proof generation. To date, Brevis has generated hundreds of millions of proofs across 40+ protocols on 6 blockchains.
Dive Deeper into Brevis:
Website | X | Discord | Pico zkVM | ZK Data Coprocessor | Incentra | ProverNet
Interested in building with Brevis? Reach out to us to explore ideas!

