ペイアウトレースと輻輳チャネル: ライトニングネットワークのセキュリティに関する形式的分析

ライトニングネットワークのペイメントプロトコルには、ペイアウトレースと呼ばれる新しい攻撃が存在し、これにより当事者の資金が不明確な状態になる可能性がある。