网易首页 > 网易号 > 正文 申请入驻

Venus协议3年埋雷:2次审计预警被无视

0
分享至


2025年6月,一个地址开始往Venus协议的智能合约里打钱。不是投资,不是质押,就是单纯转账。连续9个月,链上记录清清楚楚,社区有人标记过这个地址,团队回复说"去中心化嘛"。

215万美元就这么没了。攻击者没用什么高深技术,用的漏洞在Venus自己的审计报告里躺了3年——Code4rena的审计员早就写过:"直接转账可能绕过供应上限"。团队标记为"已知晓,不修复"。

Compound分叉协议的供应上限,本质上是个门卫。它只查正门(mint函数),不查后门(直接ERC-20转账)。攻击者从后门溜进去,把THEN(THE)代币直接打进vTHE合约,合约的底层资产余额涨了,但vToken供应量没变。

汇率公式是死的:exchangeRate = (底层资产余额 + 总借款 - 储备金) / vToken总供应量。分子变大,分母不动,汇率就虚高。每个持币人突然多了借债额度,而供应上限的检查函数还在睡大觉。

第一道防线:供应上限成了摆设

标准实现里,mintInternal函数会校验:totalSupply + mintAmount ≤ supplyCap。但直接转账走的是另一条路——IERC20(THE).transfer(address(vTHE), amount)。没有cap检查,没有权限控制,就是简单粗暴地增加余额。

Venus的修复方案现在看很直白:供应上限必须盯紧合约的实际底层余额,而不是只算mint出来的量。getCashPrior()函数能读到原始token余额,这个数和记账的supply之间但凡有缺口,就该拉闸。

但2023年的审计建议被归类为"设计选择"而非"安全漏洞"。换句话说,团队觉得用户不会这么干。9个月后,攻击者证明他们会。

第二道防线:预言机成了帮凶

攻击者的操作是循环的:买THEN→直接捐给合约→汇率膨胀→借出更多资产→再买THEN。这个循环把THEN的市场价格一起往上推,预言机如实上报了被操纵的价格。


这里有个设计悖论:预言机的职责是反映市场,但市场本身可以被捐赠攻击扭曲。Venus用的不是时间加权平均价(TWAP),价格更新跟着现货走。攻击者在短时间内集中操作,预言机几乎实时反馈了虚高价格。

社区事后复盘时提到,THEN的链上流动性深度本可以作为一个警示指标——当抵押品价格涨幅远超流动性池深度时,系统应该自动下调抵押系数。这个机制不存在。

第三道防线:清算机器人集体失效

254个清算机器人参与了围猎,8048笔交易试图拆解这个头寸。结果?215万美元坏账留在账上。THEN的价格从0.51美元崩到0.22美元,速度超过了清算系统的反应极限。

Compound分叉的清算机制有个隐性假设:价格变动是连续的、可预测的。但捐赠攻击制造的是跳跃式失真——汇率和价格在短时间内同步暴涨,等机器人算清账,抵押品价值已经覆盖不了债务。

更尴尬的是,攻击者的头寸结构经过精心设计,清算激励不足以覆盖滑点和gas成本。机器人在算经济账,攻击者在算博弈论。

这不是Venus第一次踩这个坑

2022年,Venus在BNB Chain的XVS市场出过类似问题。当时也是供应上限被绕过,也是预言机价格被操纵,也是清算不及时留下坏账。那次损失更大,但修复方案没触及根本——只是加了更多参数,没改架构。

Compound分叉协议有个通病:它们继承了代码,也继承了假设。Compound设计于2018年,那时的DeFi还没经历过成熟的MEV生态、没见识过专门的清算机器人军团、更没遇到过把"直接转账"当武器的攻击者。

供应上限的设计初衷是限制单一资产的风险敞口。但当上限只检查mint路径时,它就变成了一个心理安慰——告诉用户"我们控制了集中度",实际上后门大开。


其他协议在干什么

Aave V3的供应上限实现略有不同,它跟踪的是"可清算的底层资产",但同样没有处理直接转账的边界情况。Euler Finance在2023年漏洞后重构了架构,把捐赠攻击纳入了威胁模型,但用的是白名单机制——只接受特定合约的转账,牺牲了一部分可组合性。

