#dusk $DUSK @Dusk
Saya menghabiskan waktu lebih lama dari yang saya perkirakan untuk merapikan satu detail di sekitar Dusk XSCs karena saya menganggap verifikasi seperti sudah menyelesaikan seluruh keputusan.
Dalam pikiran saya, bagian tersulit sudah selesai. Dompet saya telah memenuhi syarat pemegang melalui bukti tanpa pengetahuan (zero‑knowledge proof), jadi saya mengira jalur dari sana akan mudah. Semakin jauh saya mengikuti alurnya, semakin terasa asumsi itu tidak lengkap.@Dusk
Yang membuat saya tersandung adalah menyadari bahwa DuskVM tidak mengevaluasi satu izin saja. DuskVM mengevaluasi kumpulan kondisi yang memengaruhi perubahan kepemilikan.
Dompet saya bisa memenuhi syarat sebagai pemegang dan tetap gagal dalam transfer. Syarat pemegang menjawab satu pertanyaan. Batas jumlah pemegang saham menjawab pertanyaan lain. Lulus yang pertama tidak melembutkan yang kedua.
Itu mengubah cara saya memikirkan verifikasi di Dusk. Dulu saya memandang verifikasi di Dusk sebagai status yang melekat pada sebuah dompet. Sekarang verifikasi di Dusk terasa seperti status yang melekat pada tindakan tertentu, di bawah satu set batasan tertentu.
Bahkan beberapa diskusi tentang DUSK menjadi lebih masuk akal melalui cara pandang itu. Verifikasi bisa saja sudah benar sementara kepemilikan masih tetap di tempatnya.
$DUSK