btc20271457 1.0.0

package/.idea/Web3-Financial-Engineering-Courses-main.iml

@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="WEB_MODULE" version="4">
+  <component name="Go" enabled="true" />
+  <component name="NewModuleRootManager">
+    <content url="file://$MODULE_DIR$" />
+    <orderEntry type="inheritedJdk" />
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+</module>

package/.idea/git_toolbox_prj.xml

@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="GitToolBoxProjectSettings">
+    <option name="commitMessageIssueKeyValidationOverride">
+      <BoolValueOverride>
+        <option name="enabled" value="true" />
+      </BoolValueOverride>
+    </option>
+    <option name="commitMessageValidationEnabledOverride">
+      <BoolValueOverride>
+        <option name="enabled" value="true" />
+      </BoolValueOverride>
+    </option>
+  </component>
+</project>

package/.idea/modules.xml

@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/.idea/Web3-Financial-Engineering-Courses-main.iml" filepath="$PROJECT_DIR$/.idea/Web3-Financial-Engineering-Courses-main.iml" />
+    </modules>
+  </component>
+</project>

package/.idea/vcs.xml

@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="VcsDirectoryMappings">
+    <mapping directory="$PROJECT_DIR$" vcs="Git" />
+  </component>
+</project>

package/0.web3_financial_infrastructure/dex_protocol/dex.sol

@@ -0,0 +1,29 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.0;
+
+
+/*
+1.添加流动性
+2.交易
+3.移除流动性
+*/
+
+/*
+配合杠杆的玩法
+1.lp杠杆：存lp贷出lp（做市杠杆）
+2。pair币杠杆： 存lp贷出A or B（做市同时可做多做空莫token，即借出买入）
+3. token杠杆 存A贷B （单token杠杆）
+3.1 流程
+- 存入tokenA到pair 根据对应的价格贷出70%贷出tokenB（贷出利息分给lp）
+- 单币做市的可能性（a跟b比例相同的时候）
+*/
+
+import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
+
+contract AMM
+{
+    
+    function addLiquidity(type name) {
+        
+    }
+}

package/0.web3_financial_infrastructure/dex_protocol/dexInfra/AMMData.sol

