36小时内，眼看他起高楼，几分钟内，眼看他楼塌了。北京时间08月13日上午03时整，备受瞩目的DeFi项目YAMFinance宣布启动流动性挖矿，仅仅一天时间锁仓资产价值就超过了6亿美元，其锁定资产增量和增速都达到了近乎癫狂状态。且照此发展，一些早期给池子注入流动性的羊毛党年利率甚至可逼近200倍，其疯狂程度可见一斑。不过，正当大家都陷入挖矿狂欢的时候，意外发生了。北京时间08月13日凌晨，YAMFinance发现其智能合约的弹性供应机制存在漏洞，导致合约第二次rebase触发时会铸造大量额外代币，这意味着未来社区将无法获得足够的代币来执行任何治理操作，YAM将成为一个失控的机器，最终将彻底失去社区用户的信任。该如何拯救我们的YAM小红薯呢？
在发现漏洞后，YAM团队发起了“拯救行动”，称他们需要16万委托投票才能提交治理提案，于是向社区发起呼吁投票。很快，这场轰轰烈烈的社区投票行动就完成了。然而，就在大家以为只是虚惊一场的时候，北京时间08月13日下午16时01分，YAM创始人BrockElmore却发推特称，对不起大家，我失败了。这究竟是怎么回事呢？
V神：中心化的稳定币或成为ETH硬分叉的重要决定因素:金色财经消息，以太坊联合创始人Vitalik Buterin表示，Tether（USDT）和Circle USD（USDC）等中心化稳定币可能成为\"未来硬分叉中的重要决定者\"。
在8月3日在首尔举行的BUIDL Asia上，这位以太坊联合创始人表示，中心化的稳定币可能是行业在硬分叉中“尊重”哪个区块链协议的一个“重要”决定因素。
Vitalik Buterin补充道，在未来五到十年内，以太坊可能会出现更多有争议的硬分叉，而中心化的Stablecoin发行商可能会变成更具影响力的决策者。（Cointelegraph）[2022/8/5 12:04:39]
PeckShield安全人员介入分析后，迅速定位到问题的本质在于：弹性供应机制存在一个代码公式的错误，致使第二次rebase触发时系统会自动增发10^18个新代币，如果行情一直保持高位的话，那么以后的每次rebase触发时都会进行指数级的增发，这将使小红薯YAM的数量变成一个可怕的天文级数字。这意味着，无论后期社区怎样委托投票，都无法获得足够的投票量对系统进行控制，整个系统将陷入失控无主状态。本来YAM官方号召广大YAM持有人通过代理投票的方式，一起完成此次投票“拯救行动”，以修复这个存在的漏洞。然而，PeckShield安全人员进一步分析发现，当YAM官方开始发出呼吁的时候，这次拯救行动其实就已经注定失败了。原因有二：1）时间来不及：YAM官方或许忽略了一点，在其提案投票拯救行动准备工作完成后，也需要至少12.5个小时才能被执行生效，而按照现在的时间节奏，当其执行生效时，第二次rebase早已触发。2）新部署治理合约无法被有效执行：由于第二次rebase触发，因此官方原先预期要执行的新治理合约到了执行时间后，却发现由于投票总量远远无法达到合约约定的总量的4%，故而无法被有效执行。究竟是为何呢？接下来上技术干货：技术概要
V神：分叉期货合约或为市场带来不良影响:今日，推特用户Benjamin Dean Mahala发推称，“Defi的价格波动并不连续（也许更糟糕的是，无法确定的价格）。从这个方面来看，Defi从根本上来说是弱者，但没有扎实的证据说明，价格不稳定一定是分叉引发的。如果可以事先对分叉进行广告宣传，人们就可以交易分叉期货合约，并且可以在协议内部知道不同分叉期货，分叉X /分叉Y的价格。人们可以主动响应，并且看到价格变化，提前平仓。”对此，V神回应：“我不认为分叉期货市场是个好主意。一般而言，这是一种多重均衡机制，每个人都认为X有可能赢，然后X赢了，这滋养了歪曲、撒谎、哗众取众等动机；不会为市场带来良好的影响和动能。有些机制在设置上明显更具有这种影响（为市场留有负面的影响），而分叉期货合约明显更具有这类影响力。”[2020/3/1]
首先介绍下YAM智能合约的弹性供应机制：1）系统会根据市场价格浮动来动态调整代币的供应量，当市价上涨时则按比例增发代币，以降低单位代币的价值，直至降至1美元。2）每天分别执行两次rebase，每次rebase会改变代币供应量，根据市场现价增发或销毁一定量的代币。再说一个实施提案的关键因素：持有者进行委托投票，投票数超过总量的1%，则提案才可以进行执行排列，且按合约约定执行排列时长需要等待12.5小时，而提案执行时，则投票需要超过总量的4%。如此新治理合约才能执行生效，项目才能继续正常运转。有了以上几个技术要点的铺垫，我们再来看一下，YAM官方的跟进时间表，就能明白此次拯救行动为什么注定会失败。如下图时间线所示：
声音 | V神：可通过加密签名验证应用程序消息的真实性:以太坊创始人V神发推表示：我们应该建立一个标准，在这个标准中，消息应用和社交媒体应用的每条消息旁边应放置几个几乎不引人注意的像素，这些像素是消息内容的加密签名。然后图像查看器可以自动检测截图并检查其真实性。 值得一提的是，V神在该条推文下@了特斯拉CEO马斯克。[2019/7/15]
②是第一次rebase触发的时间，由于合约的bug导致totalsupply资产发生异常暴涨，官方发现BUG存在并进行了披露。③是官方宣布提议部署新治理合约的时间，在此之后社区开始启动投票。④是投票目标初步完成，新治理合约进入执行排列的时间，自此等待执行12.5小时合约正式执行。⑤是第二次rebase的触发时间。⑦是其新治理合约投票通过后正式执行的时间。⑥在第二次rebase触发后的第31分钟时，或许是项目方发现了已经无力回天了，提案取消成功，项目方正式宣布YAM失败。①之后的绿色区域是投票和提案拯救行动可以成功的“黄金急救期”，需要整个拯救行动准备工作在第一次rebase触发之前半小时内完成。。这意味着，YAM官方应在第一次rebase详细过程分析首先我们看下当第一次rebase发生了什么：
声音 | V神：完全同意并支持下架BSV:关于日前币安下架BSV一事，V神发推特表示他完全同意并支持下架BSV。同时他认为言论自由是个困扰了很多人的话题，或许应该写篇博客来谈谈对这一话题的看法。[2019/4/16]
图1.第一次rebase资产变化如上面链上信息所示，当第一次rebase之后，totalSupply从3,500,000*10^18暴涨到一个极大值。我们进一步分析代码，看下在代码中发生了什么：首先从链上信息我们能看到rebase操作调用的是YAMRebaser合约的YAMRebaser::rebase()函数，我们最终发现它通过调用YAM合约的rebase()函数重新计算totalSupply，在第340行的totalSupply赋值操作可以看到，这一行代码有个明显的错误——没有除BASE，从而导致totalSupply的值暴增了10^18倍。YAM官方在第一次rebase以后发现了这个问题，于是披露rebasebug事件启动了投票拯救行动。
图2.YAMToken::rebase()得到一个异常大的totalSupply值而在12小时之后，YAM又触发了第二次rebase，这个数据又是以基于错误的totalSupply来计算的，从而导致initSupply的数值同样出现了异常。
声音 | V神：加密社区必须抛弃早期密码朋克的个人主义:据Cointelegraph消息，3月24日，在RadicalxChange会议上，V神表示，加密社区应该摆脱早期密码朋克时代的个人主义，利用技术创造具有积极社会影响的全新、公平和创新的系统。[2019/3/26]
图3.第二次rebase资产变化我们继续分析造成initSupply异常的成因，关键在上面提到过YAMRebaser::rebase()函数，这个函数实现的主要逻辑：先基于yam.totalSupply()计算出本次rebase需要增发的YAM数额mintAmount，在afterRebase()函数经过数层调用后进入YAM的_mint()函数，基于异常的mintAmount给initSupply进行赋值。由于在第一次rebase中，totalySupply已经变成一个极大值，所以基于此异常值的后续一列操作最终导致initSupply也计算错误，变成了一个天文级的数值。
图4.YAMRebaser::rebase()用错误的totalSupply计算initSupply当第一次rebase出现异常时，项目方已经发现问题并决定提出一个修复系统的提案，希望通过投票的方式将此提案排入执行队列并且执行。当此题案收到足够多的投票，治理合约允许任何人通过调用GovernorAlpha::queue()函数将此题案排入执行队列。但由于此治理合约代码逻辑的实现，导致无论是在第二次rebase之前或是之后进行修复，都无法正确执行这个拯救行动。为什么说项目方准备工作完成的太晚了？
我们看下图中的GovernorAlpha::queue()代码，我们注意到了在调用_queueOrRevert函数之前的第224行中设置变量eta=currenttimestamp+timelock.delay，这就使得生效时间必然在加入队列的12.5小时以后，而第二个rebase时间是与第一次间隔12小时，这就意味着要执行成功需要将拯救行动提前到第一次rebase之前至少半小时以上，否则将永远无法执行。
图5.GovernorAlpha::queue()函数设置eta又为什么说已经做出的拯救行动，根本无济于事呢？当触发合约GovernorAlpha::execute()时首先会先执行state函数来获得当前提案状态。
图6.GovernorAlpha::execute()检测提案状态在下面的state()函数第330行，如果proposal.forVotes<=againstVotes()，提案状态被设置为失败。
图7.GovernorAlpha::state()执行返回Defeated错误从代码中能看出来，项目方在设计系统时，投票数被设计为必须大于initSupply总量的4%，此提案才能是合法的状态，如下图所示。然而，当第二次执行rebase以后，initSupply已经被搞成一个极大值。这就导致了，投票票数永远不可能>=quorumVotes()，从而总是返回Defeated。
图8.GovernorAlpha::quorumVotes()返回一个错误的异常值除了提案状态异常的问题之外，如图9、图10所示，当第二次rebase发生以后，由于GovernorAlpha::propose()检查投票数必然小于proposalThreshold（1%的initSupply)，因此新的提案也再也无法被提出，更遑论要投票执行了。
图9.GovernorAlpha::propose()检测投票数是否大于1%initSupply
图10.GovernorAlpha::proposalThreshold()返回1%initSupply总结
此次YAM漏洞事件，最终造成治理合约中75万枚yCRV被永久锁定，而且短时间内的急速暴跌和无力回天的局面，不知道有多少人被埋在了价格高点，其疯狂程度成了如今DeFi流动性挖矿的最真实写照，其残酷魔幻程度何尝又不是？倘若项目方在部署合约之前但凡测试过一次rebase流程，必定能捕捉到漏洞的存在。足以见得，DeFi项目做安全审计的重要性。综上分析，PeckShield想借此劝诫诸君，在区块链世界里，务必要对每一行合约代码保持敬畏，因为任何细微的疏漏都可能造成无法挽回的局面。毕竟，代码是人写的，漏洞也很难被彻底避免，因此需要项目方在合约部署上线前就做好充分的测试和第三方安全审计工作，这会帮助其更早发现并排查合约代码潜在的安全漏洞，不至于等到，漏洞发生后，亡羊补牢，为时已晚
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。