最激进的方案来自Morpho Blue,它干脆取消了供应上限的概念,改用风险隔离的独立市场。每个市场有自己的清算人集合和预言机,一个市场出问题不会传染全局。代价是流动性碎片化,用户得自己选市场参数。

Venus选择的中间路线——保留Compound架构,打补丁——在THEN市场上暴露了极限。三个补丁(供应上限检查、预言机TWAP、清算激励调整)都没打对位置,或者说,打得太晚。

215万买来的教训

攻击者的完整时间线现在完全公开:2025年6月开始小额测试,10月加大剂量,2026年3月15日11:00 UTC正式收网。每一步都在链上,每个地址都被标记过。Venus团队在Discord里的回复记录还在:"我们注意到了,正在评估。"

评估了9个月,直到坏账产生。

这个案例最讽刺的点在于:攻击成本几乎为零。不需要闪电贷,不需要复杂的合约交互,就是买币、转账、借贷、循环。技术含量最低的一步——直接ERC-20转账——恰恰是防御系统完全没考虑的场景。

现在Venus的修复方案包括:监控getCashPrior()与记账supply的偏差、引入TWAP预言机、设置价格变动阈值触发暂停。这些都是2022年XVS事件后社区提议过的,当时被优先级更高的功能排期挤掉了。

DeFi协议的安全预算怎么分配?是花3个审计周期找逻辑漏洞,还是花1个周期检查"用户会不会直接转账"?Venus的选择给出了答案,也付出了价格。

254个清算机器人、8048笔交易、9个月的预警窗口——这些数字本该构成足够厚的安全垫。但当架构假设与现实行为错配时,数量优势转化不成防御深度。攻击者只需要找到一个系统没定义的行为,就能让整个防御网络过载。

Compound分叉协议的下一个大考会是什么?也许是EIP-4844之后的blob交易降低了链上数据成本,让更复杂的汇率操纵变得经济;也许是跨链桥接资产让"直接转账"的边界更加模糊。Venus的215万坏账,会成为教科书案例,还是会被下一个协议重复?

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
赫内斯:凯恩至少留队到2027年夏天,沙特若高价挖人也难说

赫内斯:凯恩至少留队到2027年夏天,沙特若高价挖人也难说

懂球帝
2026-03-29 18:14:11
斯普利特:我们对杨瀚森要保持耐心,我新秀赛季几乎没上过场

斯普利特:我们对杨瀚森要保持耐心,我新秀赛季几乎没上过场

懂球帝
2026-03-28 22:22:03
罗德里戈前女友官宣恋情,新男友是矿工球员考阿-埃利亚斯

罗德里戈前女友官宣恋情,新男友是矿工球员考阿-埃利亚斯

懂球帝
2026-03-29 09:18:13
前微软架构师怒揭Windows GUI混乱:14次转向、17条路线,一群聪明人做出了愚蠢的决定

前微软架构师怒揭Windows GUI混乱:14次转向、17条路线,一群聪明人做出了愚蠢的决定

CSDN
2026-03-27 18:26:43
张雪峰猝死事件发酵!网传内蒙一公司老板开会,出资全员急救培训

张雪峰猝死事件发酵!网传内蒙一公司老板开会,出资全员急救培训

火山詩话
2026-03-26 10:42:17
看了姚晨的旧照,才明白凌潇肃曹郁为啥相继沦陷了,嘴大不是缺陷

看了姚晨的旧照,才明白凌潇肃曹郁为啥相继沦陷了,嘴大不是缺陷

八斗小先生
2026-03-20 15:24:18
教育部宣布中考重大变革,取消 5:5 分流,升学规则将全面调整?

教育部宣布中考重大变革,取消 5:5 分流,升学规则将全面调整?

今朝牛马
2026-03-26 20:22:18
CCTV5直播:中国迎战喀麦隆,国足盼两连胜

CCTV5直播:中国迎战喀麦隆,国足盼两连胜

老汆古装影视解说
2026-03-29 15:26:23
局部大雨!周一上班需注意!