@@ -0,0 +1,150 @@
+// SPDX-License-Identifier: MIT
+
+//import "./IAMM.sol";
+import "./Idatastore.sol";
+import "./Algorithm.sol";
+import "./lptoken.sol";
+
+pragma solidity ^0.8.9;
+
+
+contract AMMData{
+    Idatastore amm;
+    uint constant ONE_ETH = 10 ** 18;
+    constructor(address _amm){
+        amm = Idatastore(_amm);
+
+    }
+
+    function resetAmm(address _amm) public {
+        amm = Idatastore(_amm);
+    }
+
+
+    function getTokenOutAmount(address _tokenIn, address _tokenOut, uint _amountIn) public view returns(uint amountOut){
+        require(
+            amm.getLpToken(_tokenIn,_tokenOut) != address(0),
+            "invalid token"
+        );
+        require(_amountIn > 0, "amount in = 0");
+        require(_tokenIn != _tokenOut);
+
+        address lptokenAddr = amm.getLpToken(_tokenIn,_tokenOut);
+        uint reserveIn = amm.getReserve(lptokenAddr,_tokenIn);
+        uint reserveOut = amm.getReserve(lptokenAddr,_tokenOut);
+
+
+
+
+        //交易税收 
+        uint amountInWithFee = (_amountIn * (100000-amm.getLpFee()-amm.getFundFee())) / 100000;
+
+        amountOut = (reserveOut * amountInWithFee) / (reserveIn + amountInWithFee);
+
+        //检查滑点
+        //setSli(amountInWithFee,reserveIn,reserveOut,_disirSli);
+
+
+
+
+        //uint profit = lpFee * _amountIn / 100000;
+
+        //_lpProfit[lptokenAddr] += profit;
+
+        //_update(lptokenAddr,_tokenIn, _tokenOut, totalReserve0, totalReserve1);
+
+    }
+
+
+    function getTokenPrice(address _tokenA, address _tokenB) public view returns(uint reserveA,uint reserveB, uint one_tokenA_price,uint one_tokenB_price)
+    {
+        address lptokenAddr = amm.getLpToken(_tokenA,_tokenB);
+        reserveA = amm.getReserve(lptokenAddr, _tokenA);
+        reserveB = amm.getReserve(lptokenAddr,_tokenB);
+
+        one_tokenA_price = reserveB * ONE_ETH / reserveA;
+        one_tokenB_price = reserveA * ONE_ETH / reserveB;
+
+            
+    }
+/*
+    function getTokenPriceStableCoin(address _tokenA, address _tokenB, uint amountIn) public view returns(uint reserveA,uint reserveB, uint tokenA_price,uint tokenB_price)
+    {
+        address lptokenAddr = amm.getLptoken(_tokenA,_tokenB);
+        reserveA = amm.getReserve(lptokenAddr, _tokenA);
+        reserveB = amm.getReserve(lptokenAddr,_tokenB);
+        tokenA_price = StableAlgorithm.calOutput(amm.getA(lptokenAddr),reserveA + reserveB, reserveA,amountIn);
+        tokenB_price = StableAlgorithm.calOutput(amm.getA(lptokenAddr),reserveA + reserveB, reserveB,amountIn);
+
+        
+        //tokenOutAmount = StableAlgorithm.calOutput(100,reserveA + reserveB, reserveA,_tokenInAmount);
+
+
+
+            
+    }
+    
+
+    function cacalTokenOutAmount(address _tokenIn, address _tokenOut, uint _tokenInAmount) public view returns(uint tokenOutAmount)
+    {
+        address lptokenAddr = amm.getLptoken(_tokenIn,_tokenOut);
+        uint reserveIn = amm.getReserve(lptokenAddr, _tokenIn);
+        uint reserveOut = amm.getReserve(lptokenAddr,_tokenOut);
+        if(amm.isStablePair(lptokenAddr)){
+
+            tokenOutAmount = StableAlgorithm.calOutput(amm.getA(lptokenAddr),reserveIn + reserveOut, reserveIn,_tokenInAmount);
+        }else{
+            tokenOutAmount = (reserveOut * _tokenInAmount) / (reserveIn + _tokenInAmount);
+        }
+    }
+    */
+    function cacalLpTokenAddAmount(address _tokenA, address _tokenB, uint _amountA) public view returns(uint _amountB)
+    {
+        address lptokenAddr = amm.getLpToken(_tokenA,_tokenB);
+        _amountB = amm.getReserve(lptokenAddr,_tokenB) * _amountA / amm.getReserve(lptokenAddr, _tokenA);
+    }
+
+ 
+
+    function getRemoveLiquidityAmount(
+        address _token0,
+        address _token1,
+        uint _shares
+    ) public view  returns (uint amount0, uint amount1) {
+        //ILPToken lptoken;//lptoken接口，为了mint 和 burn lptoken
+        address lptokenAddr = amm.getLpToken(_token0,_token1);
+
+        //lptoken = ILPToken(lptokenAddr);
+
+
+        amount0 = (_shares * amm.getReserve(lptokenAddr,_token0)) / lptoken(lptokenAddr).totalSupply();//share * totalsuply/bal0
+        amount1 = (_shares * amm.getReserve(lptokenAddr,_token1)) / lptoken(lptokenAddr).totalSupply();
+    }
+
+
+    function getUserLeftingBorrowAmount(address user, address asset) public view returns(uint)
+    {
+        uint leftingBorrowAmount = amm.calUserTokenReserve(user,asset) / 2 - amm.getUserWhiteListBorrowed(user,asset);
+        return leftingBorrowAmount;
+    }
+
+    function _getUserWhiteListBorrowedAmount(address user,address asset) public view returns(uint)
+    {
+        return amm.getUserWhiteListBorrowed(user,asset);
+    }
+    function _getWhiteListBorrowedAmount(address asset)public view returns(uint)
+    {
+        return amm.getWhiteListBorrowed(asset);
+    }
+
+    function calAllTokenBorrowed() public view returns(uint)
+    { 
+        return amm.calAllTokenBorrowed();
+
+    }
+
+
+    
+
+    
+}

