#dusk @Dusk
Bangun hari ini dan jujur, pasar terasa seperti setengah tidur, setengah terjaga. Mood aneh di antara itu: tidak ada yang bergerak, tapi tidak juga terasa mati. Jadi, daripada doom scrolling chart, aku malah kembali ke dokumentasi Citadel 2—jangan tanya kenapa, cuma pengin baca sesuatu yang teknis.

Aku mencoba mencari titik persis di mana Citadel benar-benar memutuskan apakah seorang pengguna dapat akses. Terus menggulir, terus berharap ketemu. Nggak pernah. Ternyata itu bukan pekerjaan Citadel.

Pengguna membuktikan mereka memiliki lisensi yang valid tanpa mengungkap identitas siapa mereka. Kontrak lisensi di Dusk memverifikasinya, sebuah nullifier ditambahkan, cookie sesi dikeluarkan. Kedengarannya seperti akses diberikan, ya. Tapi langkah terakhir dalam alur itulah yang tidak pernah disebut orang. Penyedia Layanan mengambil sesi itu, memeriksa cookie secara lokal, lalu membuat keputusan sendiri apakah benar-benar akan memberikan layanan. Citadel hanya memastikan kredensial itu nyata dan belum dipakai ulang. Citadel tidak mengatakan apa pun apakah kredensial tersebut cukup bagus untuk apa yang SP inginkan.

Perbedaannya kecil, tapi mengubah apa sebenarnya yang sedang diselesaikan. Sesi yang valid memberi tahu bahwa bukti dihasilkan dengan benar oleh seseorang yang memegang lisensi asli—tidak ada double spending. Itu tidak memberi tahu apakah kumpulan atribut tersebut cocok dengan yang SP tertentu butuhkan hari ini. Yang satu masalah matematika—Dusk menyelesaikannya sekali dan selesai. Yang lainnya keputusan bisnis—setiap SP membuatnya sendiri, dan bisa berubah besok tanpa perlu menyentuh sistem pembuktian sama sekali.

Yang aku perhatikan bukan seberapa cepat bukti dibuat di Dusk. Yang aku khawatirkan: apakah para SP benar-benar membangun logika kebijakan nyata di atas Citadel, atau apakah verifikasi diam-diam berubah menjadi sekadar gerbang pass/fail lain dengan langkah tambahan.

Kalau sebuah sistem bisa membuktikan sesuatu itu benar, tapi tidak bisa memutuskan apa arti kebenaran itu, rasanya bottleneck yang sebenarnya bukan pada pembuktiannya. Itu selalu pihak yang mengajukan pertanyaannya.

$DUSK

$TUT

$PORTAL


Ke mana seharusnya model akses Citadel 2 berkembang selanjutnya?