ドキュメント一覧
このページ群は、7 つのリポジトリにある設計文書、レビュー記録、計測 artifact（計測結果を収めたファイル）を要約したものである。読者として想定するのは、市場基盤を作る人か評価する人である。何が証明済みで、何が計測済みで、何がまだ主張にとどまるかを、正確に知りたい人に向けて書いている。
読み方
- 全体構成が骨格を示す。誰が判断し、誰が指図し、誰が決済し、どの秘密がどこにあるか。
- zkPI と DeFMI がプロトコルの核である。二つは併せて読む。指図は、それを消費する台帳がなければ意味を持たない。
- QOMM と OCLOB が、これまでに作った二つの市場である。市場以外の業務システムは、この二つが製品ではなく例にすぎないことを論じる。
- 束縛、監査、説明責任、配置の四つは、RFQ 市場を深く掘り下げる。MPC の計測の大半はこの市場で行った。四つとも QOMM についてのページであり、決済層はこれらに依存しない。
- 安全性、計測値、現状が根拠のページである。一つだけ読むなら現状を読む。何が受入済みで、何がそうでないかが書いてある。この研究の進め方は、根拠のページがなぜこの形をしているかを説明する。
このサイトの約束事
- 数値はすべて artifact から取っている。計測値には、計測したホストのラベル（
host-a、host-b、host-c）と、値を収めたartifacts/配下の JSON ファイルを示す。そのホストの較正値（基準となる処理の所要時間）は数値の脇に書く。数値を比べる前に、まず較正値を比べること。 - 「実装済み」と「受入済み」は別の語である。実装済みとは、コードが存在し、テストが通ることである。受入済みとは、リポジトリのリリースゲート（公開前の受入試験）で実行されたことである。どちらも本番を意味しない。
- 「主張しない」ことは、脚注ではなく一つの節にしてある。各プロトコルのページは、そのプロトコルがしないことの一覧で終わる。一覧はレビュー記録から取ったもので、仕組みの説明と同じく設計の一部である。
ページ一覧
全体構成
データの流れ、秘密の所有者、リポジトリ、暗号プリミティブ、実行対象。
zkPI
指図そのもの。何を commitment にし、何を証明するか。版 2 の wire 配置（バイト列の並び）、テストベクタ、どこで動くか。
DeFMI
保証する性質、残高のビット幅、asset tag、ネッティング方式、当座貸越限度、デフォルト・ウォーターフォール、note と ring、PvP、照合、閲覧、審査証明（vetting）、Avalanche VM。
DeKYX
資格証明、匿名の提示、scope 別の nullifier、失効、鍵の交代、「scope ごとに仮名」の意味。
DeCCP
清算簿、受付、証拠金、三つのネッティング方式、保証枠、デフォルト・ウォーターフォール、受領証。
Aethel
支払ストリームの債権化。提供者の capability、DeCCP を通じた秘匿保証、zkPI による決済。
計算結果を commitment に束縛する
スタックの中央にある隙間、二つの閉じ方、コンパイルフラグの誤り、VOLE-in-the-Head の計測、耐量子、量子ネットワーク。
監査の仕組み
カバー・スロット、受領証と slashing（保証金の没収）、relay（中継）、quote proof、値付け規則の記述言語、銘柄を見ない資産選択、ラウンドはどこで費やされるか。
説明責任と頑健性
説明責任の五つの段階、エンジン内の Reed–Solomon 復号、9 ノードでの第 5 段、dishonest majority（過半数が不正な場合）のコスト見積、参加者としてのテイカー。
配置の選び方
共謀を防ぐノードの置き場所、26 s が許容できる理由、三つのプロファイル、既定で切ってあるスイッチ、部品の選択。
暗号技術の使い方
群と生成元、すべてのトランスクリプトのラベル、6 つのシグマ・プロトコル、範囲証明、one-of-many、note、adaptor、FROST、MPC の体を commitment の群の位数に合わせた構成（matched field）、DeKYX、ハイブリッド。コードと文書が食い違う箇所。
この研究の進め方
数値は手で書かない、予測を先に書く、撤回は公開で、異常時は止める（fail closed）、TEE は使わない。
よくある質問
トークン、ブロックチェーン、EVM、TEE、7 ノード、規制当局、耐量子、ダークプール、本番。
今後の計画
完了したもの、依存関係の順に見た次の作業、製品の順序、コードの外で止まっているもの、未解決の問い。
市場以外の業務システム
ファンドの申込、担保、PvP、発行、債権、証書、保険。実装の順序。
計測値
判断に関わる数値を一箇所に、artifact 付きで。
安全性と信頼境界
攻撃者、説明責任の段階、検証者が検証するものとしないもの、通信量としての匿名性、防御していないもの。
耐量子化への移行
スタック全体のハイブリッド署名と鍵交換、1 台のホストで通り、いまは main にあるもの、古典方式のまま残すもの、まだ検証していないもの。
先行研究との位置関係
五つの論文、六つの軸、撤回した三つの主張、四つの未解決の問い。
他のシステムとの比較
18 の製品・プラットフォームと zkFMI を一つの表で比較。Canton は詳しく。九つの判断、使わないと決めた言い回し。
規制
この構成が法制度に求めるもの、日本の詳細、他の四法域、主張してよいことといけないこと。
現状と受入
構成要素ごとの状態、ゲートが覆う範囲、本番を止めているもの。
始め方
clone、テスト、テストベクタの検証、L1 ゲートの実行、企業向け PoC ガイド。
用語集
用語の定義。暗号の用語と市場基盤の用語の両方。
技術スライドから実装へ
37項目の暗号技術カタログで用途・数式・証明者・制約を確認し、予約から決済・回収までで状態遷移をたどれます。暫定結果とchallengeは、両デモの検証方式とnative決済の境界を説明します。