木星链 木星链
Ctrl+D收藏木星链
首页 > 火星币 > 正文

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

作者:

时间:1900/1/1 0:00:00

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

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

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

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

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

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

独家 | Bakkt期货合约数据一览:金色财经报道,Bakkt Volume Bot数据显示,10月8日,Bakkt比特币月度期货合约日交易额为4750万美元,同比下降29%,未平仓合约量为1466万美元,同比持平。[2020/10/9]

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

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

PineconeFarm合约,其地址为:

0x4099f27fb72788b7bb5cb64e3d2b865eb82d0f8f

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

独家 | 金色财经2月14日挖矿收益数据播报:金色财经报道,据印比特数据显示,按照BTC参考价格71100元、电价0.38元/kWh计算,当前在售主流BTC矿机的市场价格及回本周期为:神马M20S-68T(3月份期货11500元,231天回本)、芯动T3+-57T(全新现货9690元,268天回本)、蚂蚁S17Pro-56T(全新现货12500元,311天回本)、阿瓦隆1066-50T(全新现货6300元,214天回本)。[2020/2/14]

0x1e542DB46eb87cc8E5fA8e1856eC53F89dc4bC89

PCT代币合约,其地址为:

0x6019384a802310117a6E889e7021d2d0A144fE50

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

PineconeToke的_transfer()函数:

独家 | BTC24小时资金净流出1.37亿元:据AICoin数据显示,24小时资金净流入排名中ETH排名第一, 24小时净流入3.57亿元人民币;LTC24小时资金净流入排名第二,24小时净流入1.85亿元人民币;SEELE24小时金净流入排名第三,24小时净流入1.63亿元人民币。ROAD 24小时资金净流入排名第四,24小时资金净流入1.63亿元人民币;PAX24小时资金净流入排名第五,24小时资金净流入1.54亿元人民币。BTC24小时资金净流出1.37亿元。[2020/2/10]

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

独家 | 以太坊硬分叉负责人Afri:“宁静”预计将于明年第一季度到来 ?:以太坊君士坦丁堡硬分叉负责人Afri 5chdn在接受金色财经采访时表示:“在君士坦丁堡硬分叉过后,预计将于今年10月份左右进行下一步的伊斯坦布尔硬分叉,其中可能加入ProgPoW以及State Rent等机制,‘宁静’信标链及PoS机制(不包括Sharding)预计将于2020年第一季度实现,并在接下来的几个月内产生第一批测试网络。”[2019/1/10]

PineconeFarm合约的deposit()函数:

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

独家 | 杜文康:USDT资产的不透明性实际上是有意为之:针对今天USDT导致比特币大涨一事,金色财经特采访到OnFund合伙人杜文康,杜文康表示:这次所谓所谓“稳定币”USDT大跌,来源无非是受到政府对于Tether公司的调查。USDT作为锚定美元充当衡量价值标尺,来做交易对,但却没有遵循规则和底线,也没有响应的监管和公开透明。去年9.4之后,很长一段时间内BTC的价格就是通过BTC/USDT来回不断交易对敲来推升拉高的,这就是所谓的真空泡沫,这种真空泡沫是难以为继的,加上做空的开通,因此砸下来也非常快。

另外,自从与其合作的审计公司终止合作之后,USDT公司没有提供详细的审计报告(最近一份为去年9月),也未证明资产是否全部为美元。这也是人们质疑 USDT 超发的一个原因。Tether 官网说明: 所有USDT的背后都有100%真实资产。

实际上,USDT公司的这种不透明性实际上是有意为之。仅提供加总的信息更有利于 USDT 的流动性。资产储备是一个模糊的词语,我并不清楚 USDT 背后的真实资产代表着什么,但同样其他人也不知道。因此,市场上的“对称无知” 达成了均衡 。

在我们看来,稳定币应该是具有权威性、公正性,并且有真实资产做映射的加密资产,它的价值暂不会消失,就像区块链行业不会因为币价的涨跌受影响一样。[2018/10/15]

策略合约的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本出版著作。

标签:PCTINEONESDTSPCT价格Traders Global Businesscoinone被过程泰达币USDT发行

火星币热门资讯
稳定币:美联储:CBDC发行将使得USDT等稳定币消失

前言本文介绍了CBDC与稳定币的特性,讨论了CBDC是否能取代稳定币的问题。近日,美联储主席杰罗姆·鲍威尔表示:?"如果CBDC发行,将不再需要稳定币.

1900/1/1 0:00:00
NFT:NFT之于Web3.0:个人数据价值回归的关键

Web3.0的愿景是打造一个开放的,人人都可以参与、无需授权、去中心化的网络,而NFT的稀缺性、唯一性和可验证性,是让个人在Web3.0落地实现数据价值回归的关键.

1900/1/1 0:00:00
以太坊:以太坊“伦敦升级”会给波卡生态发展带来怎样的影响?

最近Crypto圈子内备受热议的几个话题中,除了NFT和元宇宙,另外一件事要非“以太坊伦敦升级”莫属,作为以太坊迈向更易使用的重要一步.

1900/1/1 0:00:00
CAR:拟发智能合约 Cardano欲打翻身仗?

要为网络「添加智能合约功能」,来自区块链项目Cardano官方的这一新消息提振了其网络原生Token ADA的市场预期.

1900/1/1 0:00:00
加密货币:金色早报 | Facebook的加密货币部门将目光投向了第三方稳定币

头条▌Facebook的加密货币部门将目光投向了第三方稳定币交易市场消息:Facebook的加密货币部门将目光投向了第三方稳定币交易.

1900/1/1 0:00:00
区块链:区块链成为下一代基础设施的条件

我进入互联网行业是在1998年,那时候我们还依赖于拨号调制解调器。我看着硬件随着时间的推移发展到SDN、ADSL,最终发展到我们今天所知的千兆网络.

1900/1/1 0:00:00