3.恒定乘积自动做市商算法及代码

中心化交易所的安全风险

在中心化交易所中注册账户时,是由交易所生成一个地址,用户可以向地址充币,充到地址之后交易所就会根据用户充币的数量显示在管理界面中。但是充币的地址是掌管在交易所之中的,资产的控制权还是在交易所。

案例:Mt Gox、FTX 等…

中心化交易所交易模式-订单薄模式

中心化交易所会提供一个交易对,价格由市场决定。买卖分开排序。

  • 买面板 价格按照递减排序 买入价格越高就在面板最高位置 27520.48
  • 卖面板 价格按照递减排序 卖出价格最低放在面板最低位置 27520.49
  • 买面板最高位置(买入最高价)和卖面板最低位置(卖出最低价)会组合在一起,这时市场价就会在这两者之间的价格
    如果市场开始波动
  • 市场上涨时(希望买入),买入市场用户发现自己的买入价格和最低的卖出价格只差0.1,可能就会加钱将卖出价格最低的几个卖出订单买入,价格会更加偏向更高的卖出订单价格
  • 市场下跌时(希望卖出),卖出用户可能会选择将自己的价格下调0.1,从而达成卖出货币,这时价格会更加倾向于买入价格。

DEX

去中心化交易所(Decentralized exchange)简称为DEX

Uniswap

uniswap的核心是Automated market Maker

例如构建一个 TokenA/USDT兑换对
market maker:做市商
Liquidity 流动性:向两边都注入资金才能维护交易的正常运行
Liqyuidity Provider(LP):注入资金的人

去中心化交易所核心要素:

  1. 任何人都可以添加流动性,成为LP,并拿到LP token
  2. LP在任意时间可以移除流动性并销毁LP Token,拿回自己的Token
  3. 用户可以基于交易池来进行交易
  4. 交易时收取一定的手续费,并且分配给LP
恒定乘积自动做商 Constant Product Automated Market Maker

x*y=k=(x+Δx) * (y-Δy)

  1. 交换 交易数量的确定
    买Δx 求Δy
    xy=(x+Δx) * (Y-Δy) = xy- xΔy +Δx * y-ΔxΔy=k
    x
    y= xy- xΔy +Δx * y-ΔxΔy
    xΔy+ΔxΔy=Δx * y
    Δy=Δx * y/(x+Δx)

  2. 添加流动性
    x+Δx ,y+Δy
    添加之后x/y=(x+Δx)/(y+Δy)

    如果手中有Δx,怎么添加Δy呢?
    公式变形:xy+xΔy=xy+Δxy => xΔy=yΔx
    Δy=(yΔx)/x
    也就是Δx/Δy=x/y 也就是对于xy两边从池子添加的比例要相同

    怎么衡量池子中的流动性?答: x y \sqrt{xy} xy

    添加liquidity之后能够拿到LPtoken作为凭证,称为share,在添加之后所有liquidity的share是T(total supply),之后对liquidity添加了S的流动性
    L0:添加之前的流动性 T
    L1:添加之后的流动性 T+S
    L0/L1=T/(T+S)
    引起流动性变化,能够拿到多少share?
    S=(L1-L0)T/L0 =( ( x + Δ x ) ( y + Δ y ) − x y x y \sqrt{(x+Δx)(y+Δy)}-\sqrt{xy}\over \sqrt{xy} xy (x+Δx)(y+Δy) xy )T=( ( x + Δ x ) ( y + Δ y ) − x y x y \sqrt{(x+Δx)(y+Δy)}-\sqrt{xy}\over \sqrt{xy} xy (x+Δx)(y+Δy) xy )T= Δ x x T \frac{Δx}{x}T xΔxT= Δ y y T \frac{Δy}{y}T yΔyT

  3. 移除流动性(例如手中有x份share,在移除的时候,能拿到多少x和y的币)
    其中需要知道 S 、T(移除之前liquidity的total supply)、L(当前liquidity)
    也就是移除之前的流动性和流行性token以及手中的share,放入之后能够兑换多少xy的数量

    Δ x ∗ Δ y x y \sqrt{Δx*Δy}\over{\sqrt{xy}} xy ΔxΔy = S T S\over{T} TS
    Δx=x S T S\over{T} TS
    Δy=y S T S\over{T} TS

