The Constant Product Formula (x*y=k) is a mathematical invariant used by Automated Market Makers (AMMs) to determine asset prices algorithmically based on the available liquidity in a trading pool. In this formula, x and y represent the reserves of two different assets (e.g., ETH and USDC), and k is a constant product that must remain unchanged before and after any trade. This relationship ensures that as the quantity of one asset in the pool decreases (is purchased), the price of that asset increases relative to the other, creating a predictable and automated pricing curve without the need for a traditional order book.
LABS
Glossary
Constant Product Formula (x*y=k)
The Constant Product Formula (x*y=k) is the foundational mathematical invariant used by Automated Market Makers (AMMs) to determine asset prices based on the ratio of reserves in a liquidity pool.
Chainscore © 2026
definition
DEFINITION
What is the Constant Product Formula (x*y=k)?
The core mathematical mechanism governing liquidity in automated market makers (AMMs).
The formula's primary function is to maintain liquidity and enable continuous trading. When a trader swaps asset X for asset Y, they remove some y from the pool and deposit x. The AMM recalculates the new reserve amounts such that (x + Δx) * (y - Δy) = k. The size of the swap (Δy) is calculated to satisfy this condition, which inherently creates slippage: larger trades cause greater price impact as they move the ratio x/y further from its starting point. This price impact is the mechanism that defines the asset's spot price at any given reserve level.
This model was popularized by Uniswap V2 and is the foundation for many Decentralized Exchanges (DEXs). Its key characteristics include providing liquidity across an infinite price range (from 0 to ∞) and allowing anyone to become a liquidity provider (LP) by depositing an equivalent value of both assets. However, it also leads to impermanent loss for LPs when the price of the deposited assets diverges significantly, as the pool's value becomes less than simply holding the assets. Variations like the Constant Sum Formula (for stablecoin pairs) or Concentrated Liquidity (Uniswap V3) were developed to address its capital inefficiency for specific use cases.
how-it-works
MECHANICS
How the Constant Product Formula Works
An in-depth explanation of the core automated market maker (AMM) algorithm that powers decentralized exchanges like Uniswap, enabling permissionless token swaps without order books.
The Constant Product Formula is an automated market maker (AMM) algorithm defined by the equation x * y = k, where x and y represent the reserves of two assets in a liquidity pool, and k is a constant. This invariant ensures that the product of the two reserve quantities remains unchanged by any trade, which automatically determines the price of each asset based on its relative scarcity within the pool. For example, if a trader buys asset x from the pool, its reserve decreases, causing its price to increase relative to y to maintain the constant k.
The pricing mechanism emerges directly from the formula. The marginal price of an asset is the slope of the curve at a given point, meaning the price changes with each trade—a concept known as slippage. Larger trades execute at progressively worse prices as they move the ratio x/y further from its starting point, protecting liquidity providers from significant depletion of a single asset. This built-in slippage creates an arbitrage opportunity whenever the pool price deviates from the global market price, incentivizing traders to rebalance the pool to match external prices.
A critical property of this model is liquidity depth. The curve is convex, meaning liquidity is theoretically available at all prices, from zero to infinity, preventing the pool from ever being fully drained of a single asset. However, liquidity becomes exponentially more expensive as reserves of one token approach zero. This design provides continuous liquidity but requires careful pool parameterization, such as appropriate fee settings and initial deposit ratios, to minimize impermanent loss for providers when prices are volatile.
The formula's simplicity and security are its greatest strengths. It requires no external price oracles for basic operation, reducing attack vectors. Its deterministic nature allows anyone to calculate output amounts and pool states precisely. This elegant mechanism forms the foundation for countless decentralized exchanges (DEXs), liquidity pools, and complex DeFi primitives like flash loans, which rely on the predictable, on-chain execution of the x * y = k invariant to function trustlessly.
key-features
MECHANICS
Key Features of the Constant Product Model
The Constant Product Formula, expressed as x * y = k, is the foundational algorithm for Automated Market Makers (AMMs) like Uniswap V2. It defines the mathematical relationship between two assets in a liquidity pool.
01
Invariant `k`
The invariant k is the constant product of the reserve quantities of two tokens (x and y) in a pool. The AMM's core rule is that any trade must leave this product unchanged. This creates a predictable, deterministic pricing curve where increasing the purchase of one token exponentially increases its price relative to the other.
- Example: A pool with 100 ETH (x) and 300,000 USDC (y) has
k = 100 * 300,000 = 30,000,000. After a trade, the new reserves must multiply to this same value.
02
Price Discovery & Slippage
The price of token A in terms of token B is given by the ratio of the reserves: Price_A = y / x. Because the product k is fixed, large trades cause significant price movement, a phenomenon known as slippage. The price impact is non-linear; buying 10% of a reserve causes a greater than 10% price increase.
- This mechanism provides on-chain price discovery without an order book, but requires sufficient liquidity depth to minimize slippage for large trades.
03
Impermanent Loss (Divergence Loss)
Impermanent Loss occurs when the price ratio of the two pooled assets changes compared to when they were deposited. Liquidity providers (LPs) experience an opportunity cost versus simply holding the assets. The loss is "impermanent" because it is unrealized until withdrawal and can reverse if prices return to the original ratio.
- The loss magnitude increases with the degree of price divergence. It is an inherent trade-off for earning trading fees.
04
Liquidity Provision & Fees
Users become Liquidity Providers (LPs) by depositing an equivalent value of both tokens into the pool, minting LP tokens representing their share. They earn a fee (e.g., 0.3% on Uniswap V2) from every trade, proportional to their share of the pool.
- Deposits must maintain the pool's current reserve ratio. If the pool has 100 ETH and 300,000 USDC, a new LP must deposit at a 1 ETH : 3,000 USDC ratio.
05
Arbitrage Enforcement
The model relies on external arbitrageurs to correct pool prices to match the broader market. If the pool price deviates from external exchanges, arbitrageurs profit by trading in the pool until the price aligns, capturing the difference. This activity is essential for maintaining price parity and is the primary mechanism that ties AMM prices to global market prices.
06
Concentrated Liquidity (Extension)
An evolution of the constant product model, concentrated liquidity (e.g., Uniswap V3) allows LPs to allocate capital within a specific price range. Instead of x * y = k across all prices, the invariant holds only within the chosen range. This dramatically increases capital efficiency for LPs but introduces more active management complexity.
- It represents a parameterization of the core constant product function.
price-impact-slippage
DEX MECHANICS
Price Impact and Slippage
An explanation of how automated market makers (AMMs) determine price changes and execution variance for trades, focusing on the foundational Constant Product Market Maker model.
Price impact is the degree to which a trade itself moves the market price within an automated market maker's liquidity pool, calculated as the difference between the initial mid-price and the final execution price. This occurs because each trade alters the ratio of the two assets in the pool, and the AMM's pricing formula (like x * y = k) defines a new spot price based on the updated reserves. Larger trades relative to the pool's liquidity depth cause greater price impact, effectively imposing a higher cost on the trader.
Slippage is the difference between the expected price of a trade and the price at which it is actually executed. In decentralized exchanges, this is primarily caused by price impact but is also influenced by transaction latency and other trades occurring in the same block. Traders typically set a slippage tolerance (e.g., 0.5%) as a maximum acceptable deviation; if the execution price exceeds this tolerance due to market movement before confirmation, the transaction will revert to protect the user.
The Constant Product Formula, expressed as x * y = k, is the core mechanism determining both metrics in many AMMs like Uniswap V2. Here, x and y represent the reserves of two assets, and k is a constant. When a trader swaps Δx of token A for token B, the pool must receive Δx and pay out Δy such that (x + Δx) * (y - Δy) = k. This mathematical relationship creates a hyperbolic bonding curve, meaning price impact increases non-linearly as trade size grows relative to liquidity.
To illustrate, consider a pool with 100 ETH (x) and 300,000 USDC (y), giving k = 30,000,000. The initial price is 3000 USDC/ETH. A swap of 1 ETH into the pool increases x to 101 ETH. To keep k constant, y must become ~297,029.7 USDC, yielding ~2,970.3 USDC for the trader. The execution price is thus 2,970.3 USDC, a price impact of ~1% from the initial 3,000 USDC mid-price. This 29.7 USDC difference per ETH is the slippage experienced.
Managing these effects is critical for traders and liquidity providers. Strategies include - splitting large orders across multiple pools or block times, - utilizing liquidity aggregators that route to the pool with the lowest impact, and - providing liquidity to deeper pools to reduce the inherent slippage for all users. Understanding the direct relationship between trade size, liquidity depth, and the constant product curve is essential for efficient DeFi trading and pool design.
ecosystem-usage
IMPLEMENTATIONS
Protocols Using the Constant Product Formula
The Constant Product Formula (x*y=k) is the foundational automated market maker (AMM) model, first popularized by Uniswap. These protocols use it to enable permissionless token swaps and liquidity provision.
security-considerations
CONSTANT PRODUCT FORMULA
Security and Economic Considerations
The Constant Product Formula (x*y=k) is the foundational automated market maker (AMM) mechanism used by decentralized exchanges like Uniswap V2. While elegantly simple, its design introduces specific security and economic trade-offs for liquidity providers and traders.
01
Impermanent Loss (Divergence Loss)
The primary economic risk for liquidity providers (LPs). It occurs when the price of the deposited assets changes after they are supplied to the pool, compared to simply holding them. The loss is "impermanent" because it is only realized upon withdrawal.
- Mechanism: The formula automatically rebalances the pool, selling the appreciating asset and buying the depreciating one.
- Maximum Risk: Losses are greatest during periods of high volatility or sustained price divergence between the two assets.
- Mitigation: LPs rely on trading fees to offset this risk, making high-volume, stable pairs more attractive.
02
Slippage and Price Impact
A direct economic consequence of the formula that affects traders. The larger a trade relative to the pool's liquidity, the greater the price moves along the curve.
- Slippage: The difference between the expected price of a trade and the executed price.
- Price Impact: The percentage change in the pool's price caused by the trade. For a trade of size Δx, the price impact is approximately Δx / (2 * x).
- Security Implication: Front-running bots can exploit predictable large trades, necessitating the use of slippage tolerance settings.
03
Liquidity Depth & Manipulation Resistance
The formula provides inherent, though not absolute, resistance to price manipulation. The cost to move the price scales non-linearly.
- Economic Cost: Doubling the price of an asset requires committing an amount of capital roughly equal to the entire liquidity pool (k).
- Oracle Security: Pools are used as on-chain price oracles. The time-weighted average price (TWAP) is built on this manipulation cost, as sustaining a false price is prohibitively expensive.
- Limitation: Flash loans can temporarily distort prices in small pools for arbitrage or attack purposes.
04
Composability & Systemic Risk
The formula's permissionless nature allows any token pair to be created, which introduces both innovation and risk.
- Composability: Enables decentralized lending protocols, derivatives, and index funds to build directly on top of liquidity pools.
- Risk Vectors: Low-liquidity pools for new tokens can have extreme volatility. Faulty or malicious token contracts (e.g., with transfer fees) can break the constant product invariant.
- Protocol Dependency: Many DeFi systems assume the integrity of the major AMM pools, creating interconnected systemic risk.
05
Fee Structure & LP Returns
The 0.3% trading fee (common in Uniswap V2) is the economic engine that compensates LPs for their risk. Its mechanics are crucial for security.
- Fee Addition: Fees are added to the pool's liquidity, increasing the constant
k. This benefits all LPs proportionally. - Return Calculation: LP profitability depends on fee revenue outweighing impermanent loss. High volume in a stable pair is ideal.
- Security Aspect: The fee is a key parameter; setting it too low may not attract sufficient liquidity, making the pool shallow and prone to manipulation.
06
Comparison to Other AMM Curves
The Constant Product Formula is one design choice among many, each with different security-economic profiles.
- Constant Sum (x + y = k): Zero slippage but vulnerable to complete liquidity drain of one asset.
- StableSwap / Curve (x*y=k & x+y=k): Hybrid curve optimized for stablecoin pairs, minimizing impermanent loss and slippage within a peg but introducing more complex smart contract risk.
- Concentrated Liquidity (Uniswap V3): Allows LPs to set price ranges, increasing capital efficiency but requiring active management and creating more complex fee distribution logic.
CORE MECHANICS
Comparison with Other AMM Bonding Curves
A comparison of the Constant Product formula with other common Automated Market Maker (AMM) bonding curve functions, highlighting key operational differences.
| Feature / Metric | Constant Product (x*y=k) | Constant Sum (x+y=k) | StableSwap (Hybrid) | Concentrated Liquidity (CLMM) |
|---|---|---|---|---|
Primary Use Case | General-purpose trading (e.g., Uniswap V2) | Stablecoin/pegged asset pairs | Efficient stablecoin trading (e.g., Curve) | Capital efficiency for volatile pairs (e.g., Uniswap V3) |
Price Impact Sensitivity | High (convex curve) | Zero (linear curve) | Low within peg, high outside | Configurable within a price range |
Impermanent Loss Profile | Highest for volatile pairs | Zero for perfectly pegged assets | Minimal for assets at peg | Managed by liquidity range |
Liquidity Distribution | Uniform across all prices (0, ∞) | Uniform across all prices | Concentrated near a 1:1 price | Concentrated in custom price ranges |
Formula (Simplified) | x * y = k | x + y = k | A * (x+y) + (x*y) = D | L = √(x) + √(y) within range |
Slippage for Small Trades | Low | Zero | Very low near peg | Very low within active range |
Capital Efficiency | Low | Low | High for stable pairs | Very high (up to 4000x) |
Oracle Suitability | Needs time-weighted average (TWAP) | Not suitable | Suitable with manipulation checks | Excellent (built-in ticks) |
evolution-and-v3
UNISWAP V3
Constant Product Formula (x*y=k)
The mathematical engine powering the automated market maker (AMM) model in decentralized exchanges like Uniswap.
The Constant Product Formula, expressed as x * y = k, is the foundational algorithm for an Automated Market Maker (AMM) that maintains a constant product of the reserves of two assets in a liquidity pool. This invariant ensures that for every trade, the product of the two token reserves must remain equal to a constant k, which dynamically determines the price and creates a predictable, continuous liquidity curve. The formula's elegance lies in its simplicity and its ability to provide liquidity across an infinite price range without requiring traditional order books.
In practice, the formula dictates that the price of token X in terms of token Y is given by the ratio of their reserves: Price of X = y / x. As traders buy token X, its reserve x decreases, causing its price to increase non-linearly according to the curve defined by the invariant. This non-linear relationship introduces price impact and slippage, where larger trades execute at progressively worse average prices. This mechanism automatically adjusts prices based on supply and demand within the pool.
While revolutionary, the original constant product formula has limitations, notably impermanent loss for liquidity providers when asset prices diverge, and capital inefficiency as liquidity is distributed evenly across the entire price spectrum from zero to infinity. Uniswap V3 directly addressed these inefficiencies by introducing concentrated liquidity, allowing liquidity providers to allocate capital to specific price ranges, thereby enhancing capital efficiency while still utilizing a modified version of the constant product principle within each discrete price tick.
CONSTANT PRODUCT FORMULA
Frequently Asked Questions (FAQ)
Common questions about the foundational x*y=k automated market maker (AMM) model, its mechanics, and its implications for liquidity providers and traders.
The Constant Product Formula, expressed as x * y = k, is the core mathematical rule governing many decentralized exchange (DEX) liquidity pools, where x and y represent the reserves of two assets and k is a constant. This formula ensures that the product of the two token reserves remains unchanged by any trade, automatically determining prices based on the ratio of the reserves. As a trader buys Asset A from the pool, its reserve (x) decreases, causing its price to increase relative to Asset B to maintain the constant k. This mechanism allows for permissionless, automated price discovery without the need for a traditional order book.
Key characteristics:
- Price Impact: Large trades cause significant price slippage as they move the ratio
x/y. - Infinite Liquidity: Theoretically, a pool never runs out of either asset, but prices can become extremely unfavorable.
- Foundation: It is the basis for pioneering AMMs like Uniswap V2 and many of its forks.
ENQUIRY
Get In Touch
today.
Our experts will offer a free quote and a 30min call to discuss your project.
NDA Protected
Confidentiality24h Response
Time to ValueDirectly to Engineering Team
No Sales Fluff10+
Protocols Shipped
$20M+
TVL Overall