Aptos menjual narasi "verifikasi formal = keamanan" selama dua tahun dengan Move VM.

Hexens menemukan bug cache, dengan biaya beberapa dolar AS, sumber daya objek palsu dapat dipalsukan, tingkat keberhasilan simulasi 90%.
Aset senilai $70 miliar di rantai hampir dikuras habis dengan beberapa ratus dolar.
Diperbaiki diam-diam pada bulan Februari, tidak ada kerugian, semua senang—tapi intinya bukan "sudah diperbaiki", melainkan Move tidak pernah aman, hanya saja tidak ada yang mengawasi.
PoW bertahan 15 tahun karena biaya serangan adalah energi. Move VM hampir bangkrut dalam setengah tahun dengan uang saku.
"Desain keamanan" Anda bukan tanpa celah, hanya saja belum ada yang mengincarnya.