メインコンテンツまでスキップ

信頼とプライバシー

自分で検証できること​

以下のどれも、運営者を信頼する必要はありません：

  • すべての状態変更には署名があります。 回路はその操作が要求する鍵による Ed25519 署名を確認するので、 保有者の鍵なしに名前が移ることはありません。
  • すべてのバッチに ZK 証明があります。 アンカーコントラクトはそれなしにルートを受け入れません。証明は programVkey に対して検証されます — これはコンパイル済みのまさにその回路へのコミットメントであり、 あなた自身で再ビルドして確かめられます。
  • すべての解決結果にはマークル証明が添えられます。 レコードをルートと、ルートをコントラクトと突き合わせ られます。証明の検証を参照してください。
  • すべてのルートは決定的です。 同じコマンドを再生したインデクサーは必ず同じルートを出すので、食い違いは ただちに表面化します。
  • ルートは連鎖をなし、それぞれが自分のカバーする PIVX のブロック高にアンカーされています。

信頼せざるを得ないこと​

短く正直な一覧です — このページの残りはすべて自分で確認できます：

  1. PIVX と BNB Smart Chain が設計どおり動くこと — トランザクションは最終的であり、チェーンはそれぞれの 確認しきい値を超えて再編成されません。
  2. 標準的な暗号が堅牢であること — SHA-256、Ed25519、そして SP1 証明システム。
  3. 出金があなたの指定したアドレスに届くこと。 金額・手数料・義務はすべて公に監査できますが、宛先だけは 外部の観察者ではなくあなた自身が確認する唯一の項目です。残高と出金で 説明します。

複製がレジストラに責任を負わせるしくみ​

レジストラは自身のプロトコルアドレスとその閲覧鍵を公開しています。これは意図的で、中心的な役割を 担っています。両方があれば、誰でも

  1. PIVX をスキャンし、ジェネシス以降のすべてのコマンドと支払いを正準な順序で復号し、
  2. オープンソースのインデクサーで再生し、
  3. 状態ルートを独立に計算し、
  4. BNB Smart Chain にアンカーされたルートと突き合わせられます。

支払い済みのコマンドを検閲したり、移転をでっち上げたり、残高を誤って計上したり、操作の順序を入れ替えたりした レジストラは、すべての独立したインデクサーが否定するルートを得ます。この確認に許可も特別なアクセス権も 要りません。

ここから得られる性質は、不正が防がれるのではなく可視化されるというものです。誤ったバッチがチェーンに 載ることはあり得ますが、その後に反証されます。回復は自動ではなく社会的なものです。

残高と出金​

お金は買い手から売り手へ直接流れません。売上はサービス手数料を差し引いたうえで売り手の内部残高に計上 され、競合した名前で敗れた入札は残高へ返金され、ユーザーは好きなときに出金します。返金を可能にしているのは、 まさに資金を残高に置くという仕組みです。シールドされたトランザクションには送信者アドレスがないため、誤った 支払いを自動で返す先がそもそも存在しないからです。

支払いはオンチェーンにあり、帰属情報を伴います​

レジストラは受信専用ではなく完全な閲覧鍵を公開しているので、送金も受金と同じくらいよく見えます。各支払い には決済対象のアカウントを示すメモが付いています：

Payout #{id}: {gross} PIVX for pubkey '{pubkey}' (including the {fee}% service fee)

これにより、台帳全体を誰でも再構築できます。公開された閲覧鍵でプロトコルアドレスをスキャンすれば、公開鍵 ごとに次が見えます：

  • その鍵が得たすべての入金 — 公開されたコマンド列から導かれる売上と返金
  • その鍵が受け取ったすべての支払い。メモによって帰属づけられ、金額はノートの額面から取られます
  • それぞれに適用されたサービス手数料

そこから、誰でも独立に計算できる現在残高が得られます：

balance(pubkey) = Σ(sale proceeds net of fee) + Σ(refunds) − Σ(payouts sent)    stays ≥ 0

