Lightning Network

Bitcoinのスケーラビリティ問題を解決するLayer 2プロトコル。オフチェーンでのマイクロペイメントを実現し、毎秒数百万件の取引を可能にする。

~15,000アクティブノード
~60,000チャネル数
<1sec決済速度
~1sat最低手数料
仕組み

Lightning Networkは「支払いチャネル」と「HTLCによるマルチホップ」の2つの核心技術で動作する。

Payment Channel のライフサイクル
🔓

1. チャネル開設

AliceとBobがFunding Transactionをオンチェーンに送信。資金をマルチシグ(2-of-2)にロック。1回のオンチェーンTXで始まる。

🔄

2. オフチェーン送金

Commitment Transactionに署名して交換。チャネルが開いている間、何千回でもオンチェーンへのブロードキャストなしに即時決済できる。

🔒

3. チャネル閉鎖

Cooperative Close(合意による)またはForce Close(一方的)で最終残高をオンチェーンに確定。不正なstateを試みると罰則(penalty TX)で全額没収。

📝 Revocation の仕組み

古いCommitment TXがブロードキャストされると、相手はRevocation Keyでチャネルの全額を没収できる。これがセキュリティの核心。旧stateの公開は相手への「送金」と同義。

HTLC (Hash Time-Locked Contract) の構造
🔐

Hash Lock

HASH(r) == H の条件を満たした者が受け取れる。受信者だけがpreimage rを知っている。

Time Lock (CLTV)

指定ブロック高(cltv_expiry)を過ぎると送信者が返金を取り戻せる。タイムアウトは経路の上流ほど長く設定される。

⚠️ HTLCの根本的限界

Payment Correlation

全hopで同一の hash Hが使われる。共謀した中間ノードが「同一送金」と判定できる。

Wormhole Attack

共謀した2ノードがhashを共有し、中間hopの手数料を盗める。

→ PTLC で解決予定

各hopで異なるpointを使用。Schnorrの線形性を利用したscriptless設計。

マルチホップ支払いの流れ(Sender → Alice → Bob → Receiver)
👤
Sender
1M sat
HTLC(H, T+3Δ)
🔀
Alice
HTLC(H, T+2Δ)
🔀
Bob
HTLC(H, T+1Δ)
🏪
Receiver
preimage r

Forward Path(HTLCの連鎖)

SenderがReceiverのinvoiceからH=HASH(r)を取得。各hopで時限を短くしながらHTLCを繋げる。

Backward Path(rの伝播)

ReceiverがrをBobに提示 → BobがAliceに提示 → AliceがSenderに提示。Atomic性が保証される。

Sphinx Onion Routing(BOLT 4)
🧅

暗号化の層

Senderが全経路の各hopに向けた暗号化ペイロードを重ねてパケットを構築。各中継ノードは自分の層だけを解読し、次の宛先のみを知る。

[ Sender の暗号化 ]
[ Alice の暗号化 ]
[ Bob の暗号化 ]
{ 実際のペイロード }
🔏

Route Blinding(BOLT 4 拡張)

受信者が最後の数hopを暗号化してinvoiceに含める。送信者は経路の終端を知らずにonionを構築できる。受信者のID・ノード情報が隠蔽される。

CLN ✓ eclair ✓ LDK ✓ lnd 実装中
Multi-Path Payment(MPP)— 大額送金の分割

単一チャネルの流動性が不十分な場合、複数の経路に分割して送金。全パーツが成功するかゼロか(Atomic)。BOLT 4のtotal_msat/payment_secretで実現。

Horcrux(NDSS 2025)

MPP分割戦略の最適化。チャネル枯渇を防ぐルーティングで送金コストを38–96%削減

Pickhardt Routing

min-cost flowによる確率的最適ルーティング。残高を一様分布と仮定して成功確率を最大化。LDKのProbabilisticScorerとして部分実装。

Boomerang(冗長化)

必要数より多いパーツを送信し、先着n個だけが有効。ルーティング失敗率を低下させる。


🛠 現在実装されている技術

主要4実装のBOLT準拠状況と固有機能。2026年時点のデプロイ状況。

⚡ lnd Go / Lightning Labs

ルーティングノード・開発者向けのフルノード。gRPC APIが中心。Lightning Terminal / Loop / Pool等の製品エコシステムを持つ。

Remote Signing Macaroons認証 MuSig2(実験的) Taproot CH(実験的)

🔌 Core Lightning C + Plugin / Spiral

