Aptos два года продавал нарратив «формальная верификация = безопасность» на основе Move VM.

Hexens обнаружили баг в кэше: за несколько долларов можно подделать любой ресурсный объект с вероятностью успеха 90%.
Активы на $70 млрд в сети чуть не вынесли за пару сотен баксов.
В феврале тихо исправили, ноль потерь, все довольны — но дело не в том, что «починили», а в том, что Move никогда не был безопасным, просто за ним не следили.
PoW держался 15 лет за счёт того, что стоимость атаки — это энергия. Move VM продержался полгода и чуть не рухнул от карманных денег.
Твой «безопасный дизайн» не без уязвимостей — просто за ним пока не пришли.