局部大雨!周一上班需注意!

上海预警发布
2026-03-29 17:11:41
张雪峰追悼会!妈妈痛哭被搀扶,没见女儿,员工磕头,亲友三鞠躬

张雪峰追悼会!妈妈痛哭被搀扶,没见女儿,员工磕头,亲友三鞠躬

潮鹿逐梦
2026-03-28 11:27:42
张雪峰遗产继承浮出水面:几亿留给女儿,让全网父母破防不是钱…

张雪峰遗产继承浮出水面:几亿留给女儿,让全网父母破防不是钱…

华人星光
2026-03-29 12:22:37
从“国漫骄傲”到公司倒闭,《雄狮少年》仅用4年把自己玩毁了

从“国漫骄傲”到公司倒闭,《雄狮少年》仅用4年把自己玩毁了

娱乐圈十三太保
2026-03-28 16:01:23
广东大龄光棍老李相亲遇奇葩,女方带3娃上门赖着不走,要他接盘

广东大龄光棍老李相亲遇奇葩,女方带3娃上门赖着不走,要他接盘

捣蛋窝
2026-03-29 17:27:49
近3000亿!全球第一大汽车集团,丰田完成史上最大收购!

近3000亿!全球第一大汽车集团,丰田完成史上最大收购!

小陆搞笑日常
2026-03-28 22:05:02
美军3500名增援到达!以色列袭杀记者!伊朗:击中美军F-16战斗机,强力反击将加速以政权崩溃

美军3500名增援到达!以色列袭杀记者!伊朗:击中美军F-16战斗机,强力反击将加速以政权崩溃

每日经济新闻
2026-03-29 00:39:10
伊朗、胡塞武装、黎巴嫩真主党同步袭击以色列,画面曝光:胡塞武装远程无人机侵入埃拉特上空,黎巴嫩真主党导弹击中以军坦克并引发大火

伊朗、胡塞武装、黎巴嫩真主党同步袭击以色列,画面曝光:胡塞武装远程无人机侵入埃拉特上空,黎巴嫩真主党导弹击中以军坦克并引发大火

大象新闻
2026-03-29 12:45:17
iOS 紧急发布系统更新提醒,建议升级!

iOS 紧急发布系统更新提醒,建议升级!

花果科技
2026-03-29 00:02:21
71岁女星两次离婚,与同性密友同居20年,称彼此没爱情不喜欢同性

71岁女星两次离婚,与同性密友同居20年,称彼此没爱情不喜欢同性

丁丁鲤史纪
2026-03-29 18:32:43
命是定数,运是变数,记好这4句口诀,你的运自己说了算

命是定数,运是变数,记好这4句口诀,你的运自己说了算

金沛的国学笔记
2026-03-26 12:29:20
无耻至极!用男性身体闯女性赛场,还好意思喊不公?!

无耻至极!用男性身体闯女性赛场,还好意思喊不公?!

柚子说球
2026-03-29 10:31:15
2026-03-29 19:11:00
报错免疫体
报错免疫体
一名在需求评审和数据异常中反复横跳的产品运营。
384文章数 1关注度
往期回顾 全部

科技要闻

马斯克承认xAI"建错了",11位创始人均离职

头条要闻

美军地面战"数周速决"方案披露 欲复刻"42天灭伊"神话

头条要闻

美军地面战"数周速决"方案披露 欲复刻"42天灭伊"神话

体育要闻

绝杀卫冕冠军后,他单手指天把胜利献给父亲

娱乐要闻

张凌赫事件持续升级!官方点名怒批

财经要闻

Kimi、Minimax 们的算力荒

汽车要闻

岚图泰山X8配置曝光 四激光雷达/华为新一代座舱

态度原创

本地
教育
旅游
亲子
军事航空

本地新闻

在潍坊待了三天,没遇到一个“潍坊人”

教育要闻

武汉大学举办2026届毕业生春季校园双选会

旅游要闻

​倒计时 3 天|春假趣大墅・石韵研学游

亲子要闻

孩子夜间哭闹,大多数是脾胃问题

军事要闻

美两栖攻击舰载3500名增援到达

无障碍浏览 进入关怀版