🎯 研究方向 — 4本と関連論文
あなたが関心を示した4方向を、着手しやすさと関連論文で整理。各チップをクリックすると下の論文カードにジャンプする。
4-Swap は griefing を解くが reverse-bribery に無防備、Rapidash は collusion 耐性だが grief-free でない。両論文著者が未解決と明記するホットな空白。核心は不可能三角（grief-free は早期 refund 窓 t₁ を短く、collusion 耐性は burn 検出窓 T₂ を長く要求 → タイムロック予算固定で競合）。
Free-option からの3脱出 — ①resolver 市場（Fusion+/Garden/Boltz/Arwen）②プール化（THORChain/Chainflip）③cross-PCN 原子性（X-Transfer）。①②は本番稼働で billions を捌くのに③は未踏。公開オンチェーンデータで gas/latency/grief 発現率を同条件測定し3脱出を数値化。最初の1本を実証系で出すなら最適。
4-Swap のシークレット構造が両チェーンに同一 hash を残しオンチェーン相関を生む。AMHL 的な非相関化と griefing/bribery 耐性を両立させる設計は未着手。raw に privacy swap の蓄積があり research/ 層に専用ページ新設の余地。
X-Transfer は完全オフチェーンのクロス PCN 決済を実現するが経路最適性は未踏（集約は最適化するが経路選択はしない）。単一のオプション保持者が経路上に不在のため free-option を「消去」できる唯一の学術路線。詰めると収束仮説A（solver 市場を cross-PCN 経路に載せる）に到達しうる。
🌳 系譜図 — 2つのアームズレースと理論の背骨
Herlihy の理論を起点に、griefing（TX 数削減）と bribery（脅威モデル拡大）の2系統が並走し、2025 で GRB-Swap 空白へ収束する。ノードをクリックすると該当カードへ。
📚 論文カード （35本・4タブ）
🚪 Free-Option 3脱出 × 本番プロトコル
学術（Track A）と本番稼働（Track B）を同じ設計空間に並べる。ベンチマーク研究（研究方向②）はこの表を数値で埋める作業に相当する。
| 脱出 | 構造 | option risk の担い手 | 本番プロトコル | 学術対応 | 失うもの |
|---|---|---|---|---|---|
| 脱出① resolver/solver 市場 | HTLC/adaptor を温存、片方を競争的 solver 群に置換 | solver がオークション spread に内部化 | 1inch Fusion+ / Garden / Boltz | Arwen（原型）/ Transferable Options | solver bond 信頼・OB 中央化 |
| 脱出② プール/vault 化 | 二者ロック廃止、プール/TSS vault が常時カウンターパーティ | LP/JIT MM が価格リスク引受 | THORChain / Chainflip / Across | （学術対応薄い＝空白） | TSS 委員会信頼・IL |
| 脱出③ cross-PCN 原子性 | swap を multi-hop に分解、単一オプション保持者が経路上に不在 | 経路全体に分散（誰も全体を握らない） | （本番未踏） | X-Transfer / Thora / CCN | 理想的には無し（実用・経路最適性が未踏） |