区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > Filecoin > 正文

独家 | Fairyproof Tech:Pinecone被攻击事件分析

作者:

时间:

本文由“Fairyproof Tech”原创,授权“金色财经”独家发布。

8月19日,BSC上的收益聚合项目Pinecone Finance的保险库受到黑客攻击,损失约350万没PCT代币(市值约合20万美元)。

截至写稿时为止,项目方已经针对此次攻击中受损的用户发布了补偿计划:项目团队及投资人共持有491万枚代币,将用所有代币补偿用户。

尽管此次攻击受损的金额相对近期动辄千万、上亿美元的金额不算太大,但这起攻击事件还是给我们留下了值得吸取的经验和教训。

这次攻击出现漏洞的地方在于转账过程使用的代币有损耗,而合约对这个损耗没有处理好于是就导致漏洞出现从而被黑客攻击。

在正常状况下,用户之间转账(ERC-20等)代币的时候,如果代币在转账过程中没有损耗,处理起来是比较简单的。但如果某些代币在转账过程中会出现损耗,则处理这类代币的转账就要非常小心了。

在Pinecone项目中,其代币PCT是作为资金池的质押代币,在其合约设计的代币转账过程中会有手续费的损耗。而项目将这个损耗计入了用户的份额中,于是用户份额和质押的PCT总额就会出现偏差。这个偏差就能被攻击者用来领取多余的奖励。

具体而言,本次攻击存在漏洞的合约有:

PineconeFarm合约,其地址为:

0x4099f27fb72788b7bb5cb64e3d2b865eb82d0f8f

farm合约使用的策略合约IPineconeStrategy,其地址为:

0x1e542DB46eb87cc8E5fA8e1856eC53F89dc4bC89

PCT代币合约,其地址为:

0x6019384a802310117a6E889e7021d2d0A144fE50

公链项目 Nervos 推出代币标准 sUDT:据官方消息,近日,公链项目 Nervos 推出代币标准 sUDT。

据悉,Nervos sUDT 是智能合约开发的技术标准,开发者可以通过 sUDT 标准在 Nervos 网络上创建和发行自己的代币。[2020/11/19 21:22:24]

漏洞涉及的相关代码片段为:

PineconeToke的_transfer()函数:

在这里,PineconeToken的transferFrom的调用了_transfer()函数,在_transfer()中用户转账会收取手续费,因而实际到账的金额比transferFrom传入的 amount 值要小。

PineconeFarm合约的deposit()函数:

在上述代码中,PineconeFarm将存入的PCT质押到IPineconeStrategy合约中获取收益。通过使用BSC的vm trace工具,可以发现这个IPineconeStrategy是一个VaultRabbitCake合约。PineconeFarm对用户份额share的计算会用到_wantAmt。而这个_wantAmt和下面的函数片段又有关联。

策略合约的deposit()函数

从上述代码可以看出,在计算sharesAdded时,其分母是wantTotal,而wantTotal 依赖balance()。balance是关联的总锁仓PCT余额。由于实际的PCT余额小于 deposit传入的金额_wantAmt,这就会造成用户份额在计算时增加了。

最后,当攻击者调用withdraw函数时,只要输入比deposit值大的参数就可以赎回超过质押数的PCT代币。

按照这个机制,黑客在攻击时,可以重复重复调用deposit和withdraw功能,从而导致合约质押的PCT损耗不断增加、资金池持有的PCT余额不断变小。然后在计算奖励时,由于使用资金池中的余额作为分母,而分母越小,则可额外领取的奖励就越多。

了解了代码的漏洞及相关机制后,我们再来看黑客诸多攻击中的一次攻击:

这次攻击中,黑客的地址为:0xfc6682db7e9f57882e8b18ebc9adc7a19f770494,其交易流程如下:

可以看出第一笔交易0xe446f质押了8.1万PCT,然后在0x76d33 提取奖励时却提取了16万PCT。

我们继续查看withdraw交易的参数,可以看出传入amount值为 22603495a2af5d0ccc34,将其转换为10进制数就是16万,远超质押金额8.1万。详细细节如下图所示:

从这次攻击的漏洞原因看,在转账时有损耗的代币在参与收益类项目时,存在较多的问题。因此Fairyproof Tech提醒项目方要充分考虑损耗对收益计算的影响。

对此类问题,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本出版著作。

标签:PCTPINEROO区块链SPCT币ALPINE价格WhaleRoom铂链币区块链下载

Filecoin热门资讯
中小银行抢滩数字人民币 两大接入模式浮现

越来越多商业银行参与数字人民币测试工作。目前已有35家银行嵌入数字人民币App,App相关功能也在近期升级扩容。 “通过数字人民币App充值可以发现,近期界面中增加了很多银行,此前仅支持国有六大行。”一位参与测试的上海居民表示。 目前,在数字人民币App中能为数字人民币钱包充值的银行多达35家,涵盖股份制、城商行及部分农信社和农商行。

如何通过Solana集成CeFi与DeFi?

2020 「Defi summer」让人们看到了去中心化金融的魅力和潜力,也让DeFi、CeFi之争一度成为人们热议的话题。DeFi凭借着高收益、免许可、非托管俘获了很多加密用户,更有狂热支持者称「DeFi必定取代CeFi」。 两者虽有冲突,但短时间内我们所面临的一定不会是谁赢谁输的二元问题,而是如何取两者之长补两者之短为普通用户带来更普惠金融的问题。

区块链将重构信息产业体系

近日《北京市关于加快建设全球数字经济标杆城市的实施方案》发布,方案指出,要超前布局领先一代的数字技术创新,超前布局区块链。 6月份,工信部、中央网信办联合发布《关于加快推动区块链技术应用和产业发展的指导意见》。

金色观察|杭州的“三链在线”是什么?

据杭州日报消息,杭州正在实践证照链、信用链、区块链的“三链”在线应用场景。经过查询后,可以发现,这是一次利用区块链技术做到政务数据共享以降本增效的尝试。 三链在线的详情如下: “证照链”在线,实现了统一制章、分级制证、证照建链、全域共享。目前,依托省市两级一体化智能化公共数据平台,实现省级以上电子证照在杭州落地、市级接口注册到省级平台,供全省调用共享。

区块链技术如何在涉诉信访中显身手

区块链建立起的“信任”及“规则”不仅能够适用于刑事、民事、行政等诉讼案件,也能在涉诉信访领域进行不断的验证。可以说,司法活动的“上线、上云、上链”已经初见端倪。 区块链技术是一项去中心化、分布式记账,融人工智能、加密技术、智能合约于一体的数据库软件。其通过数字代码建立信任,具有可追溯性和不可篡改性,解决了网络空间的安全及信任问题。

如何优雅地面对以太坊MEV?

最近这段时间以来,ATA和EDEN的爆拉,关于以太坊的MEV(Miner Extractable Value)话题也继续走红,如何解决这个问题在社区中出现了巨大的争议。那什么是MEV呢? 在以太坊现有设计中,矿工拥有选择交易通道,决定交易顺序的权力。MEV指的矿工通过掌握这两个能力提取的总价值。