#dusk $DUSK @Dusk
Bagian dari desain @Dusk yang paling tidak sepenuhnya yakin tentang saya adalah biaya pembuatan bukti dalam skala.
Membuat bukti zk-SNARK tidak gratis—biaya komputasi meningkat seiring kompleksitas rangkaian (circuit), dan di berbagai sistem zk secara umum, waktu pembuktian untuk rangkaian yang kompleks dapat berkisar dari kurang dari satu detik hingga puluhan detik, tergantung perangkat keras dan jumlah constraint.
Kontrak pintar rahasia (confidential) yang memiliki logika kepatuhan (compliance) di dalamnya, hampir menurut definisi, adalah rangkaian yang lebih kompleks daripada sekadar transfer biasa. Ini berdampak nyata: siapa yang menanggung biaya pembuktian (perangkat pengguna, prover yang didelegasikan, node), dan apakah ini menciptakan tekanan sentralisasi jika hanya prover yang sumber dayanya kuat yang bisa menghasilkan bukti cukup cepat agar benar-benar berguna?
Dusk telah melakukan iterasi pada hal ini (PLONK, lalu PlonKup dengan tabel lookup untuk mempercepat bukti yang kompleks), yang menunjukkan mereka menyadari bottleneck tersebut. Apakah ini sudah benar-benar terselesaikan untuk volume transaksi tingkat institusional adalah pertanyaan terbuka dan berbasis data (empiris), bukan sesuatu yang akan saya yakini begitu saja.
$DUSK #dusk
Bagian dari desain @Dusk yang paling tidak sepenuhnya yakin tentang saya adalah biaya pembuatan bukti dalam skala.
Membuat bukti zk-SNARK tidak gratis—biaya komputasi meningkat seiring kompleksitas rangkaian (circuit), dan di berbagai sistem zk secara umum, waktu pembuktian untuk rangkaian yang kompleks dapat berkisar dari kurang dari satu detik hingga puluhan detik, tergantung perangkat keras dan jumlah constraint.
Kontrak pintar rahasia (confidential) yang memiliki logika kepatuhan (compliance) di dalamnya, hampir menurut definisi, adalah rangkaian yang lebih kompleks daripada sekadar transfer biasa. Ini berdampak nyata: siapa yang menanggung biaya pembuktian (perangkat pengguna, prover yang didelegasikan, node), dan apakah ini menciptakan tekanan sentralisasi jika hanya prover yang sumber dayanya kuat yang bisa menghasilkan bukti cukup cepat agar benar-benar berguna?
Dusk telah melakukan iterasi pada hal ini (PLONK, lalu PlonKup dengan tabel lookup untuk mempercepat bukti yang kompleks), yang menunjukkan mereka menyadari bottleneck tersebut. Apakah ini sudah benar-benar terselesaikan untuk volume transaksi tingkat institusional adalah pertanyaan terbuka dan berbasis data (empiris), bukan sesuatu yang akan saya yakini begitu saja.
$DUSK #dusk
