北京时间9月29日，CertiK安全研究团队发现Yearn.finance的新项目Eminence.finance出现异常交易。有三笔共计价值约1.09亿人民币的资金，被从Eminence智能合约中转出，地址为：0x5ade7ae8660293f2ebfcefaba91d141d72d221e8。CertiK安全研究团队认为该事件是攻击者使用脚本程序，通过闪电贷flashloan借得初始资金，利用Eminence项目中的联合曲线（Bonding Curve）模型，反复购买出售EMN和eAAVE来获得收益。
以下分析以：
https://etherscan.io/tx/0x3503253131644dd9f52802d071de74e456570374d586ddd640159cf6fb9b8ad8为例子，该笔交易流程图如下:
LBank蓝贝壳于5月3日20:00首发 CSPR(Casper)，开放USDT交易:据官方公告，5月3日20:00，LBank蓝贝壳上线 CSPR(Casper)，开放USDT交易，同时并开放充值，资料显示，Casper网络是基于CasperCBC规范构建的第一个实时权益证明区块链。Casper旨在加速当今企业和开发人员对区块链技术的采用，同时确保随着网络参与者需求的发展，其在未来仍能保持高性能。[2021/5/3 21:19:51]
在该笔交易中，攻击者首先通过Uniswap中的闪电贷（Flash Loan）服务借得1500万个DAI, 然后全部购买EMN代币，共购得约1,383,650,487个EMN代币。
LBANK蓝贝壳于3月22日18:00首发 DORA，开放USDT交易:据官方公告，3月22日18:00，LBANK蓝贝壳首发DORA(Dora Factory)，开放USDT交易，现已开放充值。
资料显示，Dora Factory 是基于波卡的 DAO 即服务基础设施，基于 Substrate 的开放、可编程的链上治理协议平台，为新一代去中心化组织和开发者提供二次方投票、曲线拍卖、Bounty 激励、跨链资产管理等可插拔的治理功能。同时，开发者可以向这个 DAO 即服务平台提交新的治理模块，并获得持续的激励。[2021/3/22 19:07:06]
其中一半EMN，共约691,825,243个EMN代币, 通过OP0步骤用于购买eAAVE代币，共获得约572,431个eAAVE代币。
首发 | imKey正式支持Filecoin，成为首批Filecoin硬件钱包:12月1日，随着imToken2.7.2版本上线，imKey同步支持Filecoin，成为业内首批正式支持FIL的硬件钱包。Filecoin作为imKey多链支持的优先级项目之一，成为继BTC、ETH、EOS和COSMOS四条公链后的第五条公链。
据悉，imKey团队已在Q4全面启动多链支持计划，计划实现imToken已经支持的所有公链项目，本次imKey升级更新，无需更换硬件，不涉及固件升级，通过应用（Applet）自动升级，即可实现imKey对Filecoin的支持及FIL的代币管理。[2020/12/2 22:52:32]
到当前为止，攻击者共持有1,383,650,487-691,825,243 = 691,825,244个EMN和572,431个eAAVE代币。
《精灵达人3D》正式首发 Cocos-BCX 主网:据官方消息，近日，由生态合伙人 DAPPX 参与开发的《精灵达人3D》正式首发于游戏公链 Cocos-BCX 主网。《精灵达人3D》是一款以精灵宝可梦为题材的抓宠游戏，游戏美术采用全3D 制作。用户可通过 CocosWallet ， DAPPX 或 IMCOCOS 登录 COCOS 主网账号即可体验。截至目前，Cocos-BCX 主网已上线《加密骑士团》《恶龙必须死》《XPEX怪兽世界》《Go Block》《可可夺币》《熊猫运动会》等多款玩法多样的趣味性链游，游戏公链生态在逐步壮大和完善。[2020/8/20]
接下来攻击者的脚本继续执行了OP0, OP1, OP2, OP3, OP4共5个内部交易（Internal Transactions)，该5个内部交易产生的影响如下表：
从OP4售出的DAI总数目为16,673,637，比攻击者通过闪电贷借得的DAI总数目1500万个要多出近170万。造成以上结果的原因是：在OP0使用EMN购买eAAVE的过程中，EminenceCurrency.sol 智能合约第231行中claim函数被调用，随后第233行的_burn函数将用于交易的691,825,243个EMN进行了燃烧：
然而在下图_burn函数的定义中我们可以看到，仅仅只有EMN代币的数目被燃烧掉，而其对应的DAI数目并没有改变。这就造成了一个问题：EMN和DAI的比率由于EMN数目的减少，造成了DAI相对价格的降低，因此采用同样数目的EMN去购买DAI，可以获得的DAI数目更多。
因此，当OP0完成后，EMN数目对DAI数目比率下降。攻击者通过OP1将剩余的一般EMN兑换成DAI，由于此时DAI相对价格低，因此购入的DAI数目相比正常情况多。
完成OP1后，攻击者将持有的eAAVE通过OP2,OP3兑换回EMN，然后兑换到DAI。最终，当进行OP4之前，攻击者持有的DAI数目会高于从Uniswap中借得的数目。
至此，攻击者通过漏洞完成一次获利。
攻击者在同一次交易中重复三次利用了该漏洞。每次到达OP4时，会将获利后总共的DAI再次利用，进行攻击行为。当完成全部三次后，攻击者偿还了Uniswap的借款，将该次交易获利发送至其地址：
0x223034edbe95823c1160c16f26e3000315171ca9
攻击者总计执行了3次交易，交易地址如下：
第一次：
第二次：
0x045b60411af18114f1986957a41296ba2a97ccff75a9b38af818800ea9da0b2a
第三次：
0x4f0f495dbcb58b452f268b9149a418524e43b13b55e780673c10b3b755340317
该事件是一个典型的由于逻辑设计与实际智能合约代码实现不符而造成安全漏洞的案例。而且项目上线前，尚未经过安全审计。对于该种类型漏洞，传统的测试方法与测试工具均无法检查出该种逻辑漏洞。
因此，CertiK提出以下建议：
当前DeFi项目热潮持续不减，很多项目为了抓住热点与机遇，在未经严格测试和审计的情况下便匆忙上线。这些项目中，大部分的漏洞是无法通过常见的测试方法和工具来发现的。只有寻找专业的审计专家进行严谨的数学模型证明，才可以发现该漏洞。
安全审计现在已经是高质量DeFi项目的标配。若项目没有被审计，对于用户来说，投资行为则要格外慎重；对于项目方来说，则需要找专业并且声誉好的审计公司进行审计。若项目被审计过，则需尽量了解审计公司背景以及其审计报告中的各项指标，其中包括但不限于：
安全审计的范围，方法，及结论
合约是否有漏洞或者安全隐患？如果有，需要了解这些问题的严重程度及可能影响
合约整体的代码质量
审计公司的专业性和独立性
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。