【区块链安全 | 第五篇】DeFi概念详解

news2025/4/1 11:52:49

文章目录

    • DeFi
      • 1. DeFi 生态概览
      • 2. 去中心化交易所(DEX)
        • 2.1 AMM(自动做市商)模型
        • 2.2 订单簿模式(现货交易)
      • 3. 借贷协议
        • 3.1 Aave
        • 3.2 使用闪电贷(Flash Loan)
      • 4. 稳定币(Stablecoins)
      • 5. DeFi 安全
        • 5.1 重入攻击(Reentrancy Attack)
        • 5.2 价格操纵(Oracle Manipulation)
        • 5.3 智能合约漏洞

在这里插入图片描述

DeFi

DeFi 是指基于区块链的去中心化金融应用,允许用户无需中介即可进行交易、借贷、衍生品交易等金融活动。

1. DeFi 生态概览

DeFi 的核心组成部分
去中心化交易所(DEX):如 Uniswap、Curve、Balancer
借贷协议:如 Aave、Compound、MakerDAO
稳定币:如 USDT、USDC、DAI
衍生品协议:如 dYdX、Synthetix
收益聚合器(Yield Aggregator):如 Yearn Finance
保险协议:如 Nexus Mutual、InsurAce

2. 去中心化交易所(DEX)

去中心化交易所(DEX) 允许用户无需中介即可交易代币,分为两种主要模型。

  • AMM(自动做市商)模型
  • 订单簿模式
2.1 AMM(自动做市商)模型

代表协议:Uniswap、Curve、Balancer

基本原理:依赖于流动性池和恒定乘积公式来计算交易的价格,并且通过交易费用激励流动性提供者。

核心机制
1.流动性池(Liquidity Pool):用户存入两种资产(如 ETH/USDC),作为流动性提供者(LP)
2.定价机制:采用恒定乘积公式(如 Uniswap 的 x * y = k)
3.交易费用:LP 赚取交易手续费(如 Uniswap V2 是 0.3%)
4.无常损失(Impermanent Loss):由于价格波动,LP 可能遭受损失

假设你有 ETH,想要兑换成 USDC,使用 Uniswap 进行交易。让我们看看交易是如何实现的。

1.Uniswap 上的每个交易对(如 ETH/USDC)都有一个流动性池,流动性池由流动性提供者(LP) 提供 ETH 和 USDC。假设当前池子中的流动性是ETH: 1000 ETH;USDC: 2,000,000 USDC,这些流动性资产的比例决定了交易价格。

2.假设你要用 10 ETH 来换取 USDC。根据 Uniswap 使用的 恒定乘积公式(x * y = k),其中 x 是 ETH 数量,y 是 USDC 数量,k 是常数,代表流动性池的总价值(k = 1000 ETH * 2,000,000 USDC = 2,000,000,000)

3.在交易中,你提供 10 ETH(即你想要兑换的 ETH 数量),因此你从池子中获得相应的 USDC。

4.具体的计算方式是什么呢?由于新的流动性池状态必须遵循恒定乘积公式,即:

(1000+10)∗(2,000,000−x)=2,000,000,000

通过解方程可以算出你将获得的 USDC 数量,即 x=19801.98。

5.由于你交易的是流动性池中的资产,因此交易的数量会影响价格。交易规模越大,流动性池中的资产变化越大,交易价格越不稳定。这就是所谓的滑点(Slippage)。

如果你交易了 10 ETH,但流动性池中的 ETH 和 USDC 比例突然发生变化,可能导致你收到的 USDC 少于预期。

6.每笔交易都会有交易费用,通常是 0.3%,这个费用会被分配给流动性提供者(LP)。例如,交易费用是:10 ETH∗0.3%=0.03 ETH,这个费用不会影响你从流动性池中兑换到的实际金额,但它会进入池子并作为奖励分配给 LP。

7.假设存在滑点,那么总流程是:

  • 一开始流动性池中的资产为 ETH: 1000 ETH;USDC: 2,000,000 USDC
  • 你进行了交易,但产生了滑点。
  • 你的池子中 10 ETH 已被扣除,并且由于你交易的滑点,你预期得到的 19801.98 USDC 中扣除了 3,000 USDC,所以你最终得到 16901.98 USDC
  • 池子中的资产变成ETH: 1010 ETH,USDC: 2,000,000 - 16901.98 USDC
  • 每笔交易会收取一定的费用(通常 0.3%),交易费用会从你兑换的金额中扣除,作为奖励分配给 LP。所以实际上你收到的 USDC 更少。