軽量コア + 任意言語プラグインのアーキテクチャ。Splicing・BOLT 12・Dual-funded channelsを最速デプロイ。Greenlight(クラウドCLN)を提供。

Splicing ✓ BOLT 12 ✓ Dual-funded ✓ Route Blinding ✓

🎭 Eclair Scala / ACINQ

Akka actorモデルによる高並行設計。Phoenix(モバイルウォレット)のバックエンド。MPPを業界最速でデプロイ。LSPS2のリファレンス実装。

BOLT 12 ✓ Circular Rebalance ✓ Cluster Mode ✓ LSPS2 ✓

🦀 LDK Rust Library / Spiral

アプリに組み込むRustライブラリ。チェーン同期・鍵管理・ストレージは呼び出し側が実装。iOS/Android/Pythonバインディングあり。

ProbabilisticScorer Phantom Payments BDK統合 言語バインディング

BOLT 対応状況(2026年時点)

機能 ⚡ lnd 🔌 CLN 🎭 Eclair 🦀 LDK
BOLT 1–9 コア
Anchor Outputs
Multi-Path Payment (MPP)
Onion Messages
BOLT 12 Offers実装中
Route Blinding実装中
Zero-conf Channels
Splicing開発中
Dual-funded Channels
Taproot Channels実験的開発中開発中
PTLC

⚠️ 現在の問題点

2026年時点でもまだ解決されていない根本的な課題。クリックで詳細を展開。

★★★ 最優先

Channel Jamming — deployable な防御が存在しない

HTLCスロット(483個/チャネル)を少額HTLCで埋めるSlot Jamming、大額HTLCで流動性を占有するAmount Jammingの2種類。

Slow Slot Jamming のコスト(Kotzer-Zohar SoK 2024より)

~$10で主要ルーティングチャネルを1週間停止できる。さらにBribe & Fork攻撃(Avarikioti 2024)では~$125でRevocation機構を無効化できることが示された。

SoK論文が評価した4系統の防御手法:

Upfront Fee
有効だが失敗支払いにも課金 → UX悪化
Reputation
Bootstrap困難、Sybil耐性なし
Stake Certificates
最も有効だがBitcoin covenant soft fork必須
Circuit Breaker
実装済みだがSlow Jammingに根本的に無効
深刻度
★★★ 最優先

Privacy の構造的欠陥 — probing・相関攻撃が現在も有効

複数の攻撃が2026年時点でもmainnetで成立する:

  • Balance Probing:HTLCのerror responseからチャネル残高を推定(ほぼゼロコスト)
  • ML-based Probing:Davis et al. 2024がXGBoost+GNNで精度95%を達成。probe数を減らしてもMLで補間
  • HTLC Correlation:同一hash Hが全hopに現れる構造的欠陥
  • Cross-layer Deanon:funding TXのオンチェーン分析とgossipの突合でノード特定

PTLCへの移行で構造的に解決できるが、mainnet移行は2026年時点で未完。

深刻度
★★★ 最優先

PTLC 移行の停滞 — 技術的解決策があるのに実装が進まない

PTLCはHTLC correlationやWormhole攻撃への根本解だが、mainnet移行が停滞している。

既存HTLC LNとの互換性
経路上に1つでもPTLC非対応ノードがあると使用不可
実装コスト
lnd/CLN/Eclair/LDKが同時移行する必要
Adaptor Signature の標準化未完
MuSig2 + adaptor sig のBOLT仕様化が進行中だが未確定

※ CKB Fiber Networkは Schnorr/PTLC前提で先行実装済み。これがLN実装の参考になる可能性あり。

深刻度
★★ 中期

Watchtower — 合理的オペレーターが長期的に正直に振る舞う保証がない

「適切にサボったことが証明不可能」問題:watchtowerが監視をサボってもユーザーは事後的に検知できない。PISA/Cerberus/FPPW/TEE各アプローチもトレードオフがある。

ANYPREVOUT(BIP-118)が有効化されるとeltoo型チャネルが使えるようになり、watchtowerは「最新stateだけ」保存すればよくなる(Poon-Dryja型では全履歴が必要)。ただしANYPREVOUT自体が未deploy。

深刻度
★★ 中期

Routing 最適性 — Pickhardt Routingが理論完成後も主要実装に未搭載

Pickhardt-Richter 2021がmin-cost flowによる確率的最適ルーティングを提案。LDKのProbabilisticScorerとして部分実装されたが、完全実装は全主要実装で未搭載。チャネル残高が非公開のため確率分布による近似が必要で、計算コストの課題もある。

