#dusk $DUSK @Dusk
Di pasaran, banyak sekali proyek yang langsung mengklaim kompatibel dengan ZK. Namun, ketika diselami sampai ke detail lapisan eksekusinya, terlihat bahwa sebagian besar hanyalah karya permukaan: ZK dijadikan sebagai tambalan tambahan, bukan kemampuan lapisan dasar (native). Banyak orang hanya membandingkan waktu pembuatan bukti ZK, tetapi jarang memperhatikan biaya gas tambahan saat logika ZK dipanggil dari kontrak, serta latensi panggilannya. Inilah biaya implisit yang tertanam di lingkungan eksekusi, dan justru biaya-biaya ini yang menentukan apakah aplikasi keuangan berbasis privasi dapat dijalankan secara terukur (scalable).
Kebanyakan mainchain menangani verifikasi ZK dengan jalur “plug-in”: baik mengandalkan precompiled contract, atau membuang seluruh perhitungan bukti yang berat ke luar rantai (off-chain). Jalur implementasi ini hambatannya rendah dan cepat untuk diluncurkan, tetapi kelemahannya sangat menonjol. Setiap kali verifikasi ZK dilakukan, kontrak harus memulai panggilan lintas modul; setiap lapisan interaksi tambahan berarti putaran tambahan biaya gas. Berdasarkan pengujian, biaya gas ekstra per panggilan sering kali mencapai mulai dari puluhan ribu. Jika layanan off-chain mengalami kemacetan, latensi pengembalian hasil bukti juga langsung menghambat bisnis di rantai. Titik kegagalan menjadi menyebar, dan semakin panjang rantai komunikasinya, semakin tinggi probabilitas error. Intinya, ZK hanya menjadi fungsi tambahan “pelengkap”, prioritasnya di bawah logika dasar di dalam rantai.
Arsitektur mesin virtual Dusk justru mengambil pendekatan yang sepenuhnya berlawanan: seluruh kemampuan verifikasi kriptografis diturunkan langsung ke lapisan dasar pada saat runtime. Berbagai logika verifikasi zk yang umum, algoritma hash, komponen tanda tangan agregat—semuanya dikemas menjadi fungsi inang (host) mesin. Lapisan kontrak dapat memanggilnya secara langsung, sehingga menghilangkan biaya yang timbul dari perpindahan lintas precompiled atau bolak-balik komunikasi off-chain. Dengan logika verifikasi ZK yang sama, konsumsi gas dari sisi kontrak dapat dikompresi hingga mendekati 30%, dan latensi panggilan dapat ditekan hingga level milidetik.
Yang lebih penting, tidak memakai model memori EVM secara warisan. Sebaliknya, tata letak memorinya didesain ulang berbasis WASM. Model memori native EVM dioptimalkan untuk smart contract biasa. Saat menjalankan operasi ZK yang intensif baca-tulis secara berulang, model ini memicu banyak salinan memori yang tidak perlu (redundan). Pada beberapa skenario pembuktian yang kompleks, penggunaan memori bisa melonjak beberapa kali lipat. Granularitas memori pada WASM lebih fleksibel, sehingga dapat menyesuaikan karakteristik ZK yang banyak melakukan iterasi hash dan operasi polinomial. Penggunaan memori maksimum bisa turun hingga 40%, dan efisiensi eksekusi meningkat secara nyata.
Paling penting lagi adalah keterpaduan end-to-end: kemampuan ZK bukanlah komponen yang berdiri sendiri. Antarmuka kontrak dan primitive transaksi privasi di rantai digabungkan. Verifikasi bukti, pemindahan aset, serta logika privasi dapat berjalan dalam satu siklus rantai transaksi yang sama, tanpa perlu menyusun dari lintas banyak sistem.
Di pasaran, banyak sekali proyek yang langsung mengklaim kompatibel dengan ZK. Namun, ketika diselami sampai ke detail lapisan eksekusinya, terlihat bahwa sebagian besar hanyalah karya permukaan: ZK dijadikan sebagai tambalan tambahan, bukan kemampuan lapisan dasar (native). Banyak orang hanya membandingkan waktu pembuatan bukti ZK, tetapi jarang memperhatikan biaya gas tambahan saat logika ZK dipanggil dari kontrak, serta latensi panggilannya. Inilah biaya implisit yang tertanam di lingkungan eksekusi, dan justru biaya-biaya ini yang menentukan apakah aplikasi keuangan berbasis privasi dapat dijalankan secara terukur (scalable).
Kebanyakan mainchain menangani verifikasi ZK dengan jalur “plug-in”: baik mengandalkan precompiled contract, atau membuang seluruh perhitungan bukti yang berat ke luar rantai (off-chain). Jalur implementasi ini hambatannya rendah dan cepat untuk diluncurkan, tetapi kelemahannya sangat menonjol. Setiap kali verifikasi ZK dilakukan, kontrak harus memulai panggilan lintas modul; setiap lapisan interaksi tambahan berarti putaran tambahan biaya gas. Berdasarkan pengujian, biaya gas ekstra per panggilan sering kali mencapai mulai dari puluhan ribu. Jika layanan off-chain mengalami kemacetan, latensi pengembalian hasil bukti juga langsung menghambat bisnis di rantai. Titik kegagalan menjadi menyebar, dan semakin panjang rantai komunikasinya, semakin tinggi probabilitas error. Intinya, ZK hanya menjadi fungsi tambahan “pelengkap”, prioritasnya di bawah logika dasar di dalam rantai.
Arsitektur mesin virtual Dusk justru mengambil pendekatan yang sepenuhnya berlawanan: seluruh kemampuan verifikasi kriptografis diturunkan langsung ke lapisan dasar pada saat runtime. Berbagai logika verifikasi zk yang umum, algoritma hash, komponen tanda tangan agregat—semuanya dikemas menjadi fungsi inang (host) mesin. Lapisan kontrak dapat memanggilnya secara langsung, sehingga menghilangkan biaya yang timbul dari perpindahan lintas precompiled atau bolak-balik komunikasi off-chain. Dengan logika verifikasi ZK yang sama, konsumsi gas dari sisi kontrak dapat dikompresi hingga mendekati 30%, dan latensi panggilan dapat ditekan hingga level milidetik.
Yang lebih penting, tidak memakai model memori EVM secara warisan. Sebaliknya, tata letak memorinya didesain ulang berbasis WASM. Model memori native EVM dioptimalkan untuk smart contract biasa. Saat menjalankan operasi ZK yang intensif baca-tulis secara berulang, model ini memicu banyak salinan memori yang tidak perlu (redundan). Pada beberapa skenario pembuktian yang kompleks, penggunaan memori bisa melonjak beberapa kali lipat. Granularitas memori pada WASM lebih fleksibel, sehingga dapat menyesuaikan karakteristik ZK yang banyak melakukan iterasi hash dan operasi polinomial. Penggunaan memori maksimum bisa turun hingga 40%, dan efisiensi eksekusi meningkat secara nyata.
Paling penting lagi adalah keterpaduan end-to-end: kemampuan ZK bukanlah komponen yang berdiri sendiri. Antarmuka kontrak dan primitive transaksi privasi di rantai digabungkan. Verifikasi bukti, pemindahan aset, serta logika privasi dapat berjalan dalam satu siklus rantai transaksi yang sama, tanpa perlu menyusun dari lintas banyak sistem.