By:慢雾安全团队
据慢雾区消息,2021年06月16日,以太坊DeFi项目Alchemix的alETH合约疑似出现安全问题。17日,Alchemix发布了事故分析报告,慢雾安全团队迅速介入分析,并在官方分析报告的基础上梳理了本次事件的整个脉络和核心关键点,供大家参考。
太长不看系列
本次分析文章很长。这里先说结论,方便大家有个大概的理解。本次事故的主要原因在于Alchemix通过transmuter添加了3次vault,导致收益信息记录在了一个错误的元素上,而在调用transmuter的harvest函数时也没有传入正确的index值,导致通过错误的元素获取了错误的收益,将错误的4300ETH的收益发送到adapter合约,帮助用户偿还了alETH的贷款,造成收益增多的问题,导致了悲剧。
核心分析——Round1
根据官方发布的事故分析报告,本次事故的原因是官方的alETH的部署脚本意外地创建了额外的vaults,导致Alchemix使用了vaults数组中错误的索引并计算出了错误的奖励,导致transmuter把所有的奖励用于偿还了用户的所有负债。我知道单单是这句简短的分析让人有点云里雾里,摸不着头脑,所以我们只能把目标放在官方给出的交易中,看看能不能找到真相。
根据官方给出的交易,通过ethtx.info分析工具进行分析,我们不难发现,这笔交易调用了AlchemistEth合约的harvest函数,并且传入了_vaultId=0这个参数,最后返回了
Zksync上的Eralend疑似遭受攻击,目前已暂停借贷:7月25日消息,推特用户@weisiman称,据多位用户反映,Zksync上的借贷协议Eralend遭受闪电贷攻击,目前已无法借贷。据称,这个项目代码并未开源。官方暂未发布任何回应,提醒用户注意资产安全。[2023/7/25 15:58:05]
"4308144937764982868765"和"4308144937764982866415"这两个值。
为了更加了解harvest函数的作用,我们需要对整个函数进行分析:
不难发现,harvest函数其实包含两个重要的操作,分别是收获奖励和将奖励分发给transmuter合约。其中vault是一个library库合约,其中的harvest逻辑实现如下:
通过代码分析不难发现,vault库合约的harvest函数其实是检查了外部的adapter的总的资金量,然后根据adapter中的资金量减去用户的充值数量计算出收益的部分。
这里我们可以将这个adapter理解为一个策略池,用于管理用户的资金和收益。然后我们回到用户一开始的AlchemistEth合约中的harvest函数,发现返回的"4308144937764982868765"和
"4308144937764982866415"这两个值其实对应的就是vault库合约的harvest函数计算出的需要提现的代币数量和从adapter(策略池)中取回的代币的数量。由于这个adapter对应的收益代币是WETH,精度为18位,那么"4308144937764982866415"这个数值换算过来就是"4308.144937764982866415"个WETH。
火必将首发上线ARB,今日20时将开放其充币业务:据火必官方公告,火必将首发上线ARB并全面支持Arbitrum生态发展,于今日20时 (GMT+8)开放其充币业务。公告显示,其币币交易及提币业务开放时间待定,具体以官方公告为准。
据此前消息,Arbitrum于3 月16 日晚宣布为Arbitrum One和Arbitrum Nova网络推出DAO治理和治理代币ARB,并将于3 月23 日空投给社群成员。此次空投代币数量将占总供应量的11.6%。
据悉,Arbitrum是以太坊的一种Layer2扩展解决方案,由Offchain Labs创建。[2023/3/17 13:10:25]
也就是说,本次harvest操作,收益了超过4300个ETH的收益,然后这个收益在下一步中通过_distributeToTransmuter函数给到了transmuter合约进行分发,我们看下分发过程中的逻辑是怎样的:
_distributeToTransmuter函数的逻辑只有简单的3行,我们主要关注的是最后的外部调用——lowerHashMinted函数。该函数所对应的xtoken在这里指的是alETH本身。因为alETH本身是用户通过借贷借出来的,所以lowerHashMinted这里的操作其实是使用harvest的收益将alETH总的贷出数量减少了,从而减少了每个用户的贷款。总结来说就是用harvest4300ETH的收益偿还用户的alETH贷款。
报告:2022年L2资金流入强劲,ETH计价增长119%:1月11日消息,Binance Research发布的一则报告回顾了2022年的市场。报告显示,2022年L2资金流入强劲,以ETH计价TVL增长119%,以美元计价TVL下降28%,降幅显著低于整个DeFi市场的76%。
全年NFT销售额219亿美元,同比增长10.6%。主要归功于2022年上半年的强劲销售,下半年相对平静。“X-to-Earn”背后的炒作逐渐消失,人们对元宇宙的兴趣也在减弱。[2023/1/11 11:06:38]
打个小总结
这里先总结下这个流程,就是AlchemistEth合约通过harvest函数,得到了4300ETH的收益,并将这个收益分发出去了,用于偿还用户的alETH贷款,导致了我们看到的情况——已经贷出alETH的用户在不需要还款的情况下就可以拿回他们质押的ETH。那究竟是为什么,会有这4300ETH的收益呢?这多出来的4300ETH的收益是怎么来的?针对这个问题,我们开始下一轮的分析。
核心分析——Round2
要了解为什么会多出来4300ETH,就必须了解AlchemistEth的资金存储过程。在AlchemistEth合约中,合约总的充值情况是使用Vaultlibrary库的Data结构体进行记录的,然后通过flushActiveVault函数更新对应的充值数量(totalDeposit)。
然后depositAll函数会将充值的代币金额打到对应的adapter(策略池)中,那么在下一次harvest的时候,通过adapter(策略池)获取的totalValue,就会是用户的本金加上策略池的收益。为了计算收益过程中的本金部分,我们对官方给出的交易进行debug,发现本金仅为9000ETH,从adapter获取的收益加上本金共有13000ETH,也就是说9000ETH的本金产生了4300ETH的收益。
欧洲央行正在研究用于银行间结算的分散式账本技术:9月26日消息,欧洲央行执行委员会成员Fabio Panetta表示,欧洲央行 (ECB) 正在研究分散式账本技术 (DLT) 在提高银行间结算效率方面的“潜力”。
据悉,分散式账本(distributed ledger)是一个分散的数据库,由大型网络中的各个参与者独立维护和更新。根据Fabio Panetta的说法,中央银行数字货币(CBDC)通常被定义为一种新型的基于 DLT 的中央银行数字货币,可以专门用于结算银行间转账。(CoinDesk)[2022/9/26 5:51:34]
但是,按照上面分析的逻辑,用户的本金是不会产生那么大的收益的,问题肯定是出在了adapter获取的totalValue。也就是说adapter不止只有AlchemistEth充值代币,还存在其他的收益渠道。为了验证我们的想法,慢雾安全团队分析了adapter的所有代币收入,果然发现了一笔异常的转入行为,并且金额也能刚好对上多出的4300ETH的收益。也就是说,问题就在这里了。
通过查看交易数据,发现这是一笔调用harvest操作的交易,调用的合约是transmuter合约:
也就是说,是这个harvest函数出问题了,harvest函数的逻辑如下:
同样是调用了vault的harvest函数,熟悉的配方,熟悉的味道。我们再次进行debug,发现一个惊人的事实——在进行收益的时候,vault的totalDeposit竟然为0,导致4300ETH的收益直接分发给了adapter,导致了adapter获取的totalValue错误了,多了4300个ETH,原因就是在这里。
邮储银行北京分行发行基于区块链的服贸会专属数字纪念徽章:金色财经报道,据中国邮政官方公众号,邮储银行北京分行经服贸会组委会授权,以本届服贸会会徽为主图,基于区块链技术定制发行了服贸会专属数字纪念徽章。[2022/9/5 13:09:01]
到了这里,我们已经很接近真相了,剩下要解决的就是为什么totalDeposit会为0?我们查询了transmuter合约中能改变totalDeposit的地方,发现只有_plantOrRecallExcessFunds函数可以改变这个值,而这个函数上层调用的又是distribute函数。而transmuter合约的distribute函数是AlchemistEth合约在收益的时候进行调用的。也就是说本身的流程应该是:
1.AlchemistEth合约调用harvest进行收益
2.AlchemistEth合约调用transmuter合约的distribute函数记录收益情况,并把收益部分给adapter
3.adapter收到了transmuter的收益,根据收益偿还用户的alETH的贷款
但是问题就出在了_plantOrRecallExcessFunds函数中。由于在记录充值信息的时候,用的是_vaults.last()来获取最新的vault,所以其实充值信息叠加在了最后一个元素上。但是项目方调用了三次setActiveVault函数,所以其实充值信息是叠加到了_vaults数组的3号元素,也就是index为2的vault元素上。但是在transmuter合约在harvest的时候传入的_vaultId却是0,0号元素是没有任何充值记录的,所以transmuter合约就误将所有的收益都给了adapter了。导致了悲剧的发生。
总结
到这里,整个事情已经变得很清晰了,Alchemix项目方由于某种原因,通过transmuter添加了3次vault,导致收益信息记录在了一个错误的元素上,而在调用transmuter的harvest函数时也没有传入正确的index值,导致通过错误的元素获取了错误的收益,错误收益被发送到adapter合约,造成收益增多,导致了悲剧。
慢雾安全团队在此提醒,DeFi是一个复杂的系统,在进行DeFi操作的时候,要记得检查好业务逻辑中的每一个流程,防止意外的发生,在必要的时候可以联系专业的安全团队进行专业的安全审计,防止事故的发生。
__
官方事故分析报告:
___https://forum.alchemix.fi/public/d/137-incident-report-06162021_
收益计算错误交易:https://etherscan.io/tx/0x3cc071f9f40294bb250fc7b9aa6b2d7e6ca5707ce4d6d222157d7a0feef618b3
__
往期回顾
HPOOL入驻慢雾区,发布「安全漏洞与威胁情报赏金计划」
重磅!慢雾的安全审计结果已集成到CoinMarketCap
Tokenlon入驻慢雾区,发布「安全漏洞与威胁情报赏金计划」我竟了我自己?——BurgerSwap被黑分析
代币闪崩,差点归零-PancakeBunny被黑简析
慢雾导航
慢雾科技官网
https://www.slowmist.com/
慢雾区官网
https://slowmist.io/
慢雾GitHub
https://github.com/slowmist
Telegram
https://t.me/slowmistteam
https://twitter.com/@slowmist_team
Medium
https://medium.com/@slowmist
币乎
https://bihu.com/people/586104
知识星球
https://t.zsxq.com/Q3zNvvF
火星号
http://t.cn/AiRkv4Gz
链闻号
https://www.chainnews.com/u/958260692213.htm
免责声明:作为区块链信息平台,本站所发布文章仅代表作者个人观点,与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考,并非作为或被视为实际投资建议。
本文来源于非小号媒体平台:
慢雾科技
现已在非小号资讯平台发布68篇作品,
非小号开放平台欢迎币圈作者入驻
入驻指南:
/apply_guide/
本文网址:
/news/10084665.html
免责声明:
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表非小号的观点或立场
上一篇:
SendingLabs完成1250万美元种子轮融资,以构建「Web3通信堆栈」
YFX.COM是一个基于ETH、BSC、Heco、Tron、Okchain、PolkaDot的跨链去中心化永续合约平台,提供BTC、ETH等高达100倍的永续合约资产交易服务.
1900/1/1 0:00:00NFT的数字化特征、价值捕获形式、互操作性与可编程性都为数据要素市场提供了借鉴意义。撰文:曹一新,就职于HashKeyCapitalResearch审核:邹传伟,万向区块链首席经济学家NFT成功.
1900/1/1 0:00:00一、项目介绍Stopelon是一个社区代币,在币安智能链BSC-20上发起。该代币是在团结、信任和公平的价值观下诞生,旨在帮助保护加密货币投资者免受、虚假拉高砸盘,以及最重要的市场及价格操纵.
1900/1/1 0:00:00尊敬的用户:BKEXGlobalETP专区将于2021年6月18日16:00上线AKRO3L、AKRO3S.
1900/1/1 0:00:00准备了、努力了、熬夜了、没抢到额度、就好比抢了一个寂寞。其实是就是我的心境的真实写照。6月11日,KAKA漫威与大嘴猴限量版NFT盲盒拍售活动圆满落幕,而我埋伏了三天,用最新的5G手机抢购KAK.
1900/1/1 0:00:00尊敬的用户:币虎将上线KIKA,并在创新区开通KIKA/USDT交易市场,具体详情如下:1.开放充币:2021年6月24日14:00;2.开放交易:2021年6月24日18:00;3.开放提币:.
1900/1/1 0:00:00