2.2 订单簿模式(现货交易)

订单簿模式的交易通常被称为现货交易(Spot Trading),因为它涉及的是即期交易,也就是交易在即时(或短期内)进行结算。

在 dYdX 或 Loopring 这类去中心化交易所(DEX)中,交易是通过订单簿来完成的。用户发布买单(买入某资产的请求)和卖单(卖出某资产的请求),交易所通过撮合买卖双方的订单来完成交易。

假设你在 dYdX 或 Loopring 上进行交易,涉及到 ETH/USDC 交易对。让我们看看交易是如何实现的。

1.你想用 ETH 买入 USDC,并决定以 1 ETH = 2000 USDC 的价格进行购买。
2.你提交一个买入订单,表示你愿意购买 10 ETH,每个 ETH 的价格是 2000 USDC。
3.市场上有用户发布了一个卖单,表示他愿意以 1 ETH = 2000 USDC 的价格出售 5 ETH。
4.在订单簿中,你的买单和卖单会分别列出,形成一个挂单列表:
在这里插入图片描述
5.dYdX 或 Loopring 将自动将买单和卖单按照价格和时间顺序进行匹配。你的买单会与市场上的卖单进行撮合,因为价格一致。
6.由于你的买单数量是 10 ETH,但市场上只有 5 ETH 的卖单,所以你还剩下 5 ETH 的买单没有被成交,这部分 5 ETH 会继续挂单在订单簿上,等待卖单的出现。
7.如果你想尽快成交,通常选择市场单(Market Order),即以当前的最佳卖单价格买入。若使用限价单(Limit Order),则只有在出现符合你价格的卖单时才能成交。

订单簿模式的交易需要更高的吞吐量,因为每个交易都需要在链上进行撮合和确认。因此一些平台(如 Loopring)通过 ZK-Rollups 等 Layer 2 技术来提升吞吐量,并减少手续费。

3. 借贷协议

借贷协议允许用户存入资产赚取利息,或者借入资产并支付利息。

主要协议
1.Aave:支持闪电贷(Flash Loan)、抵押借贷
2.Compound:通过 cToken 机制管理存款和贷款
3.MakerDAO:用于生成去中心化稳定币 DAI

3.1 Aave

让我们看看 Aave 的抵押借贷流程。

1.你有 ETH,你希望借取 USDT。

2.你将 10 ETH 存入 Aave 作为抵押品,按照 150% 的抵押率,你能够借到 6,000 USDT(10 ETH * 150% = 15,000 USDT,抵押率 1:1.5)。

3.你选择借取 6,000 USDT 并同意支付利息。

4.你的 10 ETH 继续在 Aave 中作为抵押品,平台会根据市场情况来确定你需要支付的利率。

5.一段时间后,你将 6,000 USDT 归还,并支付利息(利率根据借款时长和市场情况浮动)。

6.如果 ETH 的价格下跌,导致抵押率低于 150%,Aave 会启动清算程序,将你的 ETH 部分或全部出售以偿还贷款,避免借款人违约。

因此,为了降低清算风险,你(借款人)可以存入大于借款金额的资产(如 150% 抵押率),这称为过度抵押(Overcollateralization)。例如,你的 10 ETH 最多可以借取 6,000 USDT,但你抵押 10 ETH 后,只借取 4,000 USDT,此时 ETH 价格下跌,并不会快速导致被清算。

3.2 使用闪电贷(Flash Loan)

闪电贷是一种无需抵押的贷款,通常用于套利或借款还款。整个过程发生在一个区块内,借款人必须在交易完成前还款。

1.假设你想利用市场的价格差异进行套利。你发现一个交易所的 ETH/USDT 价格比另一个交易所低 1%。

2.你可以在 Aave 上借入 1,000000 USDT 的闪电贷。你不需要提供任何抵押品,因为闪电贷在同一交易内借入并偿还。

3.你借到 1,000000 USDT 后,立即在一个 ETH 价格较低的交易所买入1000个 ETH,并在另一个 ETH 价格较高的交易所卖出 1000个 ETH,此时你拥有的 USDT 不止 1,000000 USDT。

4.在同一交易内,你将借来的 USDT 归还给 Aave,并支付相应的闪电贷费用(通常为 0.09%),假设这里支付了 9000 USDT 的费用。

6.扣除闪电贷费用后,你净赚差价。

7.此时整个交易在一个区块内完成,且无需提供任何抵押品。

