YFI:安?实验室发布「YFII流动性挖矿合约安全性研究」,所涉四项合约未包含致命安全漏洞

YFII是一个新型去中心化DeFi矿池,应社区小伙伴邀请,安比实验室于2020年7月27日至8月2日对YFII智能合约进行了安全性研究。分析对象为下列合约:YFIIPool1:0xb81D3cB2708530ea990a287142b82D058725C092YFIIPool2:0xAFfcD3D45cEF58B1DfA773463824c6F6bB0Dc13aYFIIToken:0xa1d0E215a23d7030842FC67cE582a6aFa3CCaB83BPTToken:0x16cAC1403377978644e78769Daa49d8f6B6CF565初步分析结果表明,以上四个合约并未包含致命安全漏洞。安比实验室希望通过本文对研究过程做一个记录和总结,Token价格、经济模型、其他外部合约模块、以及未来新的合约不在本文讨论内。YFII和YFI是什么

YearnFinance是一个DeFi收益聚合器,于7月17日推出治理TokenYFI后因其新颖的分发机制和治理方案迅速引爆了流动性挖矿市场。而YFII是对YFI项目的分叉,遵循YIP-8,实施了类似比特币的减半机制。YFII相对YFI做了哪些改动

波卡周报:Kusama首批插槽获胜者Karura、Moonriver、KILT成功续租48周:3月27日消息,根据PolkaWorld发布的波卡周报,Parity发布Polkadot v0.9.18版本,该版本的优先级较低。

Equilibrium赢得Polkadot第12次插槽Auction,并立马接入了Polkadot中继链。

Polkadot的第13次插槽Auction已经在3月25日凌晨2点开始,目前正在进行蜡烛期,领先出价的是Phala Network。

Acala携手9个平行链项目和顶级风投发起2.5亿美元的“aUSD生态基金”,旨在支持Polkadot或Kusama生态系统中可以使用aUSD的早期项目。

Polkadot理事会投票通过了Motion 172,该议案将提供资金为Polkadot大使制作3D NFT徽章。

Karura宣布自己是ID为2003的赢得Kusama第29次插槽Auction的获胜者。

截止发文,Kusama的第一批插槽获胜者Karura(ID2003)、Moonriver(ID2112)、KILT(ID2108)都已经成功续租了48周的使用时间。

Kusama第30次插槽Auction将于3月28日凌晨0:30左右结束,截止发文Turing Network领先整个蜡烛期。

Kusama理事会投票通过了Motion 449,该议案旨在资助一个通过NFT奖励来激励社区参与治理的项目。[2022/3/27 14:20:40]

目前,YFII合约代码均直接Fork自YearnFinance,做了较小的改动以支持YFIIToken的定期减半分发。下表为YFII涉及的合约与YFI合约对应关系及地址。

波卡生态概念板块今日平均跌幅为5.45%:金色财经行情显示,波卡生态概念板块今日平均跌幅为5.45%。26个币种中3个上涨,23个下跌,其中领涨币种为:AR(+2.21%)、PHA(+0.09%)。领跌币种为:KLP(-63.47%)、INSTAR(-7.73%)、MXC(-7.69%)。[2021/6/19 23:49:59]

YFI/YFIIToken为项目治理Token合约,二者实现一致,具体为一个带mint和简单governance功能的标准ERC-20Token。BPTToken为BalancerPoolToken合约,是做市商的流动性证明Token,实际由自动做市协议Balancer的BFactory入口合约创建,因此二者实现完全一致。该合约代码此前由TrailofBits和ConsensysDiligence进行过审计。Pool1和Pool2是用于分发治理Token的流动性挖矿合约,Pool1和Pool2的代码实现一致,均被称为YearnRewards合约,而YFII相对于YFI的改动即在这该合约中。YFIIPool1和Pool2合约相对于原始代码新增了checkStart()和checkhalve()两个修饰符函数,分别用于控制挖矿开始时间,和治理Token周期性地产量减半。YFII&YFI核心合约简析

波卡生态概念板块今日平均跌幅为9.39%:金色财经行情显示,波卡生态概念板块今日平均跌幅为9.39%。26个币种中3个上涨,23个下跌,其中领涨币种为:MATH(+2.43%)、KLP(+1.03%)。领跌币种为:OAX(-23.71%)、PHA(-19.34%)、AKRO(-15.66%)。[2021/2/28 18:01:04]

YFII和YFI流动性挖矿的核心合约代码YearnRewards实际源自于Synthetix项目的Unipool,原本用于奖励在Uniswap上为ETH/sETH交易对提供流动性的做市商SNXToken,该代码之前经过SigmaPrime审计。基于YearnRewards的流动性挖矿整个流程可以分为以下几步:具有RewardDistribution权限的地址,预先通过调用YearnRewards合约的notifyRewardAmount()函数,设置奖励数额,而对应金额的YFIToken应由YFIminter转入YearnRewards合约中。矿工向YearnRewards合约指定的目标DeFi合约提供流动性,拿到对应的流动性证明Token,该Token可以用于换回资产以及赚取利息或手续费收益。矿工将得到的PoolToken通过调用stake()函数存入YearnRewards合约中,合约自动根据Stake时长和矿工存入资金规模占资金池总规模的大小来计算矿工应得的奖励。矿工可随时提走自己的应有奖励以及之前存入的PoolToken。通常一个YearnRewards合约专门用于单个特定DeFi项目的流动性挖矿,如Pool1对接Curve项目的y池,Pool2对接Balancer上的YFI-DAIPool。一些发现

