链资讯 链资讯
Ctrl+D收藏链资讯
首页 > 波场 > 正文

独家 | Fairyproof Tech:代币合约不匹配 Cream Finance遭二次攻击

作者:

时间:

Cream Finance是DeFi领域的知名去中心化借贷协议。项目方在业内首先推出了白名单机制的Ion Bank借贷机制。这一创新一方面为DeFi借贷提供了更为便捷的工具,另一方面也为黑客攻击创造了条件。

在今年2月13日,Cream Finance就因为其Ion Bank被黑客利用并辅以闪电贷工具遭到攻击。时隔半年,在8月30日,Cream Finance再次遭到闪电贷攻击。

本次攻击是因为项目中的APM代币合约与借贷合约的cToken合约不适配造成重入漏洞,被黑客利用。

在本次攻击中,攻击者的地址为:0xce1f4b4f17224ec6df16eeb1e3e5321c54ff6ede。

攻击合约的地址为:0x38c40427efbAAe566407e4CdE2A91947dF0bD22B。

被攻击的合约有两个,合约及地址分别为:

APM token合约:0xff20817765cb7f73d4bde2e66e067e58d11095c2

cToken合约:0xd06527d5e56a3495252a528c4987003b712860ee

我们先看cToken合约中出现漏洞的代码片段:

上面的代码所实现的逻辑是在转账完成之后,才修改借贷额度状态accountBorrows。

这是一个典型的竞态问题。

FTX首席执行官:FTX估值已达到35亿美元:根据首席执行官Sam Bankman-Fried的说法,去年推出的总部位于香港的加密货币交易所FTX目前的估值已达到35亿美元。(The Block)[2020/12/5 14:03:51]

代码中的doTransferOut函数最终会调用标的代币(underling token)合约的transfer函数,在此之后再对与标的代币关联的cToken合约的状态进行修改。

通常cToken对应的标的代币合约都是标准的ERC-20代币合约,这类标准的ERC-20代币合约中的transfer函数中没有回调函数。但如果标的代币不是标准的ERC-20代币合约,其transfer函数带有回调函数,则会引发重入漏洞。

本次攻击恰恰就是因为cToken对应的标的代币(APM代币)不是标准的ERC-20代币。APM代币合约是个基于ERC-777标准的合约。这个合约中的transfer函数最后会调用_callPostTransferHooks()函数,在这个函数的最后会有一个回调函数IAmpTokensRecipient.tokensReceived。

下面是与此相关的代码片段:

在回调函数中,攻击者可以再次发起交易,而此时cToken还未修改用户借款的相关状态,攻击者却已经收到借款,可以利用这些借款进行后续的动作。

合约中与cToken修改借款状态的相关接口已经定义了防重入的锁 borrowInternal,使用户无法再次直接从初始的借款合约中借入资金。

borrowInternal的代码片段如下:

攻击者也注意到了这一点,于是选择从一个借贷池借来的cToken,去另一个借贷池借款,以绕开上述防重入锁的限制。

由于cToken被再次用于借款,因此超过了借款额度。如果攻击者直接还款则会因为超额借贷而导致第一次借贷交易失败。因此攻击者选择不还款,而是使用另一个地址清算了这个满足清算条件的cToken,从而完成全部攻击。

纵观整个攻击过程,导致本次攻击成功的原因有两个:

1 为AMP代币添加借贷池时,没有考虑到AMP代币与借贷合约的适配性

2 借贷生成的cToken存在竞态条件问题,代码的实现逻辑没有严格遵循状态修改要放在外部调用之前的默认规范。

在此,Fairyproof Tech提醒所有的项目方:编写Solidity合约代码时一定要遵循Solidity合约编写的安全规范,不能心存侥幸。

在此例中Cream.Finance的代码分叉复制于Compound,尽管后者已经经过考验,但依然不能认为其代码是万无一失的。

根据我们的经验,即便是利用一些成熟的、历经考验的项目代码,也不能认为它们是绝对安全的,依然要进行充分的审计。尤其是要弄清楚,这些代码适用的前提条件和安全假设,以及具体到自己的应用场景中,这些代码是否还满足这些前提和假设。

在Fairyproof Tech审计代码的过程中,对适用前提和安全假设都有严格的检验标准和审查流程,并不会因为项目代码分叉自知名项目而忽略对这些安全事项的检查。

关于Fairyproof Tech:

