Pickle Finance遭攻击损失近2000万美元DAI,未经严格审计的DeFi路在何方?

这一周,“科学家”们很忙。11月14日,黑客攻击ValueDeFi的MultiStablesVault池子,获得近740万美金的DAI;11月17日,黑客攻击OriginProtocol凭空铸造2050万枚OUSD。

昨日凌晨2时37分,当人们还在熟睡之时,黑客攻击DeFi协议PickleFinance,捞得近2000万美元的DAI。

加密货币再次登上央视DeFi沦为“科学家”的提款机?

11月18日,比特币冲击18,000美元,加密货币再次登上央视,此前,加密货币被誉为去中心化的金融工具首次登上央视。

Kakao Piccoma收购日本加密平台Sakura Exchange Bitcoin?:金色财经报道,韩国移动应用运营商Kakao Corporation的日本子公司Kakao Piccoma收购了加密货币平台Sakura Exchange Bitcoin的控股权。通过此举,Kakao打算在其未来的运营中利用区块链技术和Web3。

据Business Korea报告,Kakao Piccoma购买了Sakura Exchange Bitcoin超过50%的股份,成为其最大的股东。尽管如此,交易的具体规模并没有披露。这项交易应该有助于Kakao Piccoma将加密货币和区块链服务应用于其网络漫画平台。该公司还旨在进一步参与到Web3领域。[2022/4/6 14:07:13]

Pickle已上线BASv2迁移后的pBASv2-DAI策略:2月26日消息,Pickle Finance官方发推称,针对算法稳定币项目Basis Cash的pBASv2-DAI Jar已上线。官方表示,这是BASv2迁移后的BAC-DAI Jar策略,用户无需做任何操作。[2021/2/26 17:54:26]

据央视报道,从投资回报率的角度来看,加密货币是今年真正的“头号”投资产品。“彭博银河加密货币指数”上涨约65%,超过金价逾20%的涨幅,也超过全球股市、债市和大宗商品市场的收益率。涨幅较高的一个关键原因是以太坊币价暴涨,涨幅达到169.40%。

央视解释道:“以太坊币价格攀升得益于去中心化金融工具的使用增加,以及疫情肆虐后各国出台的巨额刺激措施,让投资者选择了比特币、以太坊等加密货币进行保值。”

一方面,加密货币市场频频发出利好消息;另一方面,DeFi项目因未经严格审计频遭攻击。

据悉,今年9月10日酸黄瓜PickleFinance启动流动性挖矿,9月14日V神发推文赞赏该项目,使其代币价格暴涨10倍。而遭到此次攻击后,酸黄瓜损失近价值2000万的DAI,同时24小时内其代币腰斩。

Pickle Finance发起两项新提案欲增聘开发者并永久保留0xkoffee的任命:2月2日,Pickle Finance官方发推称,社区已发起PIP-27和PIP-28两项新提案。其中,PIP-27计划为Pickle Finance项目招聘新的开发人员,并设定招聘计划预算;PIP-28提案则计划永久保留0xkoffee的任命。根据该提案内容,开发者0xkoffee最初被紧急雇佣,其任期将在两周内结束。而鉴于0xkoffee的工作表现优异,将任命其为Pickle团队的常任理事。[2021/2/2 18:42:12]

CoinmarketCap数据显示,PickleFinance代币的价格在24小时内,从22.7美元跌到10.2美元,它的市值在未销毁的情况下,24小时内蒸发了1220万美元。

Pickle协议发生程序问题 官方提醒暂时不要提币:9月30日早间,Pickle Finance官方发推称,Pickle协议PIP-8迁移未同步进行产生问题,在区块10958758高度前在代币池进行提款的用户受到影响。官方声明称:

1.Pickle协议上的其他函数未受影响,所发生的问题不是智能合约的问题,只是程序问题;

2.错误致使系统将提现金额计算产生误差,但代币仍在PickleJar(代币池)中,没有丢失;

3.官方将收回资金,并将应得资金余额返回给提款的人;

4.由于受到12小时时间锁的限制,在12小时内官方不能采取任何有效措施,

5.官方将在区块10959175处进行快照,以确定获得补偿的用户。与此同时,官方将不能补偿在此区块之后提款的用户。

6.用户需克制不要将代币从代币池中提出,直到官方发布通知。[2020/9/30]

发生了什么?