package/0.web3_financial_infrastructure/dex_protocol/dexInfra/Algorithm.sol

@@ -0,0 +1,97 @@
+// SPDX-License-Identifier: MIT
+
+
+
+pragma solidity ^0.8.9;
+
+library  Algorithm{
+    /*
+    \frac{-4ADx^2-4x+4AD^2x+\sqrt{\left(4ADx^2+4x-4AD^2x\right)^2+16AD^3x}}{8ADx}
+
+    \frac{-4ADx^2-4x+4AD^2x+\sqrt{\left(4ADx^2+4x-4AD^2x\right)^2+16AD^3x}}{8ADx}
+
+    y=(4*A*D*D*X-4*X-4*A*D*X*X + calSqrt(A, D, X))/8*A*D*X
+    dy = y - (4*A*D*D*X-4*X-4*A*D*X*X + calSqrt(A, D, X))/8*A*D*X
+    */
+
+
+
+
+
+
+
+    function calOutAmount(uint A, uint D, uint X)public pure returns(uint)
+    {
+        //return  (4*A*D*D*X+calSqrt(A, D, X) -4*X-4*A*D*X*X) / (8*A*D*X);
+        uint a = 4*A*D*X+D*calSqrt(A, D, X)-4*A*X*X-D*X;
+        //uint amountOut2 = y - amountOut1;
+        return a/(8*A*X);
+
+    }
+
+    function calOutput(uint A, uint D, uint X,uint dx)public pure returns(uint)
+    {
+        //D = D * 10**18;
+        //X = X * 10**18;
+        //dx = dx* 10**18;
+        uint S = X + dx;
+        uint amount1 = calOutAmount(A, D, X);
+        uint amount2 = calOutAmount(A, D, S);
+
+        //uint amountOut2 = y - amountOut1;
+        return amount1 - amount2;
+
+    }
+
+    
+
+
+    function calSqrt(uint A, uint D, uint X)public pure returns(uint)
+    {
+        //uint T = t(A,D,X);
+        //uint calSqrtNum = _sqrt((X*(4+T))*(X*(4+T))+T*T*D*D+4*T*D*D-2*X*T*D*(4+T));
+        //return calSqrtNum;
+        (uint a, uint b) = (4*A*X*X/D+X,4*A*X);
+        uint c;
+        if(a>=b){
+            c = a -b;
+        }else{
+            c = b-a;
+        }
+
+        return _sqrt(c*c+4*D*X*A);
+
+    }
+
+    function _min(uint x, uint y) public pure returns (uint) {
+        return x <= y ? x : y;
+    }
+
+
+
+
+    function _sqrt(uint y) public pure returns (uint z) {
+        if (y > 3) {
+            z = y;
+            uint x = y / 2 + 1;
+            while (x < z) {
+                z = x;
+                x = (y / x + x) / 2;
+            }
+        } else if (y != 0) {
+            z = 1;
+        }
+    }
+
+    function _sortAddr(address a, address b) public pure returns(address small,address big)
+    {
+        //a > b ? return(b,a) : return(a,b);
+        a > b ? (big=a,small = b) : (big=b,small = a);
+    }
+
+
+
+
+
+
+}

package/0.web3_financial_infrastructure/dex_protocol/dexInfra/Idatastore.sol