代码

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import "IERC20.sol";

contract CPAMM{
    IERC20 public immutable token0;
    IERC20 public immutable token1;

    uint public reserve0;//token0 amount in contract == x
    uint public reserve1;//token1 amount in contract == y

    uint public totalSupply; //lp token amount of all
    mapping(address=>uint) public balanceOf; //每个地址对应的LP余额

    constructor(address _token0,address _token1){
        token0=IERC20(_token0);
        token1=IERC20(_token1);
    }
    //  更新余额表
    function _updata(uint _reserve0,uint _reserve1) private {
        reserve0=_reserve0;
        reserve1=_reserve1;
    }

    function _sqrt(uint y) internal 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 _mint(address _to,uint _amount) private {
        balanceOf[_to]+=_amount;
        totalSupply+=_amount;
    }

    function _burn(address _from,uint _amount) private {
        balanceOf[_from]-=_amount;
        totalSupply-=_amount;
    }

    function swap(address _tokenIn,uint _amountIn) external returns(uint amountOut){
       require(_amountIn>0,"Invalid Amount");
       require(_tokenIn==address(token0)||_tokenIn ==address(token1),"Invalid token type");

       bool isToken0=_tokenIn==address(token0);
        (IERC20 _tokenIn,IERC20 tokenOut)= isToken0?(token0,token1):(token1,token0);
        //定义顺序
        (uint reserveIn,uint reserveOut)=isToken0?(reserve0,reserve1):(reserve1,reserve0);
       //转币到合约
       _tokenIn.transferFrom(msg.sender, address(this), _amountIn);
       //计算输出的数量  注:没有考虑手续费
       amountOut=(_amountIn*reserveOut)/(_amountIn+reserveIn);
       //转币给用户 
       tokenOut.transfer(msg.sender, amountOut);
        //更新余额表
        _updata(token0.balanceOf(address(this)),token0.balanceOf(address(this)));

    }

    function _min(uint _x,uint _y) private pure returns(uint) {
        return _x>_y?_y:_x;
    }

    //用户提供的是Δx,Δy,拿到的是Share
    function addLiquidity(uint _amount0,uint _amount1) external returns (uint shares){
        require(_amount0>0&&_amount1>0,"Invaiid amount");
        //将token0、token1转入合约
        token0.transferFrom(msg.sender, address(this), _amount0);
        token1.transferFrom(msg.sender, address(this), _amount1);
        //计算并mint share给用户
        if(reserve0>0||reserve1>0){
            require(_amount0*reserve1==_amount1*reserve0,"dy/dx != y/x");           
        }
        if(totalSupply==0){
            //没有添加过流动性//添加过流动性
            shares=_sqrt(_amount0*_amount1);
        }else{
            shares=_min((_amount0*totalSupply)/reserve0,(_amount1*totalSupply)/reserve1);
        }
        require(shares>0,"share is zero");
        _mint(msg.sender, shares);
        //更新余额表
        _updata(token0.balanceOf(address(this)),token0.balanceOf(address(this)));
    }

    function removeLiquidity(uint _shares) external returns(uint _amount0,uint _amount1){
        require(_shares>0,"Invalid shares");
        //计算Δx,Δy数量
        _amount0=(reserve0*_shares)/totalSupply;
        _amount1=(reserve1*_shares)/totalSupply;
        //销毁用户的share
        _burn(msg.sender, _shares);
        //将两个币转回给用户
        token0.transfer(msg.sender, _amount0);
        token1.transfer(msg.sender, _amount1);
        //更新余额表
        _updata(token0.balanceOf(address(this)),token0.balanceOf(address(this)));
    }

}
操作流程
  1. 在remix上先部署两个ERC20合约
    地址0:0xd9145CCE52D386f254917e481eB44e9943F39138
    地址1:0xd8b934580fcE35a11B58C6D73aDeE468a2833fa8
    在这里插入图片描述

  2. 部署所编写的CPAMM合约
    在这里插入图片描述
    合约地址为:0xf8e81D47203A594245E36C48e151709F0C19fBe8

  3. 添加流动性
    注意:要确保地址有足够的余额,没有在构造函数中mint的也可以部署之后mint
    appreve合约地址
    0approve:在这里插入图片描述
    1approve:
    在这里插入图片描述addLiquidity:
    在这里插入图片描述
    在这里插入图片描述
    4.进行交换 swap
    tokenIn是地址0
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

