跟我一起阅读并修复某知名DEX交易所源码(3:编译工程,源码分析)之五

阅读: 评论:0

跟我一起阅读并修复某知名DEX交易所源码(3:编译工程,源码分析)之五

跟我一起阅读并修复某知名DEX交易所源码(3:编译工程,源码分析)之五

在上一章跟我一起阅读并修复源码(3:编译工程,源码分析)之四_lixiaodog的博客-CSDN博客中我们分析了contract MdexERC20,在本章中我们将分析contract MdexPair,我们注意到本合约与MdexERC20合约非常相似,相同的函数我们将不再分析。

    using SafeMath  for uint;using UQ112x112 for uint224;

把SafeMath,UQ112x112附加到相应的数据结构上,这样只要数据类型为uint,uint224就可以以var.libfun()的形式直接调库函数。而libaray是一组逻辑代码。在库中只处理数据的逻辑,而不关心数据的存储。利用这种特性,在实际开发中可以把数据和逻辑分离。

为什么要赋予unit224类型新的方法?这是因为在Solidity里面没有非整型的类型,但是token的数量肯定会出现小数位,使用UQ112x112的库去模拟浮点数类型。将unit224中的112位当作浮点数的整数部分,另外112位当作浮点数的小数部分  , 剩余的32位主要是存放blockTimestampLast变量,该变量的作用以及更新会在后面讲到。

uint public override constant MINIMUM_LIQUIDITY = 10 ** 3;

定义了流动性的最小量

bytes4 private constant SELECTOR = bytes4(keccak256(bytes('transfer(address,uint256)')));

这个定义了一个函数索引,这个索引可以直接被CALL,DELEGATECALL,CALLCODE等函数直接调用,事实上在使用WEB3模块与智能合约交互时,在交易字段中,前4个字节就是所要调函数的索引。

在下面函数中直接使用了token.call来调用SELECTOR 定义的函数。 

   function _safeTransfer(address token, address to, uint value) private {(bool success, bytes memory data) = token.deWithSelector(SELECTOR, to, value));require(success && (data.length == 0 || abi.decode(data, (bool))), 'MdexSwap: TRANSFER_FAILED');}
    address public override factory;address public override token0;address public override token1;

分别定义了工厂合约地址,交易对中的A,B两个TOKEN地址。

   uint112 private reserve0;           // uses single storage slot, accessible via getReservesuint112 private reserve1;           // uses single storage slot, accessible via getReservesuint32  private blockTimestampLast; // uses single storage slot, accessible via getReserves

定义了当前PAIR分别持有两个TOKEN的数量, blockTimestampLast主要用来区分是不是第一笔交易。

    uint public override price0CumulativeLast;uint public override price1CumulativeLast;uint public override kLast; // reserve0 * reserve1, as of immediately after the most recent liquidity event

这里的价格最后累计,是用于预言机上,该数值会在每个区块的第一笔调用进行更新。

kLast这个变量在没有开启是等于0的,只有当开启时候,这个值才等于k值,因为一般开启,那么k值就不会一直等于两个储备量向乘的结果来。 

    // called once by the factory at time of deploymentfunction  initialize(address _token0, address _token1) external override {require(msg.sender == factory, 'MdexSwap: FORBIDDEN');// sufficient checktoken0 = _token0;token1 = _token1;}

初始化函数,当factory布署合约时调用一次。

    // update reserves and, on the first call per block, price accumulatorsfunction _update(uint balance0, uint balance1, uint112 _reserve0, uint112 _reserve1) private {require(balance0 <= uint112(- 1) && balance1 <= uint112(- 1), 'MdexSwap: OVERFLOW');uint32 blockTimestamp = uint32(block.timestamp % 2 ** 32);uint32 timeElapsed = blockTimestamp - blockTimestampLast;// overflow is desiredif (timeElapsed > 0 && _reserve0 != 0 && _reserve1 != 0) {// * never overflows, and + overflow is desiredprice0CumulativeLast += de(_reserve1).uqdiv(_reserve0)) * timeElapsed;price1CumulativeLast += de(_reserve0).uqdiv(_reserve1)) * timeElapsed;}reserve0 = uint112(balance0);reserve1 = uint112(balance1);blockTimestampLast = blockTimestamp;emit Sync(reserve0, reserve1);}

