Dalam sistem Dusk, apakah transaksi dapat terjadi tidak bergantung pada 'pemeriksaan setelahnya', tetapi tergantung pada apakah transaksi dapat menghasilkan bukti yang valid saat dimulai. Ini adalah poin paling inti yang membedakan Dusk dari sebagian besar blockchain publik.
Di banyak blockchain, pemeriksaan aturan terjadi setelah eksekusi: transaksi ditulis ke dalam status terlebih dahulu, kemudian diperiksa melalui pemerintahan, arbitrase, atau proses manual untuk memperbaiki kesalahan. Namun, Dusk membalik urutan tersebut. Sebelum transaksi memasuki tahap eksekusi, ia harus terlebih dahulu membuktikan bahwa ia memenuhi aturan yang ditetapkan, yang mungkin berasal dari aset itu sendiri, akun, atau modul regulasi. Jika bukti tidak dapat dibuat, transaksi tidak dapat memasuki pemindahan status.
Ini berarti bahwa jalur transaksi Dusk bukanlah sekadar 'memulai—eksekusi—penyelesaian', tetapi ada satu lapisan batasan yang ketat: aturan dinyatakan sebagai kondisi yang dapat dibuktikan. Misalnya, apakah suatu aset masih dalam periode penguncian, apakah suatu akun memenuhi syarat kepemilikan, apakah suatu transfer memicu pembatasan, semua ini tidak akan dinilai setelah eksekusi, tetapi langsung sebagai bagian dari batasan bukti.
Hal ini sangat penting untuk aset yang diatur. Karena yang menjadi perhatian regulator bukanlah 'apakah kamu bisa menjelaskan setelahnya', tetapi 'apakah sistem mengizinkan status yang melanggar aturan untuk ditulis'. Pendekatan Dusk adalah memutuskan status yang melanggar aturan dari tingkat sistem, bukan bergantung pada pemerintahan setelahnya. Inilah sebabnya mengapa desain aturan Dusk harus dapat dikombinasikan dan ditingkatkan: begitu aturan berubah, batasan bukti baru harus dapat diperkenalkan, tanpa merusak keterverifiablean status sejarah.
Bagi pengembang, dampak langsung dari desain ini adalah: logika kontrak tidak lagi hanya menangani bisnis, tetapi perlu secara jelas mengungkapkan aturan mana yang harus dinyatakan sebagai kondisi bukti. Jika aturan tidak ditulis dengan jelas, bukti tidak dapat dihasilkan; jika bukti tidak dapat dihasilkan, transaksi tidak dapat dieksekusi. Ini akan meningkatkan ambang batas pengembangan, tetapi juga mengubah 'kepatuhan' dari sekadar slogan menjadi batasan yang ketat.
Jadi, sekarang saya melihat kemajuan @dusk_foundation, saya hanya fokus pada satu hal: apakah aturan benar-benar terikat pada bukti, dan selalu berada sebelum eksekusi transaksi. Selama jalur ini tidak diabaikan, Dusk benar-benar memiliki kemampuan sistem untuk menangani aset yang kompleks dan diatur.