PeckShield通过追踪和分析发现,攻击者通过StrategyCmpdDaiV2.getSuppliedUnleveraged()函数查询资产余额1972万美元;随后,攻击者利用输入验证漏洞将StrategyCmpdDaiV2中的所有DAI提取到PickleJar:这个漏洞位于ControllerV4.swapExactJarForJar()函数中,其中包含两个既定的伪Jar。在未验证既定Jar的情况下,此步骤会将存入的所有DAI提取到PickleJar,并进行下一轮部署。接下来,攻击者调用earn()函数将提取的DAI部署到StrategyCmpdDaiV2中。在内部缓冲区管理中,黑客调用了三次earn()函数,在StrategyCmpdDaiV2中生成共计950,818,864.8211968枚cDAI;第一次调用earn()函数存入1976万枚DAI,铸造903,390,845.43581639枚cDAI;第二次调用earn()函数存入98.8万枚DAI,铸造45,169,542.27179081枚cDAI;第3次调用earn()函数存入4.9万枚DAI,铸造2,258,477.11358954枚cDAI;

币赢CoinW 将于9月22日16:00上线PICKLE:据官方消息,币赢CoinW将于9月22日16:00在DeFi专区上线PICKLE/USDT交易对,同时开启“充值送PICKLE,-0.1%Maker费率”活动。

据悉,PickleFinance让稳定币更稳定。黄瓜PICKLE合约采用完全公平的分发制度,没有风投,没有预挖,没有预售。其亮点是让稳定币在uniswap上交易滑点更低,促进生态的发展,同时可以防止巨鲸介入。详情查看原文链接。[2020/9/22]

随后,攻击者调用ControllerV4.swapExactJarForJar()函数,利用任意代码执行将StrategyCmpdDaiV2中的所有cDAI提取出来,这一步中,_execute()函数有两个参数:_target和_data,_target指的是目标地址,即图中橘色所示部分;_target是一个加白的地址,攻击者没办法任意控制此地址,此处他们利用的是CurveProxyLogic,该加白的合约(能通过262行approvedJarConverter的检查。也就是说,能被完全控制的是参数_data,即图中紫色所示部分,_data中包含_execute()函数可调用的add_liquidity()函数,以及传给add_liquidity()的所有参数。

此时,咱们回到橘色框里的curve、curveFunctionSig、curvePoolSize、curveUnderlyingIndex、underlying,其中curve是一个地址,它表示橘色框里倒数第二行中的curve.call()函数可以执行任意一个合约,因此,攻击者把curve设置成StrategyCmpdDaiV2,curveFunctionSig表示除了刚刚指定合约外,还可以指定要调用此合约的函数,通过此操作攻击者成功调用StrategyCmpdDaiV2.withdraw()函数。

接下来就是组织蓝色框中的函数StrategyCmpdDaiV2.withdraw()的参数_asset,蓝色框中的_asset实际上是橘色框框里的liquidity,liquidity由传入函数add_liquidity()的underlying得来,underlying是另一个伪造的合约地址,它的balanceOf()函数会返回cDAI的地址。攻击者将cDAI的地址设置成liquidity,然后,liquidity被打包到callData里再传给withdraw()函数,使得withdraw()函数取出的_asset就是cDAI的地址。值得注意的是,如果want==_asset,蓝色框里的函数就不执行,此设计的目的在于want是不允许被取出的,所以攻击者刻意取出对应的cDAI。

最后,执行回ControllerV4.swapExactJarForJar()函数,所提取的cDAI被存入恶意的_toJar.在_toJar.deposit()函数里,所有950,818,864.8211968枚cDAI立即转入黑客地址。

未经严格审计的DeFi能走多远?

针对此次PickleFinance被攻击事件,其审计公司Haechi发推文称,今年10月对其代码进行了一次审计,但是攻击者利用的漏洞发生在新创建的智能合约中,而不是接受安全审计的智能合约中。与此次漏洞攻击相关的代码存在于controller-v4.sol中的swapExactJarForJar,而非此前审计的controller-v3.sol中,该智能合约不包含swapExactJarForJar。

对此,PeckShield相关负责人表示:“有一些DeFi项目在做过第一次智能合约安全审计后,可能会为了快速上线主网,省略审计新增的智能合约,这种省略或能争取短时的利益,但就像此次攻击一样最终因小失大。DeFi们在上线之前一定要确保代码进行彻底地审计和研究,防范各种可能发生的风险。”

未经严格审计即上线的DeFi项目能走多远?

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

银河链

MATIC欧洲央行行长:数字欧元的推出还需要四年的时间

欧洲央行主席拉加德表示,如果数字欧元计划继续推进,那么将需要长达四年的时间才能取得成果。 周四拉加德在欧洲央行2020年央行论坛上发表讲话时表示,尽管欧洲央行并没有在发行央行数字货币方面“争当第一”,但她相信最终将会做出推动该项目的决.

币赢美国大选=比特币大涨?2012年、2016年已经两次应验

重要要点 在2012年和2016年举行的两次美国大选之后,比特币的价格都出现了大幅上涨。今年备受争议的选举可能演变成长期争战,目前这种趋势大有可能会成为现实。梅萨里的分析师瑞安·沃特金斯曾暗示,美国大选历来会推动比特币价格上涨.

[0:0ms0-4:777ms