利用可信执行环境 (TEE) 验证闪电网络通道余额
密码学与安全
2025-12-18 v3
摘要
验证闪电网络 (LN) 通道的私有流动性状态，对于需要财务能力保证的审计员、服务提供商和网络参与者来说是理想的。现有方法通常缺乏对抗恶意或受损节点运营者的鲁棒性。本文介绍了一种验证 LN 通道余额的方法。其核心贡献是一个将可信执行环境 (Trusted Execution Environments, TEEs) 与零知识传输层安全 (zkTLS) 相结合的框架，以提供强大的硬件支持保证。在我们提出的方法中，节点的余额报告软件运行在 TEE 内，该 TEE 生成一个证明软件完整性的远程证明引证。该证明随后通过应用程序编程接口 (API) 提供，并使用 zkTLS 来证明其交付的真实性。我们还分析了一种替代变体，其中 TEE 直接对报告进行签名而不使用 zkTLS，并讨论了传输层验证与直接飞地签名之间的权衡。我们通过区分“热证明”（通过 TEE 的可验证声明）和“冷证明”（链上结算）进一步完善了这一点，并讨论了关键的安全考量，包括硬件漏洞、向第三方 API 的隐私泄露以及飞地操作的性能开销。
引用
@article{arxiv.2512.12095,
title = {Verification of Lightning Network Channel Balances with Trusted Execution Environments (TEE)},
author = {Vikash Singh and Barrett Little and Philip Hayes and Max Fang and Matthew Khanzadeh and Alyse Killeen and Sam Abbassi},
journal= {arXiv preprint arXiv:2512.12095},
year = {2025}
}