Fairyproof Tech科技有限公司是一家专注区块链生态安全的公司。Fairyproof Tech科技主要通过“代码风险检测+逻辑风险检测“的一体化综合方案服务了诸多新兴知名项目。公司成立于2021年01月,团队由一支拥有丰富智能合约编程经验及网络安全经验的团队创建。

团队成员参与发起并提交了以太坊领域的多项标准草案,包括ERC-1646、ERC-2569、ERC-2794,其中ERC-2569 被以太坊团队正式收入。

团队参与了多项以太坊项目的发起及构建,包括区块链平台、DAO组织、链上数据存储、去中心化交易所等项目, 并参与了多个项目的安全审计工作,在此基础上基于团队丰富的经验构建了完善的漏洞追踪及安全防范系统。

作者:

Fairyproof TechCEO 谭粤飞

美国弗吉尼亚理工大学(Virginia Tech, Blacksburg, VA, USA) 工业工程(Industrial Engineering) 硕士(Master)。曾任美国硅谷半导体公司 AIBT Inc(San Jose, CA, USA) 软件工程师,负责底层控制系统的开发、设备制程的程序实现、算法的设计,并负责与台积电的全面技术对接和交流。自2011至今,从事嵌入式,互联网及区块链技术的研究,深圳大学创业学院《区块链概论》课程教师,中山大学区块链与智能中心客座研究员,广东省金融创新研究会常务理事 。个人拥有4项区块链相关专利、3本出版著作。

标签:以太坊TOKENKENctoken以太坊硬币模版下载imtoken钱包BIX Tokenupbtctoken

波场热门资讯
区块链技术能够给航运业带来什么样的变革?

区块链技术已经在很大程度上改变了航运业,许多航运公司利用区块链技术使信息在不同业务之间能够更顺畅的传递,并使贸易相关的办公程序更加的快速、高效。 考虑到行业标准的制定、监管问题以及各类区块链技术平台的出现,区块链技术的实施面临着若干挑战。区块链技术改变着游戏的规则,航运业参与者需要为区块链技术做好准备,公司也需要做好利用这一技术进行变革的准备。

渣打银行报告:以太坊比比特币风险更高 监管更复杂

原标题:渣打银行报告:以太坊估值为2.6 万美元至 3.5 万美元 ETH比BTC风险更高 跨国银行和金融服务巨头渣打银行发布了一份以太坊投资者报告,该公司的分析师看好以太坊,对以太坊的估值为 26,000-35,000 美元,并认为比特币可能达到 17.5 万美元。

金色早报 | 天猫超级品牌日推出中秋NFT数字月饼抽签活动

头条 ▌天猫超级品牌日推出中秋NFT数字月饼抽签活动 9月8日消息,天猫超级品牌日推出超写实数字人AYAYI定制月饼礼盒及定制NFT数字月饼。中签用户可获得一枚NFT定制月饼。据官方介绍,AYAYI本次送出的NFT数字月饼采用多面体和酸性金属物质作为两个主要设计元素。其中多面体形态代表当下的现实世界,而具有流动性的酸性金属物质则象征元宇宙。

金色观察 | 巨头下一站必争之地:元宇宙离我们有多远?

元宇宙之风正在席卷各行业巨头。在今年3月,被称为“元宇宙第一股”的Roblox在纽交所上市后,“元宇宙”概念爆火。7月份,扎克伯格称Facebook未来将努力建设元宇宙;8月份,字节跳动张一鸣计划90亿砸向元宇宙;此外,韩国手游巨头网石游戏(Netmarble)同样将目光投向元宇宙……一时间,巨头们下一站布局元宇宙的姿态显露无疑。

首用“区块链” 庭审太“惊艳”

近日,广州市中级法院首次使用广州智慧法院的最新成果“区块链电子质证系统”,在线开庭审理了一起民间借贷纠纷案。 “我在庭前就可以在线查看证据和完成质证,庭审中不用花大量时间去翻几十页证据,再一个个地回复质证意见,庭审效率大大提高!”当事人的代理人吴律师称赞道。 线上完成举证质证 该案中,原告向一审法院起诉请求被告偿还借款本金116万余元及利息。

黄益平:我们快速推出数字人民币 真是为了挑战美元吗?

我们现在的数字货币,其实只是很初步的第一步。如果未来真的发展成完整的央行数字货币,有无限想象的可能性。 编者按:全球经济危机央行货币超发,是数字货币加速发展的重要转折点。当时很多投资者对央行失去了信任,转而投向去中心化的比特币。不过,比特币没有内在价值,供给有限,无法成为真正意义上的货币,是其天生的缺陷。