5.移除liquidity
在这里插入图片描述
token0
token1

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/515208.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

【Java多线程(4)】案例:设计模式

目录 一、什么是设计模式&#xff1f; 二、单例模式 1. 饿汉模式 2. 懒汉模式 懒汉模式-第一次改进 懒汉模式-第二次改进 懒汉模式-第三次改进 一、什么是设计模式&#xff1f; 设计模式是针对软件设计中常见问题的通用解决方案。它们提供了一种被广泛接受的方法来解决…

【2024系统架构设计】案例分析- 5 Web应用

目录 一 基础知识 二 真题 一 基础知识 1 Web应用技术分类 大型网站系统架构的演化:高性能、高可用、可维护、应变、安全。 从架构来看:MVC,MVP,MVVM,REST,Webservice,微服务。

从头开发一个RISC-V的操作系统(一)计算机系统漫游

文章目录 前提计算机的硬件组成程序的存储与执行操作系统 目标&#xff1a;通过这一个系列课程的学习&#xff0c;开发出一个简易的在RISC-V指令集架构上运行的操作系统。 前提 这个系列的大部分文章和知识来自于&#xff1a;[完结] 循序渐进&#xff0c;学习开发一个RISC-V上…

element-ui divider 组件源码分享

今日简单分享 divider 组件&#xff0c;主要有以下两个方面&#xff1a; 1、divider 组件页面结构 2、divider 组件属性 一、组件页面结构 二、组件属性 2.1 direction 属性&#xff0c;设置分割线方向&#xff0c;类型 string&#xff0c;horizontal / vertical&#xff0…

AtCoder Beginner Contest 347 A~F

AtCoder Beginner Contest 347 A~F - 知乎 (zhihu.com) Tasks - AtCoder Beginner Contest 347 A.Divisible(循环) 代码 #include<bits/stdc.h> using namespace std;void solve() {int n, k;cin >> n >> k;for (int i 0; i < n; i) {int a;cin >…

如何申请Telegram机器人 | 推送通知

一、前言 利用Telegram机器人推送通知&#xff0c;需要在环境变量填入正确的TG_BOT_TOKEN以及TG_USER_ID&#xff0c;以下教程简明阐述如何获取Token以及UserID 二、获取步骤 1、首先在Telegram上搜索BotFather机器人。需要注意的是&#xff0c;搜索结果中选择ID为BotFather…

基于向量数据库搭建自己的搜索引擎

前言【基于chatbot】 厌倦了商业搜索引擎搜索引擎没完没了的广告&#xff0c;很多时候&#xff0c;只是需要精准高效地检索信息&#xff0c;而不是和商业广告“斗智斗勇”。以前主要是借助爬虫工具&#xff0c;而随着技术的进步&#xff0c;现在有了更多更方便的解决方案&…

Maven--lib分离的打包方式

就是把lib包和source源码分开打包。优势就是&#xff0c;面对频繁更新的应用场景时&#xff0c;可以只更新源码包&#xff08;当然&#xff0c;前提是你的依赖没有增减&#xff09;。尤其是使用jenkins更新项目时&#xff0c;会省去很多时间吧&#xff1f; 不同项目的 lib之间不…

【C++练级之路】【Lv.18】哈希表(哈希映射,光速查找的魔法)

快乐的流畅&#xff1a;个人主页 个人专栏&#xff1a;《算法神殿》《数据结构世界》《进击的C》 远方有一堆篝火&#xff0c;在为久候之人燃烧&#xff01; 文章目录 引言一、哈希1.1 哈希概念1.2 哈希函数1.3 哈希冲突 二、闭散列2.1 数据类型2.2 成员变量2.3 默认成员函数2.…

保研线性代数复习3

一.基底&#xff08;Basis&#xff09; 1.什么是生成集&#xff08;Generating Set&#xff09;&#xff1f;什么是张成空间&#xff08;Span&#xff09;&#xff1f; 存在向量空间V(V&#xff0c;&#xff0c;*)&#xff0c;和向量集&#xff08;xi是所说的列向量&#xff…

