Pengurutan yang dapat diverifikasi diperlukan untuk aplikasi sensitif struktur mikro agar sepenuhnya on-chain.