Di sektor ZK dalam blockchain, ada fenomena yang cukup umum: sebagian besar tim pengembang menghabiskan upaya untuk branding dan cerita ekosistem, tetapi pada bagian mesin pembuktian di lapisan bawah, mereka justru langsung menyewa solusi yang sudah jadi. Jika kita kupas retorika pemasaran itu, setiap zkRollup pada dasarnya terus-menerus menyatakan hal yang sama: “Perhitungan ini benar, ini adalah bukti kriptografi.” Blockchain hanya bertugas menyiarkan pernyataan itu; yang benar-benar menopangnya adalah zkVM di belakangnya.

Ini memunculkan pertanyaan inti: jika mesin pembuktian langsung menentukan batas keamanan seluruh jaringan, mengapa begitu banyak tim bersedia menyerahkan nadi mereka kepada pihak lain?

Tentu, membuat zkVM dari nol biayanya tidak ringan—siklus pengembangan panjang, biaya audit tinggi, lalu iterasi prover bersama juga berjalan cepat; bagi banyak aplikasi chain, penyewaan memang pilihan yang lebih pragmatis. Namun ada biaya terselubung dari model outsourcing yang jarang dituliskan dalam diagram arsitektur: tingkat keamanan Anda sejak saat itu terikat pada roadmap pihak lain, ritme audit pihak lain, serta perubahan instruction set pihak lain. Jika mesin dasar di-upgrade, makna semantik bukti Anda bisa ikut bergeser. Untuk aplikasi chain biasa, hal ini mungkin masih bisa ditoleransi; tetapi untuk jaringan yang posisinya adalah “jaringan yang bisa menyelesaikan settlement tanpa perlu pengadilan”—yakni Bitcoin L2 yang dibangun khusus untuk AI agent—ketergantungan seperti ini menjadi tidak dapat diterima.