北京时间11月22日凌晨2点37分，CertiK安全研究团队通过Skynet发现PickleFinance项目遭到攻击，共损失约1975万枚价值近一亿三千万人民币DAI。自9月10日PickleFinance开始挖矿起，一直没有什么存在感。有了食物大军的大幅涨跌经验在前，投资者本身对于异军突起的Pickle项目保持着一定程度的警惕。但自从9月14日获得V神亲自站台，酸黄瓜在汹涌的DeFi浪潮中凭借其DeFi新玩法及各种背书，可谓是平地起价完成了10倍的涨幅。
“刚用5美元的价格把手里价值1万美元的PICKLE卖掉，睡了一觉它的价值就变成了60美元？？？这？？？”正当各投资者摩拳擦掌预备好入手这一新型食物代币或是已经深陷其中，11月23日传来的消息却令投资者们大惊失色。据Messari数据显示，自PickleFinance被黑客攻击后，其原生代币PICKLE暴跌50.12％，直至10.17美元，此后稍有回升，截止当前其市值为11.41美元。下文将为你带来本次攻击事件详情分析。攻击始末
ETHST已通过CertiK审计:据官方消息，ETHST已完成美国CertiK安全审计。 现ETHST已通过美国Certik、成都链安双审计。据悉，CertiK是区块链网络安全公司，于2017年由耶鲁大学计算机系主任邵中教授与哥伦比亚大学计算机系顾荣辉教授共同创建。旨在使用最严密和最彻底的网络与软件安全技术来识别并消除安全漏洞。截至目前，CertiK已进行了超过700次审计，审计了超过39.6万行代码，保护了超过300亿美元的资产免受损失。[2021/6/2 23:04:42]
整个攻击流程如下：第一步：攻击者通过StrategyCmpdDAIV2.getSuppliedUnleveraged()的函数获得当前在位于地址0xcd892a97951d46615484359355e3ed88131f829d的StrategyCmpdDAIV2合约中有多少可以被取出的Dai数目，这里记为Amount_A。第二步：攻击者调用位于0x6847259b2b3a4c17e7c43c54409810af48ba5210地址处的ControllerV4智能合约中的swapExactJarForJar()函数，并在调用时传入1号和2号脏jar，Amount_A以及0,,作为参数。
swapExactJarForJar()函数其中1号脏jar和2号脏jar由于是攻击者自己部署的，符合IJar接口的智能合约，因此其中的token()函数的逻辑实现以及其他函数都是由攻击者自己决定的。因为PickleFinanceswapExactJarForJar()函数没有对传入的jar是否为官方的智能合约地址进行验证，因此该步骤得以成立。
Balancer批准三项流动性挖矿相关提案:上周末，Balancer对其新的治理提案进行了第一轮投票，三份提案都得到了利益相关者的批准。据悉，自动流动性和资产管理协议每周为向Balancer平台提供流动性的人分配145000 BAL。代币分配与每个地址的流动性贡献对应。为了得出一个管理分配的公式，Balancer上周发布了其最小治理工具，并就这一计算结果提出了三项提案。
第一个提案被称为“balFactor”，鼓励持有者使用他们的BAL代币来获得流动性，而不仅仅是兑现；第二项提案是通过降低对高收费池的挖矿处罚来修改“feeFactor”；第三项提案是将“wrapFactor”定为0.7，来应用于每对软锚定代币的流动性，以吸引更多有用的流动性加入协议。（BeInCrypto）[2020/7/20]
swapExactJarForJar()函数中传入的jar可以定义代币的类型
调用withdrawForSwap()函数随着swapExactJarForJar()函数的执行，当执行到上图289行的位于swapExactJarForJar()函数中的withdrawForSwap()函数时，经过一系列函数调用，最终执行位于0xcd892a97951d46615484359355e3ed88131f829d的deleverageToMin()函数以及deleverageUntil()函数，将当前StrategyCmpdDAIV2中可以被取出的代币(Amount_A)转移到位于0x6949bb624e8e8a90f87cd2058139fcd77d2f3f87地址的PickleJar智能合约中。
mStable：已为USDC和WETH Balancer池分配25万枚MTA奖励:基于以太坊的稳定币聚合协议mStable发推称，已经为USDC和WETH Balancer池分配25万枚MTA生态系统奖励。下周，新的MTA/mUSD Balancer池将在现有池的基础上获得7.5万枚MTA的奖励。[2020/7/20]
deleverageToMin()函数以及deleverageUntil()函数
StrategyCmpdDAIV2智能合约向PickleJar智能合约转移代币的内部交易截图
LANCER李维：区块链行业深度从业者需要承担KOL的角色:4月17日17:00，LANCER创始人李维做客MXC抹茶大课堂，就《币圈KOL如何破局》话题进行分享。
李维表示：“KOL要对区块链行业具有相当深度的了解，区块链行业深度从业者需要承担KOL的角色。因为这个行业涉及到数学、金融学、货币学、密码学以及博弈论等专业知识，对于普通人来说，实在是太生涩了，普通人几乎不明白区块链是什么，这需要KOL带领更多的人去认知和感悟这个行业,这是KOL在区块链行业中最重要的角色。”[2020/4/17]
PickleJar智能合约中的earn()函数第三步：调用位于0x6949bb624e8e8a90f87cd2058139fcd77d2f3f87地址的PickleJar智能合约中的earn()函数(如上图所示)。总共调用三次，目的是将位于当前PickleJar中的pDAI数目的DAI，从0x6b175474e89094c44da98b954eedeac495271d0f地址转移到位于0x6847259b2b3a4c17e7c43c54409810af48ba5210地址处的ControllerV4智能合约中，并在887行通过调用ControllerV4合约中的earn()函数(如下图所示)，在下图152行中通过deposit()函数。从而实现调用0xcd892a97951d46615484359355e3ed88131f829d的StrategyCmpdDAIV2合约中的deposit()函数，将PickleJar中的pDAI数目的cDAI铸造给StrategyCmpdDAIV2。
声音 | CertiK基金会: 未与CYBEX接触合作 也未授权CYBEX出售代币:CYBEX近日单方面宣称计划发售CertiK IOU，CertiK 基金会对此毫不知情，也未曾与其接触合作。目前CertiK基金会没有授权任何机构出售代币，也不允许二次销售。[2019/7/26]
ControllerV4智能合约中的earn()函数
StrategyCmpdDAIV2合约中的deposit()函数第四步：再次调用位于0x6847259b2b3a4c17e7c43c54409810af48ba5210地址处的ControllerV4智能合约中的swapExactJarForJar()函数，并在调用时传入3号和4号脏jar，以及0，0,CurveProxyLogic智能合约地址,0x20作为参数。此处0x20是一个注入参数，目的是为了与CurveProxyLogic智能合约地址配合，执行位于0x6186e99d9cfb05e1fdf1b442178806e81da21dd8地址的CurveProxyLogic智能合约中的add_liquiditya()函数。3号脏jar：0xa2da08093a083c78c21aeca77d6fc89f3d545aed4号脏jar：0xa445e12d69e8bd60290f6935d49ff39ba31c6115CurveProxyLogic智能合约地址:0x6186e99d9cfb05e1fdf1b442178806e81da21dd8
swapExactJarForJar()函数使用CurveProxyLogic智能合约地址和注入参数来执行指定函数
CurveProxyLogic智能合约中的add_liquiditya()函数在此步骤之后，在第三步中存储在StrategyCmpDAIV2被从StrategyCmpDAIV2智能合约中转移到ControllerV4智能合约处。至此所有可以被取出的代币被以cDAI的形式存储在ControllerV4智能合约中，并且攻击者拥有取出cDAI的资格。第五步，攻击者调用位于地址0x5d3a536e4d6dbd6114cc1ead35777bab948e3643的CErc20Delegator智能合约中的redeemUnderlying()函数，内部调用了位于0xbb8be4772faa655c255309afc3c5207aa7b896fd地址处的CErc20中的redeemUnderlying(),redeemUnderlyingInternal()以及redeemFresh()函数。最终将所有获得的cDAI转换成DAI，提出所有DAI并完成攻击。
CErc20Delegator中的redeemUnderlying()函数
CErc20中的redeemUnderlying()函数
CErc20中redeemUnderlyingInternal()函数安全建议
多次的DeFi攻击事件，表明了一个事实：“已审计”并不意味着其拥有了安全保证。PickleFinance在10月或更早通过的安全审计，并不代表其新增的智能合约均得到了实时的安全检测。高收益伴随着高风险，此次漏洞的爆发同样也是一个警示。完备的安全保障=安全审计+实时检测+资产保障=CertiK审计服务+CertiK实时检测安全预言机+CertiK快速扫描+CertiKShield去中心化资产保障资金池CertiK的一系列安全服务及工具，覆盖了项目及用户的资产安全需求。如您有审计需求，欢迎点击CertiK公众号底部对话框，留言免费获取咨询及报价！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。