波卡Rococo V1平行链测试网预计将于圣诞节前夕上线:波卡平行链测试网Rococo V1发布会已于12月17日0: 00举办。会议公布了未来Rococo V1平行链测试网发布的相关安排以及进展,具体内容总结如下:1. Rococo V1预计将支持10个左右的平行链项目;2. 测试网中每个平行链需至少运行一个验证人节点以及Curator管理人节点;3. Parity将 作为Rococo的评估者,同时运行部分验证人节点参与监督平行链测试;4. Rococo V1测试网预计将于圣诞节前夕上线;5. 测试网不会.上线测试平行线程;6. 参与平行链测测试将遵循先到先得以及由简入繁两个原则。(PolkaBase)[2020/12/17 15:29:36]

前面提到YFII相对于YFI的改动,代码改动整体较小。新增两个修饰器函数用于约束stake()withdraw()getReward()三个主要功能函数。

Acala平行链测试已完成,预计本周接入波卡平行链测试网Rococo:8月12日,Acala已经支持以平行链的方式接入中继链运行,是首个成功将跨链消息在中继链与平行链之间发送的波卡生态项目。预期本周可以接入波卡平行链测试网Rococo,接下来会支持包括Laminar在内的多个平行链进行跨链测试。[2020/8/12]

notifyRewardAmount()函数中新增了一行代码,用于在notify的同时直接控制YFIToken合约mint指定数量的Token到当前YearnRewards合约,将其作为奖励用于分发。因此,Pool1和Pool2合约必须是YFIIToken合约的minter。这让YFII与YFI在Token分发细节逻辑上稍有不同。YFI每期奖励的分发都需要由特定地址负责设置金额并转入Token。而YFII除了第一期开始前执行了notifyRewardAmount()操作,之后会随着用户的调用,产量自动定期减半。

另外,在与社区开发者Madao和gaojin讨论代码细节的过程中,Madao提到Token产量自动减半的执行需要依赖checkhalve()函数的执行,实际则依赖用户与合约交互,执行时间无法精准控制到上一个周期的结尾,减半发生时间会与预期时间存在一定的时间差,并且合约减半实际发生时间很大概率晚于预期时间。特别地,合约计算奖励时会将两个周期间多出来的时间差计算在内,导致给每个用户计算的奖励值会略高于预期值,产生了一定误差。进而我们发现,只要误差存在,理论上最后一个从Pool中提取reward的人可能无法正常提现。这是因为合约在减半的同时MintYFIIToken至Pool合约。由于前面误差的存在,导致合约中用户账面收益高于实际Mint出来的Token数量。误差的大小计算方法为每个周期结束时间与下次减半发生实际发生时间之间的时间差Delta乘以减半后的rewardRate。根据上图测算,平均延时60秒减半,累计误差在1个YFII以内。只要能控制时间误差足够小,再加上持续有下一周期的Token作为补充,因此该误差问题影响较小。YFII管理员权限处理

YFI类Token都存在铸币接口,具有mint权限的地址可以增发Token。YFI类Token还存在Governance管理员,具有权限添加和删除Minter。通常理想情况下这些地址特殊权限地址应该为多签合约或其他专门合约。另外YearnRewards合约有rewardDistribution权限地址,用于调用notifyRewardAmount()函数设置奖励金额。YearnRewards合约还存在owner权限地址,用于设置rewardDistribution地址。目前,YFII项目的做法是将YFIIToken的Governance管理员、Pool1和Pool2的rewardDistribution均设为了0地址。管理员权限销毁记录可参见https://burn.yfii.finance/。经查验,管理员权限销毁属实。目前只有Pool1和Pool2两个合约地址具有YFIIToken的mint权限,属于为了实现周期性减半的必要权限,且未来无法被滥用。特别值得一提地是,原版YFIToken代码实现中,并未给addMinter()该特权函数添加Event,导致普通用户无法方便地查看究竟合约有多少minter。当心,这让各种类YFI项目非常容易藏入后门。经查验,YFIIToken合约总共只有两条addMinter()记录,分别为Pool1和Pool2合约添加mint权限,未引入多余的minter。总结

YFI整体是一次非常有意义的DeFi创新实验,通过YearnFinance我们看到去中心化的治理代币分发,充分激发了DeFi社区的挖矿和治理热情。YFII在YFI的基础上实现了YIP-8提案,探索了一种可能更公平的治理代币分发方案,并且短时间在社区内产生了较大影响,发展势头惊人。安全建议

随着流动性挖矿和DeFi产品的火热,市面上涌现出来各种新型DeFi智能合约,组合性风险剧增。安比实验室提醒用户与任何DeFi项目交互时一定要注意安全第一,认清域名、合约地址,仔细审查所有与资金相关的操作,尽量不要与来源不明的智能合约交互。另外,我们应更多关注DeFi产品本身和智能合约安全,分析价值基础和风险来源,不盲信APR,只投入能够承受损失的金额。特别提醒,记得用本文中提供的线索自行检查参与的类YFI项目管理员权限。

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

链链资讯

[0:15ms0-7:696ms