@@ -0,0 +1,120 @@
+// SPDX-License-Identifier: MIT
+
+pragma solidity ^0.8.20;
+
+//to do list pay liquidity
+
+interface   Idatastore{
+
+    function calAllTokenBorrowed() external  view returns(uint);
+
+    //function calAllTokenBorrowed() external  view returns(uint);
+    function getUserBorrowedAmount(address asset) external  view returns(uint);
+
+    function userBorrowed(address asset, uint amount) external  ;
+
+    function calTokenReserve(address token) external view returns(uint);
+
+    function calUserTokenReserve(address user,address token) external view returns(uint);
+
+    function calAllTokenValue() external view returns(uint);
+
+    function calUserAllTokenValue(address user) external view returns(uint);
+
+
+    function setWhiteListLpTokenList(address lpAddr) external ;
+    function getWhiteListTokenList() external  view returns(address[] memory);
+    function getWhiteListLpTokenList() external view returns(address[] memory);
+    function getWhiteListHealthFactor(address token) external view returns(uint);
+
+    function getWhiteListBorrowed(address token)external view returns(uint);
+
+    function whiteListBorrowed(address token, uint amount)external ;
+
+    function getWhiteListReserve(address token)external view returns(uint);
+
+    function whiteListReserve(address token, uint amount)external ;
+
+    function getUserWhiteListReserve(address user, address asset) external view returns(uint);
+
+    function userWhiteListReserve(address user, address asset, uint amount) external ;
+
+    function getUserWhiteListBorrowed(address user, address asset) external view returns(uint);
+
+    function userWhiteListBorrowed(address user, address asset, uint amount) external ;
+
+    function whiteListToken(address token) external view returns(bool);
+
+    function setWhiteListToken(address token, bool isWhiteListToken) external ;
+
+    function pushTokenInWhiteList(address token) external ;
+    function getCtoken(address token) external view returns(address);
+
+    function ctoken (address token ,address c_token) external; 
+
+    function getFundAddr()external view returns(address);
+
+
+    function getUserReserve(address user,address lpAddr,address token)external  view returns(uint);
+
+    function userReserve(address user,address lpAddr,address token,uint amount) external ;
+
+    function getVirtualReserve(address lpAddr,address token) external  view returns(uint);
+    function virtualReserve(address lpAddr,address token,uint amount) external  ;
+
+
+    function getReserve(address lpAddr,address token) external  view returns(uint);
+    function reserve(address lpAddr,address token,uint amount)external ;
+
+
+    function getPairCreator (address lpAddr) external  view returns(address);
+
+    function pairCreator(address lpAddr, address user)external  ;
+
+    function getBorrowedAmount(address userAddr, address lpAddr, uint assetType) external view returns(uint);
+ 
+
+    function borrowedAmount(address userAddr, address lpAddr, uint assetType, uint amount) external ;
+ 
+
+    function getPayDebtAmount(address userAddr, address lpAddr, uint assetType) external view returns(uint);
+
+
+    function payDebtAmount(address userAddr, address lpAddr, uint assetType, uint amount) external ;
+
+
+    function getLpToken(address tokena, address tokenb) external view returns(address);
+ 
+    function lpToken(address tokena, address tokenb,address lptokenAddr) external ;
+
+    function getLpFee() external view returns(uint);
+
+    function getFundFee() external view returns(uint);
+
+    function getLpProfit(address lpAddr) external view returns(uint);
+
+    function WETHAddr()external  view returns(address);
+
+
+
+//管理人员权限
+
+    function lpProfit(address lpAddr, uint profit)external ;
+
+    function setLpFee(uint fee) external ;
+
+
+
+    function setFundFee(uint fee)external ;
+
+    function setFundAddr(address _fundAddr) external ;
+
+
+
+    function setWeth(address _wethAddr) external ;
+    function setLpSwapStatic(address _lpAddr, bool _static) external ;
+
+    function updateReserve(address lptokenAddr,address tokena, address tokenb, uint reserve0, uint reserve1) external  ;
+    //function updateUserReserve()
+
+}