【软件工程】概要设计

1. 导言 1.1 目的 该文档的目的是描述学生成绩管理系统的概要设计&#xff0c;其主要内容包括&#xff1a; 系统功能简介 系统结构简介 系统接口设计 数据设计 模块设计 界面设计 本文的预期读者是&#xff1a; 项目开发人员 项目管理人员 项目评测人员&#xff08;…

算法设计与分析实验报告python实现(串匹配问题、采用分治法求解最大连续子序列和问题、用分治策略求众数问题、最近点对问题)

一、 实验目的 1&#xff0e;加深学生对算法设计方法的基本思想、基本步骤、基本方法的理解与掌握&#xff1b; 2&#xff0e;提高学生利用课堂所学知识解决实际问题的能力&#xff1b; 3&#xff0e;提高学生综合应用所学知识解决实际问题的能力。 二、实验任务 1、串匹配问…

Docker安装mysql并且设置主从

Docker安装部署mysql 下载镜像 docker pull mysql:5.7.35查看镜像 docker images启动 直接启动不挂载文件 docker run -p 3306:3306 --name mysql -e MYSQL_ROOT_PASSWORD123456 -d mysql:5.7.35挂载文件 docker run -p 3306:3306 --name mysql \ -v /usr/local/docker/m…

正则表达式与JSON序列化:去除JavaScript对象中的下划线键名

&#x1f31f; 前言 欢迎来到我的技术小宇宙&#xff01;&#x1f30c; 这里不仅是我记录技术点滴的后花园&#xff0c;也是我分享学习心得和项目经验的乐园。&#x1f4da; 无论你是技术小白还是资深大牛&#xff0c;这里总有一些内容能触动你的好奇心。&#x1f50d; &#x…

【Java EE】关于Maven

文章目录 &#x1f38d;什么是Maven&#x1f334;为什么要学Maven&#x1f332;创建⼀个Maven项目&#x1f333;Maven核心功能&#x1f338;项目构建&#x1f338;依赖管理 &#x1f340;Maven Help插件&#x1f384;Maven 仓库&#x1f338;本地仓库&#x1f338;私服 ⭕总结 …

STM32G系 编程连接不上目标板,也有可能是软件不兼容。

由于一直用的老版本STM32 ST-LINK Utility 4.20 &#xff0c;找遍了所有问题&#xff0c;SWD就是连不上目标板。 电源脚 VDDA 地线&#xff0c;SWD的四条线&#xff0c;还是不行&#xff0c;浪费了一天&#xff0c;第二天才想起&#xff0c;是不是G系升级了 SWD协议。结果下载…

从汇编看函数调用

文章目录 函数调用流程栈相关寄存器及的作用简介寄存器功能指令功能 栈函数的括号{}正括号反括号 参数传递传值&#xff0c;变量不可改传指针&#xff0c;变量可改C 传引用 函数调用实例 函数调用流程 目标&#xff1a;函数调用前后栈保持不变 保存main函数的寄存器上下文移…

【HTML】简单制作一个3D动画效果重叠圆环

目录 前言 开始 HTML部分 CSS部分 效果图 总结 前言 无需多言&#xff0c;本文将详细介绍一段代码&#xff0c;具体内容如下&#xff1a; 开始 首先新建文件夹&#xff0c;创建两个文本文档&#xff0c;其中HTML的文件名改为[index.html]&#xff0c;CSS的…

Tensorflow2.0笔记 - 自定义Layer和Model实现CIFAR10数据集的训练

本笔记记录使用自定义Layer和Model来做CIFAR10数据集的训练。 CIFAR10数据集下载&#xff1a; https://www.cs.toronto.edu/~kriz/cifar-10-python.tar.gz 自定义的Layer和Model实现较为简单&#xff0c;参数量较少&#xff0c;并且没有卷积层和dropout等&#xff0c;最终准确率…

Java—抽象方法与接口

声明&#xff1a;以下内容是根据B站黑马程序员的Java课程&#xff0b;博主自己的理解整理而成&#xff0c;课程很好&#xff0c;适合初学者学习。 关于此类题目&#xff0c;重要的是识别出用什么来实现&#xff0c;到底是接口还是抽象方法&#xff0c;还是共有的属性等等&…