対応する義務のない支払い、誤った手数料、マイナスに落ちた残高は、どれも観察者の誰にでも見えてしまいます。 レジストラは黙って自分に支払うことも、義務を飛ばすことも、公表されたものと違う手数料を適用することも できません。

備考

金額はメモではなくノートから読んでください

メモに書かれるのは手数料を差し引く前の総額の債務であり、ノートが運ぶのは実際に支払われた 正味の金額です。ノートの額面は暗号学的なものですが、メモの文面はレジストラが書きます。 監査の際は、金額を必ずノートの額面から取り、メモはあくまで帰属情報として扱ってください。

監査人ではなく受取人が確認する部分​

この構図から外れる細部が 1 つあり、ぼかすよりはっきり述べたほうがよいでしょう。出金はウェブサイト上で あなたの Ed25519 鍵によって承認され、その要求はチェーンではなく HTTPS を通ります。そのため外部の観察者は、 あなたのアカウントについて正しい規模の支払いが行われたこと自体は見えますが、あなたがどの宛先アドレスを 指定したかについての公開記録は持ちません。

実務上、それを確認するのに最も適した立場にいるのはあなた自身であり、しかも即座にできます。何を申請したか、 資金が届いたかを知っているからです。しかもこの確認は見解の問題ではありません。あなたは署名した要求を保持 しているので、食い違いは口論ではなく暗号学的に示せます。

確認する主体
ドメインの状態あらゆる観察者が自動的に — 独立したインデクサーは促されなくてもルートの食い違いに気づきます
支払額・手数料・義務あらゆる観察者が、公開された閲覧鍵とメモの帰属情報から
支払いの宛先受取人が、自分の署名した要求と照らして

出金をメモの経路に載せれば最後の行は 1 つ目の区分へ移り、しかもプライバシー上の代償はほぼありません。 閲覧鍵と公開鍵を明記したメモが、すでにその結びつきを露わにしているからです。この案は検討されましたが、 出金をウェブサイト上の簡単な操作のままにしておくために見送られました。欠陥ではなく、将来の妥当な変更案として 残っています。

ヒント

署名した出金要求は保管しておいてください

資金が届いたと確認できるまで、署名した要求を保管してください。争いになった支払いを、あなたが証明できる ものへ変えてくれるのがそれです。

悪意あるインデクサーにできないこと​

レコードを偽造できません。 解決結果にはマークル証明が添えられ、アンカーコントラクトが一度も受け入れて いないルートは証明の検証の確認ではじかれます。

登録を隠せません。 不在は主張されるのではなく証明されます。Blocked ターミナルはブロックしているレコード を丸ごと携えてくるので、主張を受け入れる代わりに検証できます。さらに、公開された閲覧鍵があれば履歴全体を チェーンから導き直せます。

姿を消せません。 すべてのコマンドは PIVX 上に存在し、コードはオープンソースです。誰でもジェネシス ブロックから台帳全体を組み直せます。

Tor によるプライベートな解決​

クリアネット経由で解決すると、どの名前をいつ調べたかがサーバーに伝わります。そのためインデクサー API は Tor の秘匿サービスとしても公開されています：

http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion

Tor ブラウザで：

http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion/v1.0/resolve/richard.pivx

コマンドラインから、Tor をローカルで動かした状態で：

curl --socks5-hostname 127.0.0.1:9050 \
  http://indexer.pivxns3wsp3g6rtekzjwhqtcic2yhgngqg3ovod67hp3obt2ckmtcjyd.onion/v1.0/info

同じデータを返す同じ API で、マークル証明も含まれているので失うものはありません。サーバーがあなたの IP を 知ることはなく、通信事業者には Tor を使ったという事実しか見えません。

ヒント

信頼を取り除くのは検証であって、経路ではありません

Tor はインデクサーに対するあなたのプライバシーを守ります。しかしインデクサーを正直にするわけではありません — それはマークル証明とオンチェーンのルート確認の役目であり、どのように接続するかに関わらず実行すべきです。