Dari permukaan, @0xMiden menggunakan rangkaian alat ZK yang matang,

tetapi hambatan sebenarnya tidak terletak pada kriptografi itu sendiri.

Yang sulit ditiru adalah jalur yang sejak awal berfokus pada "bukti dapat dibuktikan"
merancang balik mesin virtual, set instruksi, dan model akun.

Ini berarti bahwa itu bukan hanya "menambahkan ZK" pada model eksekusi yang ada,
melainkan menjadikan ZK sebagai prasyarat untuk model eksekusi.

Pilihan ini begitu diambil, sulit untuk disesuaikan di tengah jalan,
dan menjelaskan mengapa jalur ini tampak berjalan lambat tetapi strukturnya lengkap.