rusk vm adalah bagian dari whitepaper yang membuatku menyadari bahwa ini bukan sekadar rantai privasi dengan langkah tambahan—ini benar-benar membangun lingkungan eksekusinya sendiri.
ini berbasis webassembly, jadi ia mewarisi sebagian besar native wasm opcodes, tetapi kemudian menambahkan host functions di atasnya. hashing, matematika elliptic curve, pengecekan tanda tangan, verifikasi zero knowledge proof—semuanya bisa dipanggil secara native, bukan ditempelkan
di
luar melalui beberapa library eksternal.
harga gas untuk setiap pemanggilan fungsi, yang membuatnya tetap kuasi-turing lengkap daripada sepenuhnya turing lengkap; pada dasarnya ini adalah workaround untuk.$BOME
masalah halting (halting problem) sehingga eksekusi tidak bisa berjalan selamanya.
yang menarik adalah native zk verification. kebanyakan vms memperlakukan verifikasi proof sebagai komputasi eksternal yang mahal, rusk memperlakukannya.$BTW
sebagai operasi kelas pertama. aku penasaran bagaimana biaya gas untuk zk verification dibandingkan dengan pemanggilan kontrak normal di sistem ini??
#dusk @Dusk $DUSK
ini berbasis webassembly, jadi ia mewarisi sebagian besar native wasm opcodes, tetapi kemudian menambahkan host functions di atasnya. hashing, matematika elliptic curve, pengecekan tanda tangan, verifikasi zero knowledge proof—semuanya bisa dipanggil secara native, bukan ditempelkan
di
luar melalui beberapa library eksternal.
harga gas untuk setiap pemanggilan fungsi, yang membuatnya tetap kuasi-turing lengkap daripada sepenuhnya turing lengkap; pada dasarnya ini adalah workaround untuk.$BOME
masalah halting (halting problem) sehingga eksekusi tidak bisa berjalan selamanya.
yang menarik adalah native zk verification. kebanyakan vms memperlakukan verifikasi proof sebagai komputasi eksternal yang mahal, rusk memperlakukannya.$BTW
sebagai operasi kelas pertama. aku penasaran bagaimana biaya gas untuk zk verification dibandingkan dengan pemanggilan kontrak normal di sistem ini??
#dusk @Dusk $DUSK
