WebsiteSwap TwitterAnalytics
Search…
CoW Protocol Overview
Overview
Introduction
Batch Auctions
Coincidence of Wants
Signed Orders
Learnings & Improvements of GPv1
Road to Decentralization
Smart Contracts
Introduction
Allow-list authenticator
Settlement Contract
Vault relayer
Off-Chain Services
Introduction
API
Solvers
In-depth: Solver specification
Front End
Introduction
CoW Explorer
CowSwap
Creating App Ids
CoW Protocol Custom Linking
CoW SDK
Tutorials
Onchain Order Cancellation
Submit orders via the API
CoW Protocol trades with a Gnosis Safe Wallet
How to test a solver locally
Solver Workshop
How to write a solver
Powered By GitBook
Solver Workshop
FINDING THE BEST TRADING PATHS/SCENARIOS WITH YOUR SOLVER
Here is a full video tutorial/workshop on how to build your own solver https://www.youtube.com/watch?v=uW_w5yGSAPk&t=3s At the heart of the CoW protocol there are "solvers". In essence, a solver is a computer program that takes the orderbook as input, and computes the prices and traded amounts of all orders and liquidity sources (AMMs) that make the best possible overall trading experience. This problem, known as the batch auction problem, is an interesting and challenging optimization problem for which there is not a "perfect algorithm" for (and most likely will never be https://en.wikipedia.org/wiki/P_versus_NP_problem).
In the spirit of decentralization, in CoW Protocol multiple independent solvers compete for finding the best solution to the batch auction problem. Every few seconds, a round of the competition takes place giving the participating solvers the chance to solve a batch reflecting the most recent orderbook state. The solver that outputs the *best* solution is rewarded, and thus its solution is the one to be settled on-chain.
This bounty aims at incentivizing the development of CoW Protocol solvers. More specifically, the challenge is to write a solver that finds good solutions to the batch auction problem. A good solution must comply with the solution specification, and should map to a good objective value - both of which will be formally verified by the CowSwap driver.
There are different avenues to explore for designing a solver that is competitive, including, but not limited to,
- Developing an efficient optimization algorithm
- Identifying and solving special problem instances that are "easy" to solve.
- Considering more liquidity sources (AMMs) in addition to those that are supplied.
- Integrating external dex-aggregators.
References:
Tutorials - Previous
How to test a solver locally
Next - Tutorials
How to write a solver
Last modified 5mo ago
Copy link