Midnightのハイブリッド台帳に必要なのは非公開取引だけでなく開示プロトコル

しかし、その捉え方はMidnightが解決しようとしている問題には単純すぎる。

Midnightは3月、取引において非公開データと公開データを組み合わせるよう設計されたハイブリッド台帳として一般公開された。ゼロ知識証明とシールド資産を用いつつ、コンプライアンスを意識した開示の余地も残している。The Blockは報じたように、このCardano関連ネットワークは独自の台帳、コンセンサス、smart contract環境、デュアルトークンモデルを維持しながら、現実資産と機関利用に向けた要素としてプライバシーを位置付けている。

難しい技術的課題は、非公開取引が成功した後に始まる。その所有者は、証明を永続的な公開記録や常設の監視許可に変えることなく、ある事実を一者にどう証明できるのか。

それが選択的開示である。これは非公開台帳に付随する機能ではなく、誰が何を、どの期間、何の目的で知り、証拠をどの程度再利用できるかを決める完全なプロトコルとして扱うべきだ。

Proverconstructs a claim from private data

zero-knowledge proof

Accept or rejectverifier checks the proof

Private witness and shielded stateincluding the full transaction history; remains local

Trust boundary: only the proof crosses; neither the witness nor the full transaction history does

証明は記録ではない

Midnightの基本的な提案が魅力的なのは、多くの機関取引を完全に公開することはできないためだ。加盟店は支払いが有効であることを知る必要があるかもしれず、監査人は来歴の証拠を必要とするかもしれず、規制当局は取引が適格性または報告要件を満たしたことの確認を必要とするかもしれない。いずれも送信者の金融履歴全体を必要とするとは限らない。

従って、ユーザーは限定的な主張を行えるべきである。

• この支払いは必要額を上回っている。
• このウォレットは、指定時点で必要なスクリーニングルールを通過した。
• この資産は承認された発行プログラムに由来する。
• このアカウントには十分な担保がある。
• この取引は制限対象の資産クラスと関連していない。

決定的な言葉は、限定的という点だ。ゼロ知識証明は、残高、本人確認認証情報、取引グラフ、非公開の契約状態といった基礎となるwitness（証人情報）を提供せずに、ある命題が真であることを確立できる。

この区別は重要である。なぜなら、証明自体は非公開でも、その周辺システムは高度に観測可能であり得るからだ。公開されたcommitment（コミットメント）は、何らかの状態が存在することを示し得る。繰り返し使われる識別子は、複数の主張が同じ保有者によるものであることを示し得る。オンチェーンの開示イベントはタイムスタンプ付きの軌跡を作り得る。恒久的な閲覧キーを持つ監査人は、単一の証明を受け取る監査人よりはるかに多くを取得し得る。

こうした結果のどれが生じるかを決めるのは、暗号技術の存在だけではなく、開示設計である。

4種類の閲覧者、4種類の異なる事実

ハイブリッド台帳は、各利用者層に同じデータを与えることなく、異なる利用者層に対応できる。ただし、プロトコルがその違いを明示する場合に限られる。

加盟店にとって適切な証明は、支払いが決済されたこと、請求書をカバーしていること、未使用であることかもしれない。加盟店が顧客のウォレットを恒久的に閲覧できる必要は、必ずしもない。

監査人にとっては、証明により強い証拠能力が必要になる可能性がある。報告期間、発行者参照、認証ポリシー、証明生成のタイムスタンプ、適切なルールの下で証明が生成されたことを検証する手段が必要かもしれない。それでも、以後のすべての取引を閲覧できるキーを渡すこととは異なる。

規制当局にとって、主張はさらに具体的になり得る。保有者が移転時点で適格だったこと、資産が許可された流通範囲内にとどまったこと、取引が承認済みリストに照らしてスクリーニングされたことなどだ。これらはコンプライアンス上の結果であり、誰もが読めるようにすべきだという根拠ではない。

無関係の観察者に対しては、一般に提供すべき情報ははるかに少ない。観察者は取引commitment、手数料の支払い、状態遷移を見られるかもしれないが、それを残高、本人情報、相手方に確実に結び付けられるべきではない。

この4つの立場の違いこそ、選択的開示の実務的な意味である。加盟店、監査人、規制当局がすべて同じ再利用可能なアクセス認証情報を受け取るなら、システムは彼らを一つの特権的な監視層に均質化している。

取引前に開示フローを設計する

信頼できる開示プロトコルには、「非公開」と記されたチェックボックス以上のものが必要だ。発行、範囲、有効期限、検証に関するルールが必要になる。

まず、非公開状態は、機微情報自体を公表せずに台帳へアンカーできるcommitmentを生成しなければならない。次に、ユーザーはそのcommitmentに関する証明を裏付けるwitnessを保持する必要がある。最後に、検証者が受け取るのは証明と、意図的に開示された公開入力だけでなければならない。

