#dusk $DUSK @Dusk
Saya melihat desain tumpang-tindih keputusan milik Dusk karena saya ingin memahami mengapa spesifikasi baru mencakup area yang sebenarnya sudah ditangani oleh spesifikasi yang ada.

Awalnya itu tampak seperti kasus sederhana dari fungsi yang diduplikasi. Setelah membaca bagian-bagiannya dengan lebih saksama, menurut saya isu yang lebih menarik adalah koordinasi.

Jika dua spesifikasi dapat memengaruhi ruang keputusan yang sama, pertanyaan pentingnya bukan lagi apakah masing-masing bekerja secara terpisah. Pertanyaannya adalah apakah pengembang, validator, dan pengguna dapat memahami secara konsisten aturan mana yang memiliki otoritas ketika keluaran mereka saling tumpang tindih.

Hal ini lebih penting daripada yang terdengar.

Sebuah protokol bisa menoleransi mekanisme yang berulang jika duplikasi tersebut mengurangi risiko operasional. Tetapi jika dua mekanisme menghasilkan keputusan yang mirip dengan asumsi yang berbeda, duplikasi dapat berubah menjadi sumber ambiguitas. Biaya tersebut tidak selalu terlihat onchain sebagai kegagalan yang jelas. Biayanya bisa muncul sebagai pengembangan yang lebih lambat, perilaku validator yang lebih konservatif, pengujian tambahan, atau tim yang menghindari integrasi tertentu karena permukaan interaksi tidak jelas.

Yang menarik perhatian saya pada Dusk adalah bahwa spesifikasi itu sendiri menjadi bagian dari model keamanan.

Dulu saya menganggap spesifikasi terutama sebagai dokumentasi untuk implementasi. Dalam protokol dengan logika keputusan yang saling tumpang tindih, spesifikasi juga menetapkan batas koordinasi. Pengembang perlu tahu apa yang bisa mereka andalkan. Validator memerlukan aturan yang dapat diprediksi. Perubahan di masa depan harus menghindari secara diam-diam menciptakan interpretasi kedua dari sesuatu yang sudah ada.

Jadi sinyal yang menarik bukanlah bahwa satu spesifikasi tumpang tindih dengan yang lain.

Melainkan apakah Dusk dapat mengubah tumpang-tindih itu menjadi hubungan yang didefinisikan dengan jelas, alih-alih membiarkan jalur keputusan yang diduplikasi menumpuk utang operasional.

Itu jenis masalah yang jarang muncul di token dashboard, tetapi bisa menjadi penting selama bertahun-tahun.