在此函数中更新了此PAIR的中两个TOKEN的剩余数量与更新时间。

    function mint(address to) external override lock returns (uint liquidity) {(uint112 _reserve0, uint112 _reserve1,) = getReserves();// gas savingsuint balance0 = IERC20(token0).balanceOf(address(this));uint balance1 = IERC20(token1).balanceOf(address(this));uint amount0 = balance0.sub(_reserve0);uint amount1 = balance1.sub(_reserve1);bool feeOn = _mintFee(_reserve0, _reserve1);uint totalSupply = _totalSupply;// gas savings, must be defined here since totalSupply can update in _mintFeeif (totalSupply == 0) {liquidity = SafeMath.sqrt(amount0.mul(amount1)).sub(MINIMUM_LIQUIDITY);_mint(address(0), MINIMUM_LIQUIDITY);// permanently lock the first MINIMUM_LIQUIDITY tokens} else {liquidity = SafeMath.min(amount0.mul(_totalSupply) / _reserve0, amount1.mul(_totalSupply) / _reserve1);}require(liquidity > 0, 'MdexSwap: INSUFFICIENT_LIQUIDITY_MINTED');_mint(to, liquidity);_update(balance0, balance1, _reserve0, _reserve1);if (feeOn) kLast = uint(reserve0).mul(reserve1);// reserve0 and reserve1 are up-to-dateemit Mint(msg.sender, amount0, amount1);}

mint函数是一个比较关键的函数,它的输入为一个地址to,输出为该地址所提供的流动性,在MDEXSWAP中,流动性也被体现成tokenLP token。 生成token流程发生在router合约向pair合约发送代币之后,因此此次的储备量和合约的token余额是不相等的,因为此时pair中的储备量还没有更新,在调用_update之后,才会更新到一致。中间的差值就是需要生成的token数量,即amount0amount1。这部分代码会在后面进行解释。然后获取总的流动性的供应量totoalSupply,如果totalSupply等于0的话,就代表是首次添加流动性。添加流动性后用户会获的LP,而token0,和token1的余额则会进入PAIR中。

function burn(address to) external override lock returns (uint amount0, uint amount1) {(uint112 _reserve0, uint112 _reserve1,) = getReserves();// gas savingsaddress _token0 = token0;// gas savingsaddress _token1 = token1;// gas savingsuint balance0 = IERC20(_token0).balanceOf(address(this));uint balance1 = IERC20(_token1).balanceOf(address(this));uint liquidity = _balanceOf[address(this)];bool feeOn = _mintFee(_reserve0, _reserve1);uint totalSupply = _totalSupply;// gas savings, must be defined here since totalSupply can update in _mintFeeamount0 = liquidity.mul(balance0) / _totalSupply;// using balances ensures pro-rata distributionamount1 = liquidity.mul(balance1) / _totalSupply;// using balances ensures pro-rata distributionrequire(amount0 > 0 && amount1 > 0, 'MdexSwap: INSUFFICIENT_LIQUIDITY_BURNED');_burn(address(this), liquidity);_safeTransfer(_token0, to, amount0);_safeTransfer(_token1, to, amount1);balance0 = IERC20(_token0).balanceOf(address(this));balance1 = IERC20(_token1).balanceOf(address(this));_update(balance0, balance1, _reserve0, _reserve1);if (feeOn) kLast = uint(reserve0).mul(reserve1);// reserve0 and reserve1 are up-to-dateemit Burn(msg.sender, amount0, amount1, to);}

上一个函数是创造流动性token,这个函数则是回收流动性token,当用户取回流动性时会调用此函数,首先根据用户提供的LP数量即此时的_balanceOf[address(this)],然后根据LP的数量计算出应该返回用户的token1与token2的数量。当返还这完成后调用_burn(address(this), liquidity),销毁此次消耗的lp数量。然后更新流动动池的储备量。并触发burn事件。

  // this low-level function should be called from a contract which performs important safety checksfunction swap(uint amount0Out, uint amount1Out, address to, bytes calldata data) external override lock {require(amount0Out > 0 || amount1Out > 0, 'MdexSwap: INSUFFICIENT_OUTPUT_AMOUNT');(uint112 _reserve0, uint112 _reserve1,) = getReserves();// gas savingsrequire(amount0Out < _reserve0 && amount1Out < _reserve1, 'MdexSwap: INSUFFICIENT_LIQUIDITY');uint balance0;uint balance1;{// scope for _token{0,1}, avoids stack too deep errorsaddress _token0 = token0;address _token1 = token1;require(to != _token0 && to != _token1, 'MdexSwap: INVALID_TO');if (amount0Out > 0) _safeTransfer(_token0, to, amount0Out);// optimistically transfer tokensif (amount1Out > 0) _safeTransfer(_token1, to, amount1Out);// optimistically transfer tokensif (data.length > 0) IHswapV2Callee(to).hswapV2Call(msg.sender, amount0Out, amount1Out, data);balance0 = IERC20(_token0).balanceOf(address(this));balance1 = IERC20(_token1).balanceOf(address(this));}uint amount0In = balance0 > _reserve0 - amount0Out ? balance0 - (_reserve0 - amount0Out) : 0;uint amount1In = balance1 > _reserve1 - amount1Out ? balance1 - (_reserve1 - amount1Out) : 0;require(amount0In > 0 || amount1In > 0, 'MdexSwap: INSUFFICIENT_INPUT_AMOUNT');{// scope for reserve{0,1}Adjusted, avoids stack too deep errorsuint balance0Adjusted = balance0.mul(1000).sub(amount0In.mul(3));uint balance1Adjusted = balance1.mul(1000).sub(amount1In.mul(3));require(balance0Adjusted.mul(balance1Adjusted) >= uint(_reserve0).mul(_reserve1).mul(1000 ** 2), 'MdexSwap: K');}_update(balance0, balance1, _reserve0, _reserve1);emit Swap(msg.sender, amount0In, amount1In, amount0Out, amount1Out, to);}

交换token方法一般通过路由合约调用,功能是交换token,需要的参数包括:amount0Outtoken0要交换出的数额;amount1Outtoken1要交换出的数额,to:交换token要发到的地址,一般是其它pair合约地址;data用于回调使用。

首先确认amount0Out或者amount1Out有一个大于0,然后确保储备量大于要取出的数量。

然后确保address(to)不等于对应的token地址。然后发送token到对应的地址上,在下一章

跟我一起阅读并修复源码(3:编译工程,源码分析)之六_lixiaodog的博客-CSDN博客

中我们将修复MDEX的所有BUG,完成编译,以便尽快进行下一步,合同部署。

本文发布于:2024-02-01 06:46:38,感谢您对本站的认可!

本文链接:https://www.4u4v.net/it/170674119834657.html

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

标签:源码   交易所   之五   跟我一起   知名
留言与评论(共有 0 条评论)
   
验证码:

Copyright ©2019-2022 Comsenz Inc.Powered by ©

网站地图1 网站地图2 网站地图3 网站地图4 网站地图5 网站地图6 网站地图7 网站地图8 网站地图9 网站地图10 网站地图11 网站地图12 网站地图13 网站地图14 网站地图15 网站地图16 网站地图17 网站地图18 网站地图19 网站地图20 网站地图21 网站地图22/a> 网站地图23