有没有可能带走闪电贷资金呢?
在闪电贷中,智能合约会检查资金是否已偿还,如果未能在同一个区块内归还,交易就会回滚,借款、转账等所有操作都会被撤销,USDT 根本不会转到你的账户。

4. 稳定币(Stablecoins)

稳定币(Stablecoin)是一种价格稳定的加密货币,通常锚定法币(如 USD)、大宗商品(如黄金)或采用算法调控供应。它的主要作用是降低加密市场的价格波动性,使区块链上的交易更加稳定和实用。

举个例子,比特币(BTC)和以太坊(ETH)等加密货币价格波动剧烈,一天内可能涨跌 10% 以上,因此投资者和商家很难接受高波动的资产,例如:你今天用 1 BTC 买了一辆车,明天 BTC 价格上涨 20%,相当于亏了 20% 。你接受 BTC 作为工资,但下个月 BTC 价格暴跌,导致你的实际收入减少。

稳定币主要分为三类:

在这里插入图片描述

5. DeFi 安全

DeFi(去中心化金融)应用运行在智能合约上,而智能合约的安全性至关重要。常见的 DeFi 漏洞及攻击都是基于智能合约的。

5.1 重入攻击(Reentrancy Attack)

攻击原理
当合约在发送 ETH 或调用外部合约时,没有先更新自身的状态,就允许外部合约(攻击者)重新调用它,从而导致资金被多次提取。

案例:The DAO 攻击(2016)
1.The DAO 是一个去中心化投资基金,运行在以太坊上。
2.攻击者发现了一个漏洞,在调用 withdraw(提款)时,合约先发送 ETH,后更新余额。
3.由于攻击者的合约在收到 ETH 后递归调用 The DAO 合约,它可以反复提取资金,直到合约被耗尽。
4.结果导致 360 万 ETH 被盗,促使以太坊进行了硬分叉,分裂出 ETH 和 ETC。

5.2 价格操纵(Oracle Manipulation)

攻击原理
1.DeFi 协议依赖预言机(Oracle)提供的资产价格进行清算、借贷、交易等操作。
2.攻击者通过操纵喂价影响 DeFi 协议的决策,从而获利。
3.常见手段包括操纵去中心化交易所(DEX)上的价格或恶意控制预言机数据源。

案例:闪电贷价格操纵攻击(bZx 2020)
bZx 是一个基于以太坊的去中心化借贷协议,2020 年 2 月,该协议遭受了两次闪电贷攻击,攻击者利用Uniswap 价格操纵和bZx 预言机漏洞,成功获利约 1193 ETH(约 24 万美元)。

漏洞成因
1.Uniswap 采用 x * y = k 自动做市商(AMM)机制,价格受流动性影响,交易量过大会导致价格剧烈波动。由于 Uniswap 无法抗闪电贷攻击,攻击者可以利用瞬时大额交易操纵价格。
2.bZx 的清算逻辑基于预言机价格,若价格突然大跌,借款人的抵押品可能被系统清算。攻击者可以人为制造价格暴跌,并以低价购买清算资产获利。

攻击流程
1.攻击者使用 dYdX 进行闪电贷:借入 10,000 ETH,5,500 ETH 存入 Compound 作为抵押品。其余 4,500 ETH 用于操纵 Uniswap 价格。
2.在 Uniswap 上,攻击者用 4,500 ETH 大量买入 wBTC,导致 ETH 价格暴涨。
3.由于 Uniswap 采用自动做市商(AMM),此时 ETH/wBTC 汇率大幅上升。
4.由于 ETH 价格暴涨,bZx 认为用户的借款不足抵押,自动触发清算。
5.攻击者用少量资金低价清算其他用户的 wBTC 贷款,获利数千 wBTC。
6.攻击者将获利的 wBTC 以高价卖出,换回 ETH。
7.偿还 dYdX 的闪电贷,剩余部分为攻击者利润。

5.3 智能合约漏洞

举个整数溢出/下溢(Integer Overflow/Underflow)的案例。

Solidity 低版本(<0.8.0)中,整数计算可能导致溢出,例如 uint256 超出最大值,或 uint8 变成 255 → 0。攻击者可以通过特殊输入触发溢出,导致意外行为,如绕过余额检查或恶意增发代币。

漏洞代码:

contract OverflowExample {
    uint8 public value = 255;  // uint8 最大值为 255

    function add() public {
        value += 1;  // 这里会溢出,value 变为 0
    }
}

