Kunci Dusk bukanlah "menyembunyikan transaksi", melainkan menjadikan pembuktian sebagai proses wajib dalam transaksi. Untuk aset yang diatur, ada dua hal yang paling ditakuti di chain: pertama, detail transaksi yang sepenuhnya terbuka menyebabkan strategi dan hubungan dengan lawan dapat disimpulkan; kedua,牺牲可验证性 demi kerahasiaan, yang akhirnya hanya dapat mengandalkan kepercayaan offline. Dusk berusaha menyelesaikan kedua hal ini dengan bukti nol-pengetahuan: parameter transaksi dapat tidak diumumkan, tetapi sistem harus memverifikasi bahwa transaksi memenuhi aturan, status aset benar, dan dapat menyediakan jalur bukti kepatuhan saat diperlukan.
Dari sudut pandang perilaku di chain, ini berarti eksekusi transaksi tidak lagi hanya "memulai—mengeksekusi—menyelesaikan", melainkan "memulai—menghasilkan bukti—verifikasi di chain—menyelesaikan". Langkah menghasilkan bukti ini akan secara signifikan meningkatkan kompleksitas, karena memerlukan sirkuit bukti, kondisi pembatas, dan penanganan kesalahan yang sangat jelas, jika tidak, pengembang sama sekali tidak dapat menyelidiki alasan kegagalan. Sama halnya bagi pengguna, jika transaksi gagal hanya menampilkan kode kesalahan yang kabur, skenario keuangan tidak dapat menerima, karena perlu dijelaskan mengapa ditolak, aturan mana yang diterapkan, dan bagaimana cara memperbaikinya selanjutnya.
Poin lain yang lebih praktis adalah kemampuan ekspresi aturan. Aturan untuk aset yang diatur bukanlah satu yang tetap: mungkin ada batasan posisi, periode penguncian, batasan daerah, batasan tingkat identitas, dan penangguhan transaksi yang dipicu oleh peristiwa tertentu. Jika Dusk ingin mengakomodasi aset semacam ini secara skala, maka harus merancang aturan-aturan ini menjadi kumpulan batasan yang dapat dikombinasikan dan ditingkatkan, serta memastikan peningkatan tidak merusak verifikasi status historis. Jika tidak, setiap penerbit harus mendefinisikan satu set aturan sendiri, yang akan menyebabkan biaya audit meningkat secara eksplosif, dan perilaku di chain akan terfragmentasi.
Jadi, saat ini saya melihat kemajuan @dusk_foundation, yang paling saya khawatirkan bukanlah "seberapa baik penjelasannya", tetapi tiga hal: apakah pembuatan dan verifikasi bukti stabil; apakah pengembangan kontrak memiliki paradigma yang jelas dan dukungan alat; dan apakah saat menolak transaksi di chain dapat memberikan catatan yang dapat diaudit dan dijelaskan. Selama ketiga hal ini terus membaik, Dusk akan benar-benar memiliki kemampuan teknik untuk mengakomodasi transaksi yang patuh.
