踏过最多的路竟然自身的招数：Alchemix事情剖析_日内

踏过最多的路竟然自身的招数：Alchemix事情剖析

By：yudan@慢雾安全性精英团队

据慢雾区信息，2021 年 06 月 16 日，以太币 DeFi 新项目 Alchemix 的 alETH 合约疑是发生安全隐患。17 日，Alchemix 公布了安全事故数据分析报告，慢雾安全性精英团队快速干预剖析，并在官方网数据分析报告的基本上整理了此次事情的全部多元性和关键关键环节，供大伙儿参照。

过长不要看系列产品

此次剖析文章内容较长。这儿先说结果，便捷大伙儿有一个大约的了解。此次安全事故的关键缘故取决于 Alchemix 根据 transmuter 加上了 3次 vault，造成收益信息内容纪录在了一个不正确的原素上，而在调用 transmuter 的 harvest 函数时都没有传到恰当的 index 值，造成根据不正确的原素获得了不正确的收益，将不正确的 4300 ETH 的收益发送至 adapter 合约，协助用户还款了 alETH 的借款，导致收益增加的难题，造成了不幸。

关键剖析——Round 1

依据官方发布的安全事故数据分析报告，此次安全事故的缘故是官方网的 alETH 的布署脚本制作出现意外地建立了附加的 vaults，造成 Alchemix 应用了 vaults 二维数组中不正确的数据库索引并测算出了不正确的奖赏，造成 transmuter 把全部的奖赏用以还款了用户的全部债务。我明白只是这句话简洁明了的剖析令人有点儿恍恍惚惚，摸不着头脑，因此大家只有把总体目标放到官方网得出的买卖中，看一下能否寻找实情。

依据官方网得出的买卖，根据 ethtx.info 分析工具开展剖析，大家不会太难发觉，该笔买卖调用了 AlchemistEth 合约的 harvest 函数，而且传到了 _vaultId=0 这一主要参数，最终回到了

"4308144937764982868765" 和 "4308144937764982866415" 这两个值。

为了更好地更为掌握 harvest 函数的功效，大家必须对全部函数开展剖析：

不会太难发觉，harvest 函数实际上包括2个关键的实际操作，分别是获得奖赏和将奖赏分发送给 transmuter 合约。在其中 vault 是一个 library 库合约，在其中的 harvest 逻辑性完成以下：

根据编码剖析不会太难发觉，vault 库合约的 harvest 函数实际上是查验了外界的 adapter 的总的资金额，随后依据 adapter 中的资金额减掉用户的在线充值总数测算出收益的一部分。

这儿我们可以将这一 adapter 了解为一个对策池，用以管理方法用户的资产和收益。随后大家返回用户一开始的 AlchemistEth 合约中的 harvest 函数,发觉回到的 "4308144937764982868765" 和 

"4308144937764982866415" 这两个值实际上相匹配的便是 vault 库合约的 harvest 函数测算出的必须取现的代币总总数和从 adapter (对策池) 中取回来的代币总的总数。因为这一 adapter 相匹配的收益代币总是 WETH，精密度为 18 位，那麼 "4308144937764982866415" 这一标值计算回来便是 "4308.144937764982866415" 个 WETH。

换句话说，此次 harvest 实际操作，收益了超出 4300 个 ETH 的收益，随后这一收益在下一步中根据 _distributeToTransmuter 函数给到 transmuter 合约开展派发，大家看下派发全过程中的逻辑性是如何的：

_distributeToTransmuter 函数的逻辑性仅有简易的 3 行，大家关键关心的是最终的外界调用 —— lowerHashMinted 函数。该函数所相匹配的 xtoken 在这儿指的是 alETH 自身。由于 alETH 自身是用户根据借款套出来的，因此 lowerHashMinted 这儿的实际操作实际上是应用 harvest 的收益将 alETH 总的贷出总数降低了，进而降低了每一个用户的借款。汇总而言便是用 harvest 4300 ETH 的收益还款用户的 alETH 借款。

打个小汇总

这儿先汇总下这一步骤，便是 AlchemistEth 合约根据 harvest 函数，获得了 4300 ETH 的收益，并将这一收益派发出去了，用以还款用户的 alETH 借款，造成了大家见到的状况 —— 早已贷出 alETH 的用户在不用还贷的状况下就可以拿回她们质押贷款的 ETH。那到底是为什么，会出现这 4300 ETH 的收益呢？这多出去的 4300 ETH 的收益是怎么来的？对于这个问题，大家逐渐下一轮的剖析。

关键剖析——Round 2

要掌握怎么会多出去 4300 ETH，就务必掌握 AlchemistEth 的资产sql语句。在 AlchemistEth 合约中，合约总的在线充值状况是应用 Vault library 库的 Data 建筑结构开展纪录的，随后根据 flushActiveVault 函数升级相匹配的在线充值总数(totalDeposit)。

随后 depositAll 函数会将在线充值的代币总额度打进相匹配的 adapter(对策池) 中，那麼在下一次 harvest 的情况下，根据 adapter(对策池) 获得的 totalValue，便会是用户的本钱再加上对策池的收益。为了更好地测算收益全过程中的本钱一部分，大家对官方网得出的买卖开展 debug，发觉本钱仅为 9000 ETH，从 adapter 获得的收益再加上本钱一共有 13000 ETH，换句话说 9000 ETH 的本钱造成了 4300 ETH 的收益。

可是，依照上边剖析的逻辑性，用户的本钱是不容易造成那么大的收益的，难题肯定是出在了 adapter 获得的 totalValue。换句话说 adapter 不仅仅有 AlchemistEth 在线充值代币总，还存有别的的收益方式。为了更好地认证大家的念头，慢雾安全性精英团队剖析了 adapter 的全部代币总收益，果真发觉了一笔出现异常的转到个人行为，而且额度也可以恰好对上空出的 4300 ETH 的收益。换句话说，难题就在这里了。

根据查询买卖数据信息，发觉它是一笔调用 harvest 实际操作的买卖，调用的合约是 transmuter 合约：

换句话说，是这一 harvest 函数出难题了，harvest 函数的逻辑性以下：

一样是调用了 vault 的 harvest 函数，了解的秘方，向往的生活。大家再度开展 debug，发觉一个令人震惊的客观事实 —— 在开展收益的情况下，vault 的 totalDeposit 居然为 0，造成 4300 ETH 的收益立即分发送给了 adapter，造成了 adapter 获得的 totalValue 不正确了，多了 4300 个 ETH，缘故便是在这儿。

到这儿，大家早已很贴近真相了，剩余要处理的便是为何 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 实际操作的情况下，要还记得查验好领域模型中的每一个步骤，避免出现意外的产生，在必需的情况下能够联络技术专业的安全性精英团队开展技术专业的网络安全审计，避免安全事故的产生。

标签：

区块链热门资讯