#dusk $DUSK
Saya mengira Piecrust, mesin virtual (VM) milik Dusk, hanya ada untuk menjalankan smart contract. Tugasnya sama seperti VM mana pun—mengeksekusi kode, menjaga state, selesai. Ternyata itu mungkin hanya separuh dari fungsinya.
Menggali dokumentasinya, Piecrust menyediakan sekumpulan fungsi host.
operasi yang diserahkan VM ke kode native, alih-alih dijalankan di dalam lingkungan WASM yang terkunci (sandbox).
Hashing, melalui Blake2b dan Poseidon.
Memverifikasi bukti zero-knowledge PlonK dan Groth16.
Memvalidasi tanda tangan Schnorr dan BLS.
Tidak ada yang semuanya berjalan sebagai bytecode kontrak biasa.
Kenapa sebuah VM sampai segitunya mengarahkan operasi-operasi tertentu melewati dirinya sendiri, alih-alih menjalankan semuanya dengan cara normal?
Ternyata eksekusi WASM bisa 45-255% lebih lambat daripada kode native untuk operasi yang berat komputasinya; biayanya berasal dari manajemen memori yang di-virtualisasikan dan penanganan instruksi tambahan yang ditambahkan oleh lingkungan sandbox.
Untuk sebuah chain di mana verifikasi bukti ZK bukan sesekali, melainkan terjadi pada dasarnya setiap transaksi, menjalankan perhitungan itu di dalam WASM alih-alih secara native bukanlah biaya kecil.
Biayanya berakumulasi, blok demi blok.
Prinsip yang sama langsung berlaku untuk DuskEVM, lapisan yang kompatibel dengan EVM dan membuat developer Solidity bisa masuk ke Dusk.
Hedger, modul eksekusi rahasianya, bersandar pada enkripsi homomorfik plus bukti ZK untuk menjaga transaksi tetap privat; tidak ada yang cukup cepat kalau tidak ada fungsi host native di bawahnya yang terlebih dahulu mengerjakan kerja berat.
Jadi Piecrust bukan hanya tempat kontrak dieksekusi. Piecrust juga jalur cepat untuk operasi-operasi kriptografis yang tepat @Dusk bergantung pada sebagian besar—dengan sengaja tidak dilewatkan ke jalur lambat—dan jalur cepat yang sama inilah yang membuat lapisan privasi DuskEVM benar-benar bisa diterapkan, bukan hanya untuk kontrak asli Dusk.
Membuat saya bertanya-tanya—berapa banyak VM "general purpose" lainnya yang diam-diam memakan biaya pajak verifikasi bukti yang tidak pernah ada yang repot mengukur?
Saya mengira Piecrust, mesin virtual (VM) milik Dusk, hanya ada untuk menjalankan smart contract. Tugasnya sama seperti VM mana pun—mengeksekusi kode, menjaga state, selesai. Ternyata itu mungkin hanya separuh dari fungsinya.
Menggali dokumentasinya, Piecrust menyediakan sekumpulan fungsi host.
operasi yang diserahkan VM ke kode native, alih-alih dijalankan di dalam lingkungan WASM yang terkunci (sandbox).
Hashing, melalui Blake2b dan Poseidon.
Memverifikasi bukti zero-knowledge PlonK dan Groth16.
Memvalidasi tanda tangan Schnorr dan BLS.
Tidak ada yang semuanya berjalan sebagai bytecode kontrak biasa.
Kenapa sebuah VM sampai segitunya mengarahkan operasi-operasi tertentu melewati dirinya sendiri, alih-alih menjalankan semuanya dengan cara normal?
Ternyata eksekusi WASM bisa 45-255% lebih lambat daripada kode native untuk operasi yang berat komputasinya; biayanya berasal dari manajemen memori yang di-virtualisasikan dan penanganan instruksi tambahan yang ditambahkan oleh lingkungan sandbox.
Untuk sebuah chain di mana verifikasi bukti ZK bukan sesekali, melainkan terjadi pada dasarnya setiap transaksi, menjalankan perhitungan itu di dalam WASM alih-alih secara native bukanlah biaya kecil.
Biayanya berakumulasi, blok demi blok.
Prinsip yang sama langsung berlaku untuk DuskEVM, lapisan yang kompatibel dengan EVM dan membuat developer Solidity bisa masuk ke Dusk.
Hedger, modul eksekusi rahasianya, bersandar pada enkripsi homomorfik plus bukti ZK untuk menjaga transaksi tetap privat; tidak ada yang cukup cepat kalau tidak ada fungsi host native di bawahnya yang terlebih dahulu mengerjakan kerja berat.
Jadi Piecrust bukan hanya tempat kontrak dieksekusi. Piecrust juga jalur cepat untuk operasi-operasi kriptografis yang tepat @Dusk bergantung pada sebagian besar—dengan sengaja tidak dilewatkan ke jalur lambat—dan jalur cepat yang sama inilah yang membuat lapisan privasi DuskEVM benar-benar bisa diterapkan, bukan hanya untuk kontrak asli Dusk.
Membuat saya bertanya-tanya—berapa banyak VM "general purpose" lainnya yang diam-diam memakan biaya pajak verifikasi bukti yang tidak pernah ada yang repot mengukur?
