Vyper 被黑的时间线和反思
白帽的努力都在不到半小时的时间内被击败。
原文作者：aisiji
原文来源：osec.io
原文标题：Vyper Hack Timeline
编译：登链社区
"Trust but verify"(信任，但要核查)，不要做“事后诸葛亮”。最厉害的 bug 都是灯下黑。
由于合约的不可变性， 项目会隐性依赖多年前编写的代码， 我们在修复 bug 时，就更需要注意它的潜在影响。
这次的事情是这样发生的。
时间线
在本文中，我会用“我们”来指代所有为这次事件努力的人。我觉得，虽然我最初对发现漏洞作出了一些贡献，但在整个过程中，有无数人提供了更多的帮助。
13:10 UTCpETH/ETH1100 万美元[1]流失。
13:19 UTCMichal 在 ETHSecurity 上发布有关 pETH 价格突然暴跌的消息。
Igor 首先注意到不对劲。多亏了他，我们开始深入调查。
但是机器人是如何在remove_liquidity()调用中重入add_liquidity()的呢？
14:01 UTC就这个问题组建了一个应急小组。
14:07 UTC我们用我们最喜欢的反编译器[2]反编译了 JPEGd 合约，并注意到重入保护存储槽有点不同。
//Dispatchtableentryforadd_liquidity(uint256[2],uint256)
label_0057:
if(storage[0x00]){revert(memory[0x00:0x00]);}
storage[0x00]=0x01;
//Dispatchtableentryforremove_liquidity(uint256,uint256[2])
label_1AF3:
if(storage[0x02]){revert(memory[0x00:0x00]);}
storage[0x02]=0x01;
14:27 UTC我们通过一个简单的本地测试合约确认了这个问题。
@external
@nonreentrant("lock")
deftest(addr:address)->bool:
returnTrue
@external
@nonreentrant("lock")
deftest2(addr:address)->bool:
returnFalse
这不仅仅是另一个重入 bug。
此时，我们意识到这将产生多大的影响。封锁消息，我们删除了有关该漏洞的公开消息。
14:37 UTCWavey 帮助确认了存在漏洞的提交和受影响的版本。我和 Charles 通过手动检查 Vyper 编译器输出也证实了这一点。
关于【Vyper 被黑的时间线和反思】的延伸阅读
DWF Ventures：Ton 生态全解析
Notcoin和其他小程序在加密迷你应用程序时代广受欢迎，其中@ton_blockchain通过Telegram拥有强大的分销渠道。该平台类似于微信小游戏，用户可以轻松访问和互动。著名的点击赚钱游戏@thenotcoin已吸引了数千万用户，DeFi在过去两个月迅速崛起，@ton_blockchainDeFi TVL增长了13倍，超过4亿美元。领先的DEX包括@ston_fi和@dedust_io，流动质押平台@tonstakers和@bemo_finance表现突出，@Tether_to的合作伙伴关系扩展了@ton_blockchain上的USDT，并推动了Telegram上的支付。生态系统得到了@ton_starter启动平台和2.5亿美元的TON生态系统基金的支持。
币安研究：5 月加密市场趋势报告摘要
5月，加密货币市场总市值增长8.6%，DeFi市场TVL上涨21.7%，NFT市场总销售额下降41%。美国证券交易委员会批准现货ETH ETF，美国众议院通过《21世纪金融创新与技术法案》，推动市场上涨。排名前十的代币中，Solana表现最强劲，价格上涨33.9%，DeFi TVL上涨33.4%。但NFT市场大幅下滑，总销售额下降41%。
这是一场与黑客的竞赛。
值得庆幸的是，人们还将其与只读重入混淆。摘自 “Web3 安全警报” 频道-Alchemix 和 Metronome DAO 也因只读重入 bug 遭到黑客攻击[3]
Michael 发现运行 0.2.15 版本的 alETH 和 msETH 池也存在潜在漏洞。
14:50 UTCmsETH/ETH 被耗尽[4]。
15:34 UTCalETH/ETH 被耗尽[5]。
15:43 UTC我们发现用 Vyper 版本 0.3.0 编译的CRV/ETH 存在漏洞[6]。我们必须尽可能长时间保密受影响的合约，这一点至关重要。
16:11 UTC我们开始研究白帽漏洞。
不幸的是，太多的组织在同时进行独立研究，谣言四起。16:44 UTC，我们决定针对受影响的版本发布公开声明[7]。
到 18:32 UTC，我们有了一个可用于潜在白帽拯救的概念证明漏洞。Chainlight 的 bpak 也同时在研究一个漏洞，并于 19:06 UTC 分享。
五分钟后，19:11 UTC，有人盗走了资金[8]。
攻击结构与我们的概念证明有很大不同，不太可能是我们团队泄密。无论如何，这非常令人沮丧。
尽管如此，还有很多事情要做。
21:26 UTCAddison 提出了一个雄心勃勃的计划，拯救 CRVETH 池中的剩余资产。
如果你将 30k crv 发送到 crv/eth 池，
你可以更新管理费（admin fee） 然后设置 crv/eth 费率约为每个 crv 0.15 eth
基本上可以全部提取走池中的数百 K crv
21:52 UTCbpak 做了一个可行的概念证明，可以拯救 3100 ETH。
十分钟后，22:02 UTC，我们再次被击败。出乎意料的是，CRV 管理费用机器人[9]已被取走资金，并且池子已耗尽[10]。
责备
责备(Balme)是一个很强烈的词。指责是没有用的。我认为思考一下哪些方面可以做得更好才是有用的。
竞赛
白帽的努力都在不到半小时的时间内被击败。有时候，每一秒都非常重要。
也许可以有更好的准备和资源来执行这些攻击。同时，这似乎是一把双刃剑。把如何执行黑客攻击的信息汇总起来真的是个好主意吗？我们应该信任谁？
另一方面，我认为整个过程非常有效。我们在 2 小时 4 分钟内从最初的怀疑到确认出谁易受攻击。
信息泄露
我既是审计员又是白帽黑客。
审计行业有着特有的发布文化。我们因技术思想领先和对漏洞的深刻理解而获得报酬。证明他们的领先与深刻的一种方法是发布[11]有关黑客行为的“独家新闻”。研究人员花费巨大，而投资的回报就是宣传。
另一方面，有一个令人信服的论点认为：受影响版本的早期披露会对白帽拯救产生重大影响。
如果再多半小时，就可以拯救 1800 万美元。
审计师不会为他们的报告所造成的影响付出代价。相反，他们会得到点赞、转发和报道。这似乎是一个问题。
下一步
我不同意“我们需要形式化验证来解决这个问题”之类的观点。这个错误可以通过单元测试来捕获。形式化验证对于许多错误类型都非常有用，但我不相信它对于相对简单的、未优化编译器也同样有用。
需要注意的是，这个错误在2021 年 11 月已修复[12]。
我认为这个 Vyper 漏洞不是 Vyper 团队的技术或语言本身的问题，更多是流程问题。这个错误在很久以前的版本已被修复，但在修复的时候并没有意识到它的潜在影响。
不幸的是，公共物品很容易被忽略。由于合约不可变性，项目会隐性依赖多年前编写的代码。协议开发人员和安全专家应该了解整个执行堆栈的最新安全开发情况。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：aisiji，如有侵权请联系删除。转载或引用请注明文章出处！
