By:?九九&Zero
据慢雾安全团队情报，2023年3月13日，Ethereum链上的借贷项目EulerFinance遭到攻击，攻击者获利约2亿美元。慢雾安全团队第一时间介入分析，并将结果分享如下：
相关信息
EulerFinance是以太坊上的一个非托管的无许可借贷协议，帮助用户为他们的加密货币资产赚取利息或对冲波动的市场。
当用户在EulerFinance上进行存款抵押时会收到对应的EToken作为凭证，后续赎回抵押品和进行借贷时都是通过EToken。EToken的设计使用户可以通过铸造EToken并直接使用新的EToken作为抵押品来借出更多的资产并增加债务，即以叠加杠杆的方式进行自我借贷(selfborrow)。
Euler的软清算机制是允许清算人灵活的帮被清算人偿还其债务，而不是只能按照固定的系数进行清算。
以下是本次攻击涉及的相关地址：
攻击者EOA地址：
0x5f259d0b76665c337c6104145894f4d1d2758b8c
0xb2698c2d99ad2c302a95a8db26b08d17a77cedd4
攻击合约地址：
https://etherscan.io/address/0xeBC29199C817Dc47BA12E3F86102564D640CBf99
Coinbase 出现间隙性登陆问题，团队正在解决:金色财经报道，Coinbase 表示，意识到一些用户在登录 Coinbase 网站、移动应用和 Coinbase Prime 时遇到问题，团队正在尽快解决这个问题。Coinbase 账户中的资金是安全的。[2023/3/14 13:03:51]
https://etherscan.io/address/0x036cec1a199234fC02f72d29e596a09440825f1C
https://etherscan.io/address/0x036cec1a199234fC02f72d29e596a09440825f1C
攻击交易：
https://etherscan.io/tx/0xc310a0affe2169d1f6feec1c63dbc7f7c62a887fa48795d327d4d2da2d6b111d
https://etherscan.io/tx/0x71a908be0bef6174bccc3d493becdfd28395d78898e355d451cb52f7bac38617
https://etherscan.io/tx/0x62bd3d31a7b75c098ccf28bc4d4af8c4a191b4b9e451fab4232258079e8b18c4
https://etherscan.io/tx/0x465a6780145f1efe3ab52f94c006065575712d2003d83d85481f3d110ed131d9
Big Data Protocol公布合约Bug解决方案:据官方推特消息，Big Data Protocol公布了有关质押奖励无法申领的解决方案。由于合约Bug而导致用户无法获得其应有的BDP奖励，官方将烧毁约570万的BDP（总量的7%）并空投给用户。受影响的用户将在本周获得对应的空投奖励，完整细节将后续公布。官方已经确认此Bug不会影响协议中的其他任何内容，包括bALPHA和其他的流动资金池。[2021/3/16 18:47:27]
https://etherscan.io/tx/0x3097830e9921e4063d334acb82f6a79374f76f0b1a8f857e89b89bc58df1f311
https://etherscan.io/tx/0x47ac3527d02e6b9631c77fad1cdee7bfa77a8a7bfd4880dccbda5146ace4088f
攻击核心点
此次攻击的主要原因有两点：
1.将资金捐赠给储备地址后没有检查自身是否处于爆仓状态，导致能直接触发软清算的机制。
2.由于高倍杠杆触发软清算逻辑时，被清算者的健康系数会降低到1以下，导致清算者的清算获利可以完全覆盖其负债。因此由于清算后获得的抵押资金的价值是大于负债的价值，所以清算者无需进行额外的超额抵押即可成功通过自身的健康系数检查(checkLiquidity)而提取获得的资金。
具体细节分析
企鹅号利用区块链解决确权取证难 全年下架侵权作品八百万次:金色财经报道，3月16日，腾讯内容开放平台（企鹅号）发布《2019企鹅号版权保护年度报告》，报告显示，2019年企鹅号全年保护原创作品5300万篇，发起维权并成功下架侵权作品800万次，“一键维权”系统日均发起维权3万次。通过持续发力区块链确权取证、提升伪原创识别技术和加大力度打击侵权行为。[2020/3/16]
这里以攻击交易0xc310a0af进行分析，其他攻击的手法均一致：
1.攻击者首先从Aave中闪电贷出30,000,000枚DAI，并创建了两个子攻击合约(0x583c21)和(0xA0b3ee)，为后续攻击做准备。
2.其次将20,000,000枚DAI通过deposit函数存入Euler中，获得了19,568,124.3枚抵押物凭证代币eDAI。
3.之后调用mint函数(selfborrow)进行借款，借出了195,681,243枚eDAI和200,000,000枚债务代币dDAI。
现场 | DgameFund合伙人余学军：区块链游戏要重点解决三个问题:金色财经现场报道，全球区块链开发者大会 GBDC 2018 Day2 会议正在进行，会上DgameFund合伙人余学军指出区块链游戏要重点解决三个问题：1、价值传播从“炒币”到“价值”，加大区块链游戏媒体、社区投资；2、降低门槛，从“强迫”到“无感”，弱化区块链技术在表现层的展示，将技术包装到底层技术；3、提高体验，从“娱乐”到“投资”，加大原生精品游戏研发，传统竞品游戏移植。[2018/12/17]
4.紧接着调用repay函数用剩余的10,000,000枚DAI进行还款，其目的是为了减轻债务并增加抵押物价值，以便再次进行借贷。
5.再次调用mint函数(selfborrow)进行第二次借款，借出了195,681,243枚eDAI和200,000,000枚dDAI，此时该账户中大约410,930,612枚eDAI与390,000,000枚dDAI。
6.然后调用donateToReserves函数将100,000,000枚eDAI捐赠给储备地址，此时账户中的eDAI剩下310,930,612枚，而债务代币dDAI有390,000,000枚，此刻账户处于爆仓状态，但donateToReserves函数并没有检查账户的健康系数。
7.通过另一个子攻击合约0xA0b3ee调用清算函数去清算上一步中处于可被清算状态下的账户0x583c21。
清算过程中将0x583c21账户的259,319,058枚dDAI的负债转移到0xA0b3ee上，并获取了该账户的310,930,612枚eDAI。
可以看出清算人仅承担较少的债务却可以获得绝大部分的抵押品，这是因为Euler的软清算机制：当清算人开始进行清算时，将会根据债务人的健康系数计算折扣。根据这个特性当健康系数越低时，折扣越大，所能转移抵押品越多，最终只要能覆盖本身的债务既可完成获利。
由于清算后0xA0b3ee账户获得的抵押品是超过债务数量的，所以能成功通过清算检查。
8.最后通过调用withdraw函数进行提款上一步清算中得到的资金，并归还闪电贷获利。
MistTrack链上追踪
截止发文时间，100ETH已经被黑客转移到TornadoCash。
剩余资金作为余额保留在黑客地址，以下为详情：
值得注意的是，此次攻击事件共有6笔攻击交易，除了第一笔攻击交易为攻击者EOA地址1发起的外，其他的攻击交易发起人均为攻击者EOA地址2。
以下是6笔攻击交易的时间线：
2023-03-1311:38:11UTC，攻击者EOA地址1将获利的8,877,507.34DAI提款到攻击者EOA地址2的获利地址。
2023-03-1312:08:35UTC，攻击者EOA地址1发起链上喊话交易，喊话内容为：攻击者EOA地址1自称为MEV机器人，抢跑了攻击者EOA地址2的第一笔攻击交易，尝试抢跑其他的攻击交易但失败。更不幸的是，它创建的攻击合约只能提款到攻击者EOA地址2的获利地址。
根据MistTrack链上分析团队分析，攻击者EOA地址1的手续费来源地址是30天前在BSC链采用闪电贷攻击手法攻击EPMAX项目的黑客地址，攻击获利346,399.28USDT。
攻击获利后，EPMAX黑客地址通过cBridge跨链到ETH链后将获利资金转移到TornadoCash。EPMAX黑客使用到的平台工具有Multichain,FixedFloat,cBridge,1inch和KyberSwap。
攻击者EOA地址2的手续费来源是TornadoCash。
总结
综上所述，我们可以发现其实单独看donate操作，不检查捐赠用户的流动性是没有问题的。当用户捐赠后处于爆仓状态时，自然会有套利机器人进行清算。而单独看软清算的特性反而可以减轻过度清算以及清算不足的情况，正常清算的情况下是要求清算者需要有一定的抵押物，以避免完成清算后无法通过流动性检查。
但当捐赠操作与软清算相结合时就发生了奇妙的化学反应，攻击者通过杠杆(selfborrow)与捐赠特性将本身的健康系数降低到1以下，这就直接导致了清算者在完成清算后的获利可以覆盖其负债。
此次攻击事件的根本原因在于涉及用户资金的关键函数缺少流动性检查，并与动态更新折扣的清算机制构成了套利空间，导致攻击者无需抵押或偿还债务即可套取大量的抵押品。慢雾安全团队建议借贷类型的协议在涉及用户资金的函数需要做好必要的健康检查，并且需要考虑到不同模块组合后会形成的安全风险，设计安全的经济模型与业务模型。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。