#dusk $DUSK @Dusk

Mengapa Verifikasi Bukti Keluar dari Sandbox demi Kecepatan


‎Telah membandingkan jalur verifikasi kriptografis Dusk dengan apa yang akan diperlukan oleh alternatif yang benar-benar tersandbox, sejak “moved outside WASM” disebut di banyak tempat tanpa landasan angka yang kuat.

‎Materi milik Dusk sendiri mengonfirmasi bahwa Piecrust mengekspos hashing, verifikasi PLONK, verifikasi Groth16, dan pemeriksaan tanda tangan sebagai host-function—kode asli yang langsung dipanggil oleh runtime, sepenuhnya melewati mesin virtual WASM untuk operasi-operasi spesifik ini. Secara terpisah, saya menemukan bahwa Phoenix secara khusus menggunakan varian tanda tangan ganda-Schnorr, yang dijelaskan dalam repositori Dusk sebagai pengenalan baru yang mendelegasikan komputasi bukti tanpa mengekspos kunci rahasia penanda tangan—artinya bahkan lapisan tanda tangan, bukan hanya lapisan bukti ZK, dibangun agar berjalan melalui jalur native ini.

‎Lakukan perhitungan tentang apa yang tetap berada di dalam WASM versus apa yang tidak. Logika kontrak umum—perubahan keadaan, aturan bisnis—berjalan tersandbox. Setiap primitif kriptografi yang benar-benar bergantung pada transaksi Phoenix berjalan secara native.

‎Namun, ini tetap hipotesis yang layak dinyatakan secara tepat: Saya belum menemukan benchmark-percentage yang dipublikasikan secara spesifik untuk mengukur seberapa lambat verifikasi Phoenix akan berjalan jika pemeriksaan ini tetap berada di dalam WASM dibandingkan saat dijalankan sebagai host-function pada konfigurasi Dusk saat ini.

‎Apa yang berubah dalam pembacaan saya: Saya sempat mengira ini murni pilihan optimasi. Ternyata ini juga pilihan batas keamanan—kode native memiliki sifat permukaan serangan yang berbeda dibanding kode WASM tersandbox, yang tidak tertangkap hanya oleh kerangka pembingkaian performa.
Pure optimization
0%
Also a security tradeoff
0%
0 Voting • Voting ditutup