深刻度
★ 長期

Post-Quantum 移行 — LNは構造的にdiscrete log系暗号に依存

PTLC/AMHL/adaptor signatureはすべてSchnorr署名の線形性(discrete log)を使う。量子コンピュータはこれを破る。NIST PQC標準化(2024年完了)後も、Bitcoin・LNへの移行経路は未設計。

特にlattice-based adaptor signatureの構成はPCN文脈でほぼ未着手。Dilithium/Falcon署名サイズ(~2.5KB)がBitcoin TXの標準制限に収まらない問題も残る。

深刻度

🔬 今後の研究のポイント

2026–2027年に学術的・実装的に最も重要な研究方向。

★★★ 急務ゲーム理論

Endorsement + Upfront Fee の最適設計

SoK(2024)が「最有力の組み合わせ」と指摘したが具体的な設計が存在しない。攻撃コスト最大化 × UX影響最小化のPareto最適パラメータを導出する。

FC/CCS 2027
★★★ 急務プロトコル設計

HTLC→PTLC 段階的移行プロトコル

混在ネットワーク(HTLC/PTLC混在)での安全な移行プロトコルが未設計。移行期間中の攻撃面の再評価・形式的安全性証明が必要。

FC/NDSS 2027
★★ 中期格子暗号

Lattice-based Adaptor Signature

Dilithium/FalconベースのAdaptor SignatureはPCN文脈で完全に未設計。NIST PQC標準化後の空白。PTLCの量子耐性版の基礎となる理論研究。

CRYPTO/PKC 2027
★★ 中期ML

Pickhardt Routing × ML残高推定の統合

Davis 2024のGNN残高推定をPickhardt routingのpriorとして使う統合アプローチ。RoutingとPrivacyの交差点。より現実的な残高確率分布でルーティング精度を向上。

FC/IEEE S&P 2027
★★ 中期ゲーム理論

Watchtower の合理的インセンティブ設計

「適切にサボったことが証明不可能」問題への理論的解答。rational watchtower operatorが長期的に正直に振る舞う均衡設計。メカニズム設計 + 形式的証明。

FC/AFT 2027
★★ 中期新脅威

Miner Bribery ($125) への対抗設計

Bribe & Fork攻撃(Avarikioti 2024)が示した$125での攻撃に対し、「マイナーが正直に振る舞うことが支配戦略になる」Script設計。Suborn Channelsの拡張。

CCS/S&P 2027

📅 Lightning Network の歴史

2015年の概念誕生から2026年現在まで。

2015
Poon-Dryja — Lightning Network ホワイトペーパードラフト公開
HTLC・revocation・マルチホップルーティングの設計を完全記述。Bitcoin SegWit(BIP-141)が前提条件として明記された。
2016
Lightning Labs / Blockstream / ACINQ — 3実装が独立して開発開始
lnd(Go)、c-lightning(C)、Eclair(Scala)。BOLT仕様を共通規格として策定開始。
2017
SegWit Activation + BOLT 1.0 策定
BIP-141が有効化され、LNの安全なデプロイが技術的に可能に。BOLT 1–11が成立。
2018
Mainnet ローンチ + eltoo ホワイトペーパー
lnd v0.4-betaがmainnetに。3社が相互運用支払いを実証。Decker/Russell/Osuntokunがeltoo(BIP-118前提)を発表。
2020–2021
MPP・Anchor Outputs の実装・Taproot activation
EclairがMPPを最速デプロイ。Anchor Outputs(BOLT 3改訂)でFee-BumpingのUX改善。BIP-340/341 Taproot/Schnorrが2021年にactivate。
2022–2023
BOLT 12・Route Blinding・Onion Messages の実装
CLN/Eclairが先行してBOLT 12 Offersをデプロイ。Route Blindingが受信者プライバシーを大幅改善。Splicing(CLN)が実用化。
2024
Jamming SoK・Miner Bribery攻撃・GNN残高推定
Kotzer-Zohar SoKが既存防御の限界を体系化。Aumayr CRAB(CCS)・Avarikioti Bribe&Fork(AFT)が$125攻撃を実証。Davis et al.がGNN+XGBoostで残高推定95%精度を達成。
2025–2026
Taproot Channels(実験的)・Pickhardt数理理論・研究フロンティアの拡張
lndがTaproot Channelsを実験的リリース。Pickhardt 2026が polytope理論でルーティング最適性を完全形式化。PTLC移行への合意形成が進行中。