#dusk $DUSK @Dusk
ゼッジャーのSMST：有価証券のための「もしかしたら」プライバシーには、まず会計システムが必要

私は、少し違った観点からゼッジャーを見てきました。ほとんどのプライバシーモデルは、口座や取引をどう隠すかを問いかけます。しかし証券には別の問題があります。所有権は単なる数字ではありません。時間によって変わり、譲渡権、議決権、配当、承認ステータスなどによって状態が変化します。

そこで目を引いたのが、Sparse Merkle-Segment Trie（SMST）です。SMSTはスパース・マークル・ツリーにセグメント・ツリーを組み合わせることで、ゼッジャーが口座の状態にコミットしつつ、構造の中に異なる残高カテゴリを保持できるようにします。この設計により、口座の履歴全体を公開の場にさらすことなく、最大残高、譲渡可能残高、議決権対象残高、配当対象残高を追跡できます。

私はほかのプライバシー口座モデルとして、例えばBlockMazeのように、zk-SNARKで残高や送信者・受信者の関係を強く隠すことに焦点を当てるものも見てきました。これはプライベートな支払いには有用ですが、企業の証券は別のデータ問題を生みます。あなたがしばしば必要とするのは、単に「価値が移動した」ことを証明するのではなく、「その譲渡が許可されている」ことを証明することです。

ここで、ゼッジャーは私にとってより意図的に感じられます。ホワイトリスト用ツリーと口座メモリ構造はステートマシンに結び付いているため、コンプライアンスは、事後に取引を確認する外部のダッシュボードではありません。

とはいえ、複雑さにはまだ慎重です。状態フィールドが増えるたび、証明ルールが増えるたびに、エンジニアリングと検証のオーバーヘッドが積み上がります。

しかし興味深い問いは、SMSTが残高を隠すかどうかではありません。暗号学的な口座モデルが、台帳を公開の株主データベースに変えてしまうことなく、有価証券の所有にまつわる面倒な現実を維持できるのか、という点です。