日拱一卒王小楼(@wang_xiaolou):Aptos 靠 Move VM 卖了两年「形式化验证=安全」的叙事。 Hexens 发现一个 cache bug，几美元成本就能伪造任意资源对象，模拟成功率 90%。链上 $700 亿资产，差点被几百美元搬空。 2 月悄悄修了，零损失，皆大欢喜——但重点不是「修好了」，是 Move 从来不安全，只是没人盯。 PoW 撑 15 年靠的是攻击成本是能量。Move VM 撑半年差点被零花钱做掉。你的「安全设计」不是没漏洞，是没被盯上。

日拱一卒王小楼

@wang_xiaolou

|个人投研者｜AI + Web3 | 只筛选，不教育｜善良：利他不利己；聪明：利他又利己｜

加入 September 2021

5.8K 正在关注 34.3K 粉丝

日拱一卒王小楼@wang_xiaolou

2026.07.05 03:07

Aptos 靠 Move VM 卖了两年「形式化验证=安全」的叙事。 Hexens 发现一个 cache bug，几美元成本就能伪造任意资源对象，模拟成功率 90%。链上 $700 亿资产，差点被几百美元搬空。 2 月悄悄修了，零损失，皆大欢喜——但重点不是「修好了」，是 Move 从来不安全，只是没人盯。 PoW 撑 15 年靠的是攻击成本是能量。Move VM 撑半年差点被零花钱做掉。你的「安全设计」不是没漏洞，是没被盯上。

显示更多