公開入力には規律が必要だ。同じ識別子、宛先、ポリシータグが複数の証明で現れれば、検証者はシールド状態を見なくても記録を結び付けられる可能性がある。

証明は相手方固有であるべきでもある。加盟店A向けの証明が、加盟店Bにも自動的に利用できるべきではない。証明を検証者のID、取引コンテキスト、請求書参照、チャレンジnonceに紐付けることで、リプレイのリスクを減らせる。

時間も重要である。午前9時に生成された残高証明は、午後5時にもウォレットに資金が残っていることの一般的な証明ではない。適格性証明には明示的な有効期間が必要になるかもしれない。来歴証明は原則として恒久的であり得るが、それでも作成時に適用された発行ルールとそのバージョンを識別する必要がある。

このため、閲覧キーと一回限りの証明を同等のものとして扱うべきではない。閲覧キーはアクセス関係である。証明は特定の主張の証拠である。前者は活動の流れをさらし得るが、後者が確立すべきなのは一つの命題だけだ。

失効でプライバシーシステムは運用上の現実に直面する

失効はしばしば曖昧に説明されるが、失効できる対象には複数の種類がある。

プロトコルは認証情報を失効させ、適格性ステータスを無効化し、閲覧キーをローテーションし、発行者の認証をブラックリストに載せ、コンプライアンスポリシーを更新し、期限切れ後に以前の証明を受理不能とできる。しかし、すでに開示されたデータを検証者に忘れさせることはできない。

これが実務上の限界を定める。最善の失効メカニズムは、そもそも引き渡す情報を最小化することにある場合が多い。

PROOF ISSUEDcredential holder receives proof

issued proof

DISCLOSED PROOFverifier-bound; challenge nonce; policy version; validity period

proof presentation

PROOF VERIFIEDvalidation result recorded

proof receipt and validation result recordedvalidity period

ARCHIVED AUDIT FILEproof receipt, policy version and validation result

EXPIRYproof is no longer acceptable

acceptance check after expiry

REVOCATION CHECKproof may be invalidated or rejected

revocation status query

REVOCATION STATUSwhether the proof remains acceptable

Revocation can stop future acceptance, but cannot erase disclosed evidence

従って、監査証拠には独自の境界が必要となる。検証者は証明の受領記録、ポリシーのバージョン、検証結果を保存する必要があるかもしれない。しかし、恒久的な取引識別子、生の顧客認証情報、再利用可能な閲覧情報を含む監査アーカイブは、非公開システムが避けるはずだった公開データベースを静かに再構築しかねない。

試金石は単純だ。後の分析者が監査記録を組み合わせ、参加者の活動履歴を再構築できるか。答えがイエスなら、そのコンプライアンス・ワークフローは台帳よりも多くを明らかにしている可能性がある。

メタデータは依然として難題

範囲を適切に限定した証明であっても、メタデータを消し去ることはない。タイミングは既知の発表前後の事業活動を明かし得る。手数料は取引クラスを示し得る。取引サイズやコントラクト呼び出しのパターンは、あるアプリケーションのワークフローを別のものと区別し得る。再利用されたアドレス、公開された入出金、アプリケーション層のアカウント状態は、他の点ではシールドされた行為を結び付け得る。

これは特に機関にとって重要だ。The Blockの5月7日付の機関向けプライバシー分析は、取引と決済データの競争上の機微性を挙げ、公開取引の可視性が機関導入の障壁になっていると論じた。また、Midnightのハイブリッド台帳、Solanaの機密残高、Avalancheの許可型ネットワークを含む、チェーンごとの異なるアプローチも取り上げた。

これらのアプローチが比較可能なのは、決済とコンプライアンスを可能にしながら事業上機微なデータを制御するという問題の水準においてのみである。これらは相互に代替可能なアーキテクチャではない。許可型ネットワークは誰が参加できるかを制御する。機密残高システムは台帳が何を明らかにするかを制御する。ハイブリッド台帳は公開状態と非公開状態の共存を目指し、その後にアプリケーションがどの事実を境界の外へ出すかを決められるようにする。

Midnight Foundation会長Fahmi Syedに対するCoinDeskのインタビューは、このプロジェクトを「合理的プライバシー」を軸に位置付けた。これは機関要件と個人によるコントロールの均衡を目指す概念だ。この表現が有用なのは、コントロールが具体的である場合に限られる。すなわち、狭く定義された主張、検証者への紐付け、限定的な保持、失効確認、メタデータ相関に対する防御である。

Midnightのローンチにより、非公開取引は可能になった。より困難な試練は、開発者と機関が、事実を証明することと人生へのアクセスを認めることの違いを守る開示システムを構築できるかどうかである。