Uniswap智能合约代码由两个github项目组成。一个是core，一个是periphery。
core偏核心逻辑，单个swap的逻辑。periphery偏外围服务，一个个swap的基础上构建服务。单个swap，两种代币形成的交易对，俗称“池子”。每个交易对有一些基本属性：reserve0/reserve1以及total supply。reserve0/reserve1是交易对的两种代币的储存量。total supply是当前流动性代币的总量。每个交易对都对应一个流动性代币（LPT - liquidity provider token）。简单的说，LPT记录了所有流动性提供者的贡献。所有流动性代币的总和就是total supply。Uniswap协议的思想是reserve0*reserve1的乘积不变。系统开发v+lovei130908开发定制
require(amount0In > 0 || amount1In > 0, 'UniswapV2: INSUFFICIENT_INPUT_AMOUNT');
Core逻辑
Core逻辑实现了单个交易对的逻辑。通过UniswapV2Factory可以创建一个个Pair（交易池）。每个具体实现逻辑在UniswapV2Pair中。
1. mint
每个交易对创建流动性。
function mint(address to) external lock returns (uint liquidity) {
复制
因为在调用mint函数之前，在addLiquidity函数已经完成了转账，所以，从这个函数的角度，两种代币数量的计算方式如下：
uint balance0 = IERC20(token0).balanceOf(address(this));
uint balance1 = IERC20(token1).balanceOf(address(this));
uint amount0 = balance0.sub(_reserve0);
uint amount1 = balance1.sub(_reserve1);
复制
当前的balance是当前的reserve加上注入的流动性的代币数量。
uint _totalSupply = totalSupply; // gas savings, must be defined here since totalSupply can update in _mintFee
if (_totalSupply == 0) {
liquidity = Math.sqrt(amount0.mul(amount1)).sub(MINIMUM_LIQUIDITY);
_mint(address(0), MINIMUM_LIQUIDITY); // permanently lock the first MINIMUM_LIQUIDITY tokens
} else {
liquidity = Math.min(amount0.mul(_totalSupply) / _reserve0, amount1.mul(_totalSupply) / _reserve1);
}
_mint(to, liquidity);
复制
流动性liquidity的计算方式在第一次提供流动性时和其他时候稍稍不同。第一次提供流动性的计算公式如下：
liquidity = sqrt(x0*y0) - min
其中min是10^3。也就是说，第一次提供流动性是有最小流动性要求的。其他提供流动性的计算公式如下：
liquidity = min((x0/reserve0*totalsupply), (y0/reserve1*totalsupply))
也就说，按照注入的流动性和当前的reserve的占比一致。
2. burn
burn函数用在抽取流动性。burn逻辑和mint逻辑类似。
function burn(address to) external lock returns (uint amount0, uint amount1) {
复制
3. swap
swap函数实现两种代币的兑换。
function swap(uint amount0Out, uint amount1Out, address to, bytes calldata data) external lock {
复制
一个交易池的swap操作支持两个方向的兑换，可以从TokenA换到TokenB，或者TokenB换到TokenA。
if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out); // optimistically transfer tokensif (amount1Out > 0) _safeTransfer(_token1, to, amount1Out); // optimistically transfer tokens
复制
因为在swapExactTokensForTokens的getAmountOut函数已经确定兑换处的金额。所以，先直接转账。
在不做swap之前，balance应该和reserve相等的。通过balance和reserve的差值，可以反推出输入的代币数量：
uint amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;
uint amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;
复制
确保反推的输入代币数量不小于零。
require(amount0In > 0 || amount1In > 0, 'UniswapV2: INSUFFICIENT_INPUT_AMOUNT');
