自分がはっきり検証できたのは、実際に動いているものがある、という点です。8/10時点で稼働しているのはDuskEVM testnet。SolidityとHardhatが使えるようになっていて、$DUSK はnative gas tokenになり、explorer上でコントラクトをデプロイしたり、確認したりもできます。
最初は、これは比較的小さな技術的な詳細に過ぎないと思っていました。しかし Dusk のアーキテクチャを調べていくほど、最初に考えていた以上に、それがより大きな意味を持っていることに気づきました。Transfer Contract は、公開状態の <c-1/> を @Dusk in its public state、そして保護状態の <c-1/> を #dusk in its protected state の双方に対する共通のゲートウェイとして機能します。つまり、この2つの状態は、後から接続される別々のシステムとして作られているのではありません。資産の移転や、2つの状態の切り替えのプロセスでさえ、同一のコントラクト・ロジックの中で処理されています。