What is Solver-Based DEX Execution?

Solver-based DEX execution is a trading model in which specialized agents — solvers — compete to fill a trader's order using the most efficient available liquidity sources. Rather than a trader routing directly to a specific AMM pool, the order is expressed as an intent, and solvers bid to fulfill it by finding the best execution path across DEXs, private market makers, and peer-to-peer matches. The solver that delivers the best outcome wins and executes the trade.

Solver-Based Execution Defined

In standard DEX trading, the execution path is determined by whoever submits the transaction — typically the trader or an aggregator acting on the trader's behalf. A transaction specifies which pool to use, what slippage is acceptable, and when to execute. This is single-path, real-time execution: the path is fixed at transaction construction.

Solver-based execution replaces this with a competitive delegation model:

1. The trader signs an intent — a message specifying desired inputs, outputs, conditions, and expiry — rather than a fully specified transaction
2. This intent is broadcast to a solver network
3. Solvers examine the intent and determine whether they can fill it profitably
4. Competing solvers submit settlement proposals — execution paths they can deliver
5. The protocol selects the winning proposal (typically the one delivering the best output for the trader)
6. The winning solver executes and settles the trade

The trader receives the best available outcome from the competing solvers. The solver captures any execution efficiency above the minimum output specified in the intent.

The critical innovation: solvers are not limited to routing through AMM pools. They can access private market makers (PMMs), match opposing orders peer-to-peer, route across multiple venues simultaneously, and use any other liquidity source they have access to. This breadth is impossible for a standard user constructing a transaction manually, and difficult to replicate with a centralized routing engine.

CoWSwap is the most prominent implementation of solver-based DEX execution on Ethereum. Definitive incorporates solver-like mechanics in its PMM routing layer — querying 15+ private market makers who compete to fill orders at the best available price, alongside 100+ DEX routes.

How Solvers Compete for Your Order

Understanding solver competition requires understanding what makes it economically viable for solvers to participate:

The solver opportunity. When a trader specifies a minimum output in their intent, any execution that delivers more than that minimum generates a surplus. In a competitive solver system, this surplus is captured by the winning solver. The trader receives the minimum specified, and the solver keeps the difference as execution profit. This creates a direct economic incentive for solvers to find increasingly efficient execution paths.

The auction mechanism. Most solver-based systems run sealed-bid or real-time auctions. Solvers analyze the incoming intent, calculate the best execution path available to them, and submit a settlement proposal. The system selects the best proposal — typically defined as the one delivering the highest output to the trader. Solvers do not know what competing solvers are proposing, which encourages them to submit their best price.

Batch auctions. CoWSwap and similar systems run batch auctions: rather than settling one intent at a time, the system accumulates multiple intents over a short window and runs a joint optimization. Solvers can propose settlement plans for the entire batch, including peer-to-peer matches between opposing intents. This allows them to find coincidences of wants — cases where one trader's sell is exactly matched by another's buy — which eliminates AMM fees for matched trades.

Settlement guarantees. Solvers cannot deliver less than the minimum output specified in the intent. The settlement smart contract enforces this: if a solver's proposal doesn't meet the minimum, it does not execute. This guarantee allows traders to delegate execution without trusting solvers blindly.

Who participates as solvers? Solver networks in production include:

• Dedicated solver firms with proprietary routing infrastructure
• Market makers with broad liquidity access
• Algorithmic trading firms optimizing across execution venues

Solver quality determines execution quality. Systems with large, competitive solver networks tend to deliver better prices than those with a small number of solvers or a single internal router.

Solver vs AMM vs Order Book

Solver-based execution fits into the broader DeFi execution landscape alongside AMMs and onchain order books. Each model has different characteristics:

AMM (Automated Market Maker):

AMMs like Uniswap, Curve, and Raydium use mathematical formulas (x*y=k being the simplest) to determine price based on pool reserves. Execution is predictable — price is determined by the formula. However:

• Large orders move price against the trader (price impact)
• Transactions are visible in the mempool, creating MEV exposure
• Execution path is limited to the specified pool
• Liquidity is fragmented across many pools across many AMMs

AMMs are the foundational liquidity layer of DeFi, but they are not optimized for professional trade execution.

Onchain Order Book:

Onchain order books match buyers and sellers at specified prices, similar to a traditional exchange. dYdX (v3 on Ethereum) and some Solana-native platforms (Phoenix, OpenBook) use this model. Order books theoretically provide better price discovery than AMMs and avoid the price impact curve.