再看一个以太坊 Parity Wallet 漏洞(2017),漏洞的成因是多重签名钱包的 initOwner() 函数被错误地设为公开(public)。攻击者调用此函数重置管理员权限,随后提取所有资金。

contract AdminControl {
    address public admin;

    function setAdmin(address _admin) public {  
        admin = _admin;  // 任何人都可以更改 admin,存在风险
    }
}

常见的 DeFi 代码审计工具有以下几种,在后面的文章中会介绍:
1.Slither(静态分析)
2.MythX(智能合约扫描)
3.CertiK、PeckShield等

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【初探数据结构】归并排序与计数排序的序曲

&#x1f4ac; 欢迎讨论&#xff1a;在阅读过程中有任何疑问&#xff0c;欢迎在评论区留言&#xff0c;我们一起交流学习&#xff01; &#x1f44d; 点赞、收藏与分享&#xff1a;如果你觉得这篇文章对你有帮助&#xff0c;记得点赞、收藏&#xff0c;并分享给更多对数据结构感…

基于ruoyi快速开发平台搭建----超市仓库管理(修改记录1)

一、数据库的设计一定注意不要用关键字 数据库是同学设计的&#xff0c;但是在实践过程中&#xff0c;发现&#xff0c;生成的代码一直报错&#xff0c;结果发现数据库里面商品表里面的商品类别竟然设置成class, 注意&#xff1a;&#xff1a; class 是 Java 中的关键字&…

Springboot学习笔记3.20

目录 1.实战篇第一课 我们将会在本次实战中学习到哪些知识点&#xff1f; 开发模式和环境搭建&#xff1a; 注册接口 1.Lombok 2.开发流程 1.controller层&#xff0c;这个层会指明访问路径和要执行的逻辑&#xff1a; 2.我们把返回结果根据接口文档包装成一个类result&a…

Ubuntu和Windows实现文件互传

1.开启Ubuntu下的FTP服务&#xff1a; &#xff08;1&#xff09;终端输入&#xff1a; sudo apt-get install vsftpd&#xff08;2&#xff09;安装完成后&#xff1a; 终端输入&#xff1a; /etc 是 Linux 系统的全局配置文件目录&#xff0c;存储系统和应用程序的配置信息…

java面向对象从入门到入土

面向对象进阶 (写程序的套路) 面向:拿,找 对象:能干活的东西 面向对象编程:拿东西过来做对应的事情 (写程序的套路) 面向:拿,找 对象:能干活的东西 面向对象编程:拿东西过来做对应的事情 重点学习:学习已有对象并使用,学习如何自己设计对象并使用 设计对…

linux ACL权限控制之用户权限控制程序设计

linux中的ACL&#xff08;Access Control List&#xff0c;访问控制列表&#xff09;是一种比传统UNIX权限更细粒度的权限控制机制&#xff0c;允许为文件和目录设置更为具体的用户和组权限。本文介绍使用acl命令和程序api对文件进行更精细的用户权限控制。 1. 命令行示例 使…

Java多线程与JConsole实践:从线程状态到性能优化!!!

目录 一、前言二、JConsole 使用教程二、线程的基本状态2.1新建状态&#xff08;New&#xff09;2.2就绪状态&#xff08;Ready&#xff09;2.3运行状态&#xff08;Running&#xff09;2.4 阻塞状态&#xff08;Blocked&#xff09;2.5. 等待状态&#xff08;Waiting&#xff…

Stable Diffusion vue本地api接口对接,模型切换, ai功能集成开源项目 ollama-chat-ui-vue

1.开启Stable Diffusion的api服务 编辑webui-user.bat 添加 –api 开启api服务&#xff0c;然后保存启动就可以了 2.api 文档地址 http://127.0.0.1:7860/docs3. 文生图 接口 地址 /sdapi/v1/txt2img //post 请求入参 {enable_hr: false, // 开启高清hrdenoising_stre…

第十四届蓝桥杯真题(PWM输出)

一.LED 先配置LED的八个引脚为GPIO_OutPut&#xff0c;锁存器PD2也是&#xff0c;然后都设置为起始高电平&#xff0c;生成代码时还要去解决引脚冲突问题 二.按键 按键配置&#xff0c;由原理图按键所对引脚要GPIO_Input 生成代码&#xff0c;在文件夹中添加code文件夹&#…

【Qt】ffmpeg编码—存储(H264)

