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

文章目录

    • 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 最大值为 255function 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.mzph.cn/pingmian/73920.shtml

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

相关文章

问题:md文档转换word,html,图片,excel,csv

文章目录 问题&#xff1a;md文档转换word&#xff0c;html&#xff0c;图片&#xff0c;excel&#xff0c;csv&#xff0c;ppt**主要职责****技能要求****发展方向****学习建议****薪资水平** 方案一&#xff1a;AI Markdown内容转换工具打开网站md文档转换wordmd文档转换pdfm…

代码随想录刷题day53|(二叉树篇)106.从中序与后序遍历序列构造二叉树(▲

目录 一、二叉树理论知识 二、构造二叉树思路 2.1 构造二叉树流程&#xff08;给定中序后序 2.2 整体步骤 2.3 递归思路 2.4 给定前序和后序 三、相关算法题目 四、易错点 一、二叉树理论知识 详见&#xff1a;代码随想录刷题day34|&#xff08;二叉树篇&#xff09;二…

前端知识点---用正则表达式判断邮箱(javascript)

// 全面的正则&#xff08;兼容大多数情况&#xff09; const emailRegex /^[a-zA-Z0-9._%-][a-zA-Z0-9.-]\.[a-zA-Z]{2,}$/;// 或直接使用浏览器内置验证 <input type"email" required>/&#xff1a;正则表达式的起始和结束标志。 ^&#xff1a;匹配字符串的…

PyQt6实例_批量下载pdf工具_界面开发

目录 前置&#xff1a; 代码&#xff1a; 视频&#xff1a; 前置&#xff1a; 1 本系列将以 “PyQt6实例_批量下载pdf工具”开头&#xff0c;放在 【PyQt6实例】 专栏 2 本系列涉及到的PyQt6知识点&#xff1a; 线程池&#xff1a;QThreadPool,QRunnable&#xff1b; 信号…

在word中使用zotero添加参考文献并附带超链接

一、引言 在写大论文时&#xff0c;为了避免文中引用与文末参考文献频繁对照、修改文中引用顺序/引用文献时手动维护参考文献耗易出错&#xff0c;拟在 word 中使用 zotero 插入参考文献&#xff0c;并为每个参考文献附加超链接&#xff0c;实现交互式阅读。 版本&#xff1a…

Selenium文件上传

在 Web 自动化测试中,文件上传是一项常见的任务。不同的网站和前端技术可能导致上传方式有所不同,因此需要采用不同的方法进行处理。 方法 1:使用 send_keys() 直接上传(最常用) 适用场景: 页面中 有标准的 <input type="file"> 标签。 不需要弹出 Wind…

线程概念与控制(中)

线程概念与控制&#xff08;上&#xff09;https://blog.csdn.net/Small_entreprene/article/details/146464905?sharetypeblogdetail&sharerId146464905&sharereferPC&sharesourceSmall_entreprene&sharefrommp_from_link我们经过上一篇的学习&#xff0c;接…

【Unity】 鼠标拖动物体移动速度跟不上鼠标,会掉落

错误示范&#xff1a; 一开始把移动的代码写到update里去了&#xff0c;发现物体老是掉(总之移动非常不流畅&#xff0c;体验感很差&#xff09; void Update(){Ray ray Camera.main.ScreenPointToRay(Input.mousePosition);if (Physics.Raycast(ray, out RaycastHit hit, M…

MATLAB 控制系统设计与仿真 - 30

用极点配置设计伺服系统 方法2-反馈修正 如果我们想只用前馈校正输入&#xff0c;从而达到伺服控制的效果&#xff0c;我们需要很精确的知道系统的参数模型&#xff0c;否则系统输出仍然具有较大的静态误差。 但是如果我们在误差比较器和系统的前馈通道之间插入一个积分器&a…

VMware Windows Tools 存在认证绕过漏洞(CVE-2025-22230)

漏洞概述 博通公司&#xff08;Broadcom&#xff09;近日修复了 VMware Windows Tools 中存在的一个高危认证绕过漏洞&#xff0c;该漏洞编号为 CVE-2025-22230&#xff08;CVSS 评分为 9.8&#xff09;。VMware Windows Tools 是一套实用程序套件&#xff0c;可提升运行在 VM…

罗杰斯特回归

定义 逻辑回归其实就是原来的线性回归加了激活函数&#xff0c;这个函数其实就是sigmoid函数&#xff0c;把一个回归的连续数值压缩到了0到1的空间&#xff0c;其实只要有函数能够满足把数值压缩到0,1之间就可以&#xff08;因为0到1之间的数值就是概率值&#xff09; 对于分类…

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…

基于django优秀少儿图书推荐网(源码+lw+部署文档+讲解),源码可白嫖!

摘要 时代在飞速进步&#xff0c;每个行业都在努力发展现在先进技术&#xff0c;通过这些先进的技术来提高自己的水平和优势&#xff0c;图书推荐网当然不能排除在外。本次开发的优秀少儿图书推荐网是在实际应用和软件工程的开发原理之上&#xff0c;运用Python语言、爬虫技术…

《网络管理》实践环节01:OpenEuler22.03sp4安装zabbix6.2

兰生幽谷&#xff0c;不为莫服而不芳&#xff1b; 君子行义&#xff0c;不为莫知而止休。 1 环境 openEuler 22.03 LTSsp4PHP 8.0Apache 2Mysql 8.0zabbix6.2.4 表1-1 Zabbix网络规划&#xff08;用你们自己的特征网段规划&#xff09; 主机名 IP 功能 备注 zbx6svr 19…

Axure项目实战:智慧城市APP(七)我的、消息(显示与隐藏交互)

亲爱的小伙伴&#xff0c;在您浏览之前&#xff0c;烦请关注一下&#xff0c;在此深表感谢&#xff01; 课程主题&#xff1a;智慧城市APP 主要内容&#xff1a;我的、消息、活动模块页面 应用场景&#xff1a;消息页设计、我的页面设计以及活动页面设计 案例展示&#xff…

晶晨S905L3A(B)-安卓9.0-开启ADB和ROOT-支持IPTV6-支持外置游戏系统-支持多种无线芯片-支持救砖-完美通刷线刷固件包

晶晨S905L3A(B)-安卓9.0-开启ADB和ROOT-支持IPTV6-支持外置游戏系统-支持多种无线芯片-支持救砖-完美通刷线刷固件包 适用型号&#xff1a;M401A、CM311-1a、CM311-1sa、B863AV3.1-M2、B863AV3.2-M、UNT403A、UNT413A、M411A、E900V22C、E900V22D、IP112H等等晶晨S905L3A(B)处…

【免费】2007-2019年各省地方财政科学技术支出数据

2007-2019年各省地方财政科学技术支出数据 1、时间&#xff1a;2007-2019年 2、来源&#xff1a;国家统计局、统计年鉴 3、指标&#xff1a;行政区划代码、地区、年份、地方财政科学技术支出 4、范围&#xff1a;31省 5、指标说明&#xff1a;地方财政科学技术支出是指地方…

树形结构的工具类TreeUtil

这个地方是以null为根节点&#xff0c;相关以null或者0自己在TreeUtil中加代码&#xff0c;就行 基础类 package com.jm.common.entity;import lombok.Data;import java.util.ArrayList; import java.util.List;/*** Author:JianWu* Date: 2025/3/26 9:02*/ Data public clas…

视频联网平台智慧运维系统:智能时代的城市视觉中枢

引言&#xff1a;破解视频运维的"帕累托困境" 在智慧城市与数字化转型浪潮中&#xff0c;全球视频监控设备保有量已突破10亿台&#xff0c;日均产生的视频数据量超过10万PB。然而&#xff0c;传统运维模式正面临三重困境&#xff1a; 海量设备管理失序&#xff1a;…

DeepSeek 助力 Vue3 开发:打造丝滑的表格(Table)之添加行拖拽排序功能示例9,TableView16_09 嵌套表格拖拽排序

前言:哈喽,大家好,今天给大家分享一篇文章!并提供具体代码帮助大家深入理解,彻底掌握!创作不易,如果能帮助到大家或者给大家一些灵感和启发,欢迎收藏+关注哦 💕 目录 DeepSeek 助力 Vue3 开发:打造丝滑的表格(Table)之添加行拖拽排序功能示例9,TableView16_09 嵌…