#dusk $DUSK @Dusk
Sistem Bukti Nol-Pengetahuan: Hal yang menarik bagi saya tentang Dusk bukanlah karena Dusk menggunakan bukti ZK. Melainkan karena sistem bukti yang berbeda dapat mengatasi bottleneck yang berbeda di dalam blockchain keuangan.
Range proof bergaya Bulletproof masuk akal untuk nilai yang bersifat rahasia. Mereka dapat membuktikan bahwa suatu jumlah tersembunyi berada dalam rentang yang diizinkan tanpa mengungkap jumlah tersebut, dan mereka melakukannya tanpa trusted setup. Komprominya adalah biaya pembuatan bukti dan verifikasi meningkat seiring dengan pernyataan yang dibuktikan.
Arah baru Dusk menggeser sebagian besar beban eksekusi ke arah proving bergaya PLONK. Ini adalah perbedaan yang lebih penting daripada deskripsi umum “Dusk itu privat”. Setelah transaksi rahasia menjadi kontrak yang dapat diprogram, masalahnya tidak lagi sekadar menyembunyikan angka; melainkan menjadi pembuktian bahwa seluruh rangkaian transisi keadaan mengikuti aturan.
Di sinilah desain sirkuit mulai lebih penting daripada ukuran bukti mentah. Bukti yang sangat kecil tetapi mahal untuk dihasilkan, sulit diaudit, atau canggung untuk diekspresikan bisa jadi kurang berguna dibanding bukti yang sedikit lebih besar yang didukung sistem eksekusi yang fleksibel.
Pengembangan Dusk terbaru terkait versi PLONK yang lebih baru juga membuat sisi rekayasa keamanan tidak mungkin diabaikan. Sistem ZK tidak menjadi aman hanya karena matematikanya solid. Logika verifier, binding komitmen, batasan sirkuit, dan detail implementasi dapat menjadi permukaan serangan yang sesungguhnya.
Jadi saya akan melakukan benchmark Dusk secara berbeda: waktu prover, waktu verifier, ukuran bukti, kompleksitas sirkuit, dan ketahanan terhadap audit — semuanya sekaligus.
Pertanyaan yang menarik bukanlah apakah Dusk memiliki ZK.
Melainkan apakah arsitektur buktinya dapat tetap efisien, dapat diprogram, dan terpercaya saat logika keuangan rahasia menjadi semakin rumit.
Sistem Bukti Nol-Pengetahuan: Hal yang menarik bagi saya tentang Dusk bukanlah karena Dusk menggunakan bukti ZK. Melainkan karena sistem bukti yang berbeda dapat mengatasi bottleneck yang berbeda di dalam blockchain keuangan.
Range proof bergaya Bulletproof masuk akal untuk nilai yang bersifat rahasia. Mereka dapat membuktikan bahwa suatu jumlah tersembunyi berada dalam rentang yang diizinkan tanpa mengungkap jumlah tersebut, dan mereka melakukannya tanpa trusted setup. Komprominya adalah biaya pembuatan bukti dan verifikasi meningkat seiring dengan pernyataan yang dibuktikan.
Arah baru Dusk menggeser sebagian besar beban eksekusi ke arah proving bergaya PLONK. Ini adalah perbedaan yang lebih penting daripada deskripsi umum “Dusk itu privat”. Setelah transaksi rahasia menjadi kontrak yang dapat diprogram, masalahnya tidak lagi sekadar menyembunyikan angka; melainkan menjadi pembuktian bahwa seluruh rangkaian transisi keadaan mengikuti aturan.
Di sinilah desain sirkuit mulai lebih penting daripada ukuran bukti mentah. Bukti yang sangat kecil tetapi mahal untuk dihasilkan, sulit diaudit, atau canggung untuk diekspresikan bisa jadi kurang berguna dibanding bukti yang sedikit lebih besar yang didukung sistem eksekusi yang fleksibel.
Pengembangan Dusk terbaru terkait versi PLONK yang lebih baru juga membuat sisi rekayasa keamanan tidak mungkin diabaikan. Sistem ZK tidak menjadi aman hanya karena matematikanya solid. Logika verifier, binding komitmen, batasan sirkuit, dan detail implementasi dapat menjadi permukaan serangan yang sesungguhnya.
Jadi saya akan melakukan benchmark Dusk secara berbeda: waktu prover, waktu verifier, ukuran bukti, kompleksitas sirkuit, dan ketahanan terhadap audit — semuanya sekaligus.
Pertanyaan yang menarik bukanlah apakah Dusk memiliki ZK.
Melainkan apakah arsitektur buktinya dapat tetap efisien, dapat diprogram, dan terpercaya saat logika keuangan rahasia menjadi semakin rumit.