目录 一、编码分析 1.解码线程&#xff1a; ​编辑2.编码线程&#xff1a; ​编辑 ​编辑 二、ffmpeg编码 1.注册所有组件 2.编码初始化函数 &#xff08;2&#xff09;打开视频流 4.查找编码器 5. 写文件头信息&#xff0c;写到formatContex中 6.发送一帧数据给编码器…

Unity编辑器功能及拓展(1) —特殊的Editor文件夹

Unity中的Editor文件夹是一个具有特殊用途的目录&#xff0c;主要用于存放与编辑器扩展功能相关的脚本和资源。 一.纠缠不清的UnityEditor 我们Unity中进行游戏构建时&#xff0c;我们经常遇到关于UnityEditor相关命名空间丢失的报错&#xff0c;这时候&#xff0c;只得将报错…

REC一些操作解法

一.Linux命令长度突破 1.源码如下 <?php $param $_REQUEST[param];if ( strlen($param) < 8 ) {echo shell_exec($param); } 2.源码分析 echo执行函数&#xff0c;$_REQUEST可以接post、get、cookie传参 3.破题思路 源码中对参数长度做了限制&#xff0c;小于8位&a…

[AI绘图] ComfyUI 中自定义节点插件安装方法

ComfyUI 是一个强大的 AI 图像生成工具,支持自定义节点插件扩展其功能。本文介绍 ComfyUI 中安装自定义节点插件的三种方法,包括 Git Clone 方式、插件管理器安装方式,以及手动解压 ZIP 文件的方法,并分析它们的优缺点。 1. Git Clone 方法 使用 git clone 是最稳定且推荐…

【机械视觉】C#+VisionPro联合编程———【六、visionPro连接工业相机设备】

【机械视觉】C#VisionPro联合编程———【六、visionPro连接工业相机设备】 目录 【机械视觉】C#VisionPro联合编程———【六、visionPro连接工业相机设备】 前言&#xff1a; 连接步骤说明 一. 硬件连接 支持的相机接口类型&#xff1a; 连接步骤 2. 软件配置 Visio…

蓝桥杯 之 图论基础+并查集

文章目录 习题联盟X蓝桥幼儿园 图论基础 并查集 并查集&#xff0c;总的来说&#xff0c;操作分为三步初始化(每一个节点的父亲是自己)&#xff0c;定义union(index1,index2)函数&#xff0c;定义find(index)函数 并查集详细内容博客 习题 联盟X 联盟X 典型的求解连通分支…

C# .net ai Agent AI视觉应用 写代码 改作业 识别屏幕 标注等

C# net deepseek RAG AI开发 全流程 介绍_c# 向量处理 deepseek-CSDN博客 视觉多模态大模型 通义千问2.5-VL-72B AI大模型能看懂图 看懂了后能干啥呢 如看懂图 让Agent 写代码 &#xff0c;改作业&#xff0c;识别屏幕 标注等等。。。 据说是目前最好的免费图片识别框架 通…

15届蓝桥JavaB组 前6道题解

15届蓝桥JavaB组 前6道题解 报数游戏类斐波那契循环数分布式队列食堂最优分组星际旅行 报数游戏 import java.util.Scanner;//分析&#xff1a; //20和24的最小公倍数是120 //题目给出了前10个数&#xff0c;发现第10个数是120&#xff0c;说明每10个数出现一个公倍数 //第20个…

蓝桥杯 14 天 十五届蓝桥杯 数字诗意

static boolean kkk(long x) {if(x1)return true;else {// 初始化xx为1&#xff0c;用于计算2的幂long xx 1;// 循环60次&#xff0c;检查2的幂是否等于xfor (int i 1; i < 60; i) {xx * 2; // 每次将xx乘以2if (xx x) { // 如果xx等于x&#xff0c;说明x是2的幂&#xf…

MP4音视频格式

1.MP4 MP4是一种用于封装音视频/字幕/图片/章节信息等数据的多媒体容器格式&#xff0c;是MPEG-4系列的成员之一 2.文件结构 MP4由一层层的嵌套Box&#xff08;atom&#xff09;组成 [ size (4 bytes) ][ type (4 bytes)][ payload (嵌套box或者数据) ] 3.常见Box 类型名称…

国内GitHub镜像源全解析:加速访问与替代方案指南

在数字化开发日益普及的今天,GitHub作为全球最大的代码托管平台,已成为开发者不可或缺的资源库。然而,由于网络环境的限制,国内用户在访问GitHub时常常面临速度慢、连接不稳定等问题。为了提升开发效率,国内涌现出多个GitHub镜像源,为开发者提供了快速、稳定的代码克隆与…