In practice, onchain order books face constraints: order placement and cancellation require gas, market makers must post transactions to update quotes, and throughput is limited by block times. Solana's architecture is more amenable to onchain order books than Ethereum's, which is why the model is more prevalent there.

Solver-Based Execution:

Solvers access AMM pools as one of many liquidity sources, but can also route to PMMs, match peer-to-peer, and combine paths across the full liquidity landscape. Key advantages:

• Access to the broadest set of liquidity sources
• MEV protection (intents are not live transactions)
• Competitive pressure drives solvers to find best available prices
• Can match opposing orders without touching AMM pools (fee elimination)

Key considerations:

• Requires trust in settlement contract correctness
• Auction latency adds time between order submission and execution
• Solver quality is variable — competitive networks outperform sparse ones

For most large professional trades, solver-based execution delivers superior outcomes to direct AMM execution. The combination of broader liquidity access and competitive pressure typically results in better prices, especially as order size grows.

Benefits for Large Orders

Solver-based execution's advantages compound with order size:

PMM access. Private market makers specialize in large block trades. They quote tighter spreads for institutional-sized orders than AMM pools can provide — AMMs are designed for continuous liquidity across a range of sizes, not optimized for block pricing. Solvers with PMM relationships can route large orders to PMMs, significantly improving execution quality at size.

Reduced price impact. AMM price impact is nonlinear: a $10M swap through a single AMM pool moves price far more than 10x a $1M swap. Solvers can split large orders across multiple pools and venues, distributing impact and improving the average execution price.

MEV protection at scale. MEV bots prioritize profitable targets. A $1M visible swap in the mempool is a significantly more attractive front-running target than a $10,000 swap. Intent-based submission removes large orders from the mempool, providing structural protection that is more valuable at larger sizes.

Batch matching for large opposing flows. A solver processing a large batch may find offsetting orders — a large buy matching a large sell. Settling these peer-to-peer eliminates AMM fees for both parties. The surplus created is shared between solver incentive and trader price improvement. This mechanism is only available in systems running batch auctions.

TWAP as repeated intents. A TWAP order on a solver-based system can be executed as a series of intents, each competed by solvers independently. This allows each execution slice to benefit from solver competition, rather than routing all slices through a fixed path. For large TWAP orders, this can meaningfully improve the average execution price across the full window. See our TWAP guide for detail on how TWAP execution works.

Frequently Asked Questions

What is a DEX solver?

A DEX solver is a specialized agent that participates in an intent-based trading system by finding the best execution path for trader orders. Solvers analyze incoming trade intents, construct optimal settlement proposals using available liquidity sources (AMMs, PMMs, peer-to-peer), and submit those proposals in competition with other solvers. The winning solver — whose proposal delivers the best outcome for the trader — executes the trade and captures execution efficiency as revenue.

How does solver-based execution differ from a standard DEX aggregator?

A standard DEX aggregator (like a 1inch or a basic router) uses a single internal routing engine to find the best path at transaction time and broadcasts a specified transaction. A solver-based system accepts an intent and delegates path-finding to multiple competing external solvers. The key difference is competition: multiple solvers race to fill the order, driving prices toward the best available execution. Aggregators optimize with one engine; solver systems optimize through competitive market dynamics.

Is solver-based execution safe?

Safety depends on the settlement smart contract. In properly designed systems, the settlement contract enforces minimum output guarantees — a solver cannot deliver less than what the trader specified. The trader's risk is that the settlement contract is buggy or exploitable, which is why smart contract audits are critical. Assuming a well-audited settlement contract, solver-based execution eliminates the need to trust any individual solver.

Do solvers have access to private information about my order?

In most systems, the intent submitted to the solver network specifies the trader's minimum acceptable output. Solvers see this minimum but not the trader's "true" reservation price — only what the trader declared as acceptable. This design prevents solvers from exploiting hidden preferences. In batch auction systems, the solver sees all intents in the batch but cannot act selectively on that information, as the settlement is atomic.

Which DEX platforms use solver-based execution?

CoWSwap is the most prominent example on Ethereum, using batch auctions and a competitive solver network. UniswapX uses a similar intent-based model with solver competition. Definitive incorporates solver-like mechanics in its PMM routing layer — querying 15+ private market makers who compete to fill orders alongside 100+ DEX routes — providing professional-grade execution depth across nine chains.

Ready to trade onchain with institutional-grade execution? Try Definitive — gasless, multichain, and built for serious traders.