最近ずっと $DUSK Network の「うさぎ穴」に入り込んでいるのですが、彼らの機密スマートコントラクトのセットアップに関して、どうしても引っかかる点があります。

通常ブロックチェーンでは、たとえプライバシー重視のものでも、ネットワークは状態遷移を公開の場で検証します。入力や出力は隠しても、遷移そのものが正しいことは誰でも確認できます。

しかし Dusk はそれを覆します。bulletproofs と Rusk VM を使って、ネットワークは暗号学的な証明によって状態の変更を盲目的に検証します。バリデータは実際に何が実行されているのかを見ることはありません。

気になるのはここです。Rusk にバグがあり、無効な状態変更に対しても正しい証明を誰かが作れてしまうなら、ネットワークは…そのまま受け入れてしまうことになります。その後で実行の履歴を監査する方法がありません。そもそも最初から見える形ではなかったからです。

つまり私たちは、「信じるな、検証せよ」から「信じるな。ただし、その証明システムと、その証明を生成する VM については全面的に信頼せよ」へ移ってしまったわけです。

それって、別物のセキュリティモデルのように感じます。間違っていると言いたいわけではありません—プライバシーには現実のコストがあります。でも私は本当に、このトレードオフを人々がどう考えているのか気になっています。プライバシーのために、証明インフラへこれほど大きな信頼を移す価値があるのでしょうか？それとも私が考えすぎなのでしょうか？
@Dusk #dusk #DUSK $DUSK