🔗 設計空間 — 4軸で二分される系譜
この領域は Bitcoin互換 vs スクリプト要求 / 再帰可否 / 2者 vs multi-party / UC証明有無 の4軸で分かれる。Aumayr 三部作（Generalized Channels が adaptor signature 基盤 → Bitcoin-Compatible VC → Blitz）が Bitcoin 側の中核、Perun（S&P'19, UC-secure）が Ethereum 側の理論的祖。再帰性（Elmo）と watchtower 不要（Sleepy Channels）の両立、BIP-118 (ANYPREVOUT) 未マージが実用化の壁。
| 提案 | Bitcoin互換 | スクリプト要求 | 再帰 | 参加者 | 形式証明 |
|---|---|---|---|---|---|
| Sprites (2019) | ✗ (Ethereum) | 高（SC） | — | multi-hop | あり |
| Perun (2019) | ✗ (Ethereum) | 高（Turing完全） | △理論上 | 2者(Hub)+拡張 | UC |
| Generalized Channels (2021) | ✓ | 低（adaptor sig） | ✗（基盤） | 2者 | UC (DDH) |
| Bitcoin-Compat VC (2021) | ✓ | 低（署名+timelock） | ✗（open problem） | 2者+Hub | UC |
| Blitz (2021) | ✓ | Gen.Ch 前提 | ✗ | multi-hop | ゲーム理論 |
| Elmo (2023) | ✓ (要 ANYPREVOUT) | 中 | ✓達成 | variadic | UC（帰納法） |
| Sleepy Channels (2022) | ✓ | 低（CLTV） | ✗（2者限定） | 2者 | ゲーム理論 |
| Thora (2022) | ✓ | 低 | ✗ | multi（任意トポロジー） | 形式証明 |
| Hydra (2021) | ✗ (EUTxO) | 高（同一validator） | N/A | multi | 形式的 |
| Ark (2026) | ✓ (covenant不要) | 低（MuSig2） | N/A | multi（VTXO） | 実装検証 |
🌳 影響系譜図 — 誰が誰に影響したか
ノード＝論文、矢印＝影響関係（基盤 / 移植 / 再帰化 / 匿名化 / timelock脱却 等）。ノードをクリックすると該当カードへ。Aumayr 三部作を中心に、Ethereum 系（Perun/Hydra）と Bitcoin 互換系が分岐・再収束する。
主要16本の影響関係（全24本は下のカード）。★=S&P/CCS/USENIX/ASIACRYPT 級。Aumayr 三部作（Generalized→VC→Blitz）が Bitcoin 互換系のハブ。
📚 論文カード （24本・4タブ）
❓ 未解決問題
OP-1
BIP-118 未マージ — Elmo の再帰的仮想チャネルは ANYPREVOUT 必須だが未実装。「ANYPREVOUT なしで効率的な再帰的 VC は不可能」は conjecture で証明なし。
OP-2
Watchtower 不要 + 再帰の両立 — Sleepy Channels は非再帰、Elmo/Perun は再帰だが watchtower 必要。両立設計は未存在。
OP-3
全員参加の同期要件緩和 — Channel Factory の n-of-n 署名を緩和する閾値スキーム・grace exit が未確立。
OP-4
Hub/中間者の資本効率 — 仮想チャネル開設のたびに中間者が collateral をロックする構造がスケールのボトルネック。
OP-5
timelock-free の代償 — Thunderdome(warden)・AuxChannel(補助 L2) は別の信頼前提を導入。「追加信頼なしの timelock-free」は未達。
OP-6
operator/committee 集中 — commit-chain(Clique/Ark)・TEE 系(APCN/Speedster) は単一 operator に SPOF。multi-operator handover の持続性が未検証。