IDO预售代币合约系统开发技术说明及源码分析

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 tokens
if (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');

复制