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

2026.07.05 03:07

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