Desain transaksi lebih penting daripada yang terlihat. Di Dusk, input, output, tanda tangan, dan metadata disusun secara eksplisit, sehingga eksekusi lebih mudah diperiksa dan divalidasi. Namun, struktur yang lebih besar juga berarti lebih banyak state yang harus dipelihara. Itulah komprominya: kejelasan vs. kompleksitas.