Citadelの設計で私を立ち止まらせた詳細：利用者がコンプライアンスをプライベートに証明できるようにするライセンスは、決して利用者のものとして完結しない。
そのライセンスはライセンス提供者によって署名され、利用者のステルスアドレスに暗号学的に結び付けられている（ため譲渡できない）。さらに、提供者が更新して失効（リボーク）できるよう、メルクルツリーに記録される。利用者は、そのツリーへの所有と継続的なメンバーシップについてゼロ知識証明を生成する。とはいえ、証明が受理されるか、ライセンスが有効であり続けるかを最終的に決めるのはサービス提供者だ。
Dusk自身の2023年12月の納品物（deliverables）により、Citadel SDKが出荷され、メインネット前にウェブウォレットへ統合されたことが確認されている。コンポーネントは存在する。今日、メインネット上でどのサービス提供者が実際にライセンスを発行・失効しているのかは、依然として未検証だ。
$DUSK K #dusk @Dusk Foundationは、金融プライバシーを権利として訴求している。その権利を、いつでもアクセスを遮断できる相手を経由させる設計になっている。
失効は欠陥ではない。発行後にライセンスが使い回されたり悪用されたりしないようにするための仕組みだ。つまり「権利」は、立ちどまった許可のように働くことを意味する：デフォルトではプライベートで、発行者が協力を継続することに条件付けられている。
私にとって変わったのは、選択的開示と失効可能性を、2つの別機能ではなく単一のメカニズムとして捉えたことだ。ゼロ知識は「何を証明しているか」を隠す。あなたが引き続き証明してよいかを誰が決めるのかは別問題で、その判断は現在、サービス提供者に委ねられている。
未解決のまま：どの提供者が明確な失効基準を公表しているのか、そして、Citadelライセンスが実際にローンチ以降メインネットで失効したのか。」