• 将 Ark 作为通道工厂，压缩流动性管理，以提升支付可行性
• 新比特币智能合约语言 Bithoven：弥合表达力与形式安全
• Hornet UTXO (1)：为最大化比特币共识验证吞吐量定制的 UTXO 数据库
• 比特币-IPC：通过 PoS 子网网络扩展比特币
• 利用可观察的内存池确定区块链交易时机和费用
• 全球闪电网络快照：2019–2023 年的地理与时间演变数据集
• OHMG：通过改变算术表示方式，提高混淆电路链外验证的方法
• Babylon: 无需信任的 BTCVault 协议 TBV 简介
• 数字资产之外的风险：现实世界中的比特币袭击正在加剧

§将 Ark 作为通道工厂，压缩流动性管理，以提升支付可行性

René Pickhardt 提出并讨论了 Ark 作为通道工厂（channel factory），而非终端用户支付解决方案的最佳应用场景的想法。

Pickhardt 的想法聚焦于一种可能性：让大量通道所有者利用 Ark 的 vTXO （virtual Transaction Outputs）结构，将通道流动性的变更（如开启、关闭、拼接）进行批量处理，从而在牺牲一定流动性开销的前提下，大幅降低运行闪电网络的链上成本。这种额外的流动性开销主要发生在某个通道被放弃、到其所在的 Ark 批次完全到期之间的这段时间。通过将 Ark 批次作为高效的通道工厂，LSP （Lightning Service Provide）可以更高效地为更多终端用户提供流动性；而批次自带的到期机制则保证了他们能够从闲置通道中回收流动性，而无需进行成本高昂、专门的链上强制关闭操作。路由节点同样可以受益：它们可以通过定期使用批次在不同通道之间转移流动性，而不是进行一次次单独的拼接操作，从而实现更高效的通道管理。

在后续的回复中，Vincenzo Palazzo 称他已经实现了一个 Ark 通道工厂的概念验证代码。

§新比特币智能合约语言 Bithoven：弥合表达力与形式安全

比特币社区正在与一种新的智能合约语言 Bithoven 合作。Bithoven 是针对 Miniscript 而提出的，设计者认为，虽然 Miniscript 为策略验证提供了必要的抽象，但并未建模复杂合同所需的全部命令式逻辑，导致状态管理和资源活性存在空白。Bithoven 旨在弥合表达力与形式安全之间的高阶语言。通过结合严格类型检查器、资源活度分析器与语义控制流分析器，Bithoven 能够在部署之前消除其故障模型中所定义的多类共识与逻辑缺陷。

Bithoven 论文：Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts

§Hornet UTXO (1)：为最大化比特币共识验证吞吐量定制的 UTXO 数据库

开发者 tobysharp 推出了一个新的 UTXO 数据库 Hornet UTXO (1)，专为最大化比特币共识验证的吞吐量而定制。该数据库使用现代 C++开发，将并行性最大化，因此高度并发且无锁 。

Hornet UTXO (1) 是 Hornet Node 的组件，后者是专注于声明式共识规范和高性能的实验性比特币客户端。关于 Hornet Node 更多细节可见 Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus

§比特币-IPC：通过 PoS 子网网络扩展比特币

这项研究提出 Bitcoin-IPC，它是一个软件栈与协议，旨在通过支持无需许可地创建、完全可编程的 PoS 二层链，推动比特币成为一个通用的交换媒介（Medium of Exchange, MoE）。在 Bitcoin-IPC 子网（subnet）上质押资产以 L1 比特币主链的 BTC 计价，依赖比特币 L1 来传递关键信息、完成结算并提供安全保障。

该设计受 SWIFT 报文（SWIFT messaging）机制启发，并嵌入在比特币的 SegWit 机制中，使得不同 L2 子网之间的价值转移可以通过比特币 L1 进行路由与结算。其独特之处在于：在不对比特币 L1 做任何修改的前提下，这一机制可将单笔交易的虚拟字节成本（vB/tx）最多降低 23 倍，从而将货币型交易的吞吐能力从约 7 笔/秒（tps） 提升至 160 笔/秒以上。

§利用可观察的内存池确定区块链交易时机和费用

本研究关注的议题是交易手续费对交易处理优先级的影响。目前优化交易优先级的可能方式是：用户可以通过查看本地内存池中的交易情况，推迟广播交易的时间，并将手续费设置得尽可能低由于未确认。然而，挖矿时间间隔的随机性可能导致被延迟广播的交易错过下一个有效区块。不过与此同时，手续费提升 (fee bumping) 机制则允许用户在交易确认之前提高交易手续费，但这也使手续费设置问题变得更加复杂。

本研究探讨了一种新的交易策略——同时决定交易的广播时机和手续费水平。研究考虑了两种具有代表性的场景：

• 其一：大量共存的普通用户，对内存池状态无感知，按照特定分布设置其手续费；

• 其二：半策略性（semi-strategic）用户，以泊松速率（Poisson rate）检查内存池并更新费用

在第一种场景中，研究者计算了能够适应任意挖矿时间间隔分布的最优广播时间与交易手续费。当区块间隔服从指数分布（如比特币类 PoW 系统）时，策略性用户应在交易创建后立即广播；而当区块间隔固定（如以太坊类 PoS 系统）时，用户会发现等到区块生成前的最后一刻再广播交易是有利可图的。

在第二种场景中，研究者构建了一个连续时间马尔可夫链来刻画内存池状态的动态变化，并在区块间隔服从指数分布的情况下，推导出策略性用户的最优手续费调整频率。无论在理论分析还是仿真结果中，研究都表明：当交易手续费低于被纳入区块所需的最低手续费时，策略性用户都应立即提高自己的手续费。

§全球闪电网络快照：2019–2023 年的地理与时间演变数据集

这项研究呈现了 2019 年 1 月至 2023 年 7 月间的闪电网络快照精选集，包含 336 个地理定位的闪电网络拓扑快照。这些快照是从公开可获得的 gossip 消息档案中重建而成。收集者采用严格的一致性检查，并用来自公共 IP 地址的城市级地理位置数据丰富节点元数据。

所得数据集捕捉了闪电网络的时间和空间演变，弥补了关键的研究空白。此外，收集者还重建的网络快照与独立统计数据进行了交叉验证，以建立稳健可靠的基准。

§OHMG：通过改变算术表示方式，提高混淆电路链外验证的方法

高效验证复杂的链外计算仍是区块链扩展的主要瓶颈之一。对于基于混淆电路构造的解决途径而言，它依然高度依赖布尔电路表示，导致了巨大的通信和存储需求。

针对这一问题，本研究引入了一项新型混淆方案 OHMG (One Hot Modular Garbling) ，旨在通过改变混淆电路中算术计算的表示方式来解决上述低效问题。与将算术运算分解为布尔门（Boolean gates）不同，OHMG 通过单热编码原生处理小整数。其结果是形成了一种混淆框架，在该框架中，每个算术门最多只需要一个密文，而与线路规模无关。

§Babylon: 无需信任的 BTCVault 协议 TBV 简介

根据 2025 年中后期的统计，目前只有 1% 的比特币使用 DeFi。Babylon 指出，这一低参与度的原因是比特币缺乏可编程性所导致的对额外信任的需要，并由此介绍 Babylon 的解决方案：一个无需信任的 BTCVault 协议（TBV），允许原生比特币以自我托管且无需信任的方式使用 DeFi。

TBV 的核心要素有：

• SNARK：能够简洁地验证任何程序的执行。Babylon 用它验证与 TBV 相关的智能合约（决定每个保险库中比特币的所有权）在 DeFi 链上的状态转换；

• 混淆电路：可将任意程序的验证简化为秘密揭示。Babylon 用它来编码 SNARK 验证器，使得在证明有效时，对扰的电路进行评估时，会发现一个特定的只有比特币链能够处理的文本字符串；

• Lamport 签名：一种一次性签名方案，其验证可以通过比特币脚本实现。Babylon 使用 Lamport 签名，允许比特币链在有争议时进行验证；

• 比特币脚本：具有有限的可编程性的编程语言。Babylon 主要依赖：hash 锁、时间锁、taproot 地址。

就 TBV 的产品特性而言，它将比特币变成任何 DeFi 的通用可编程抵押品。抵押比特币既不是桥接/包裹/池化/同质化的，也不能重新抵押。就适用的 DeFi 链而言，TBV 支持任何拥有 ZK 轻客户端的区块链/整合。

§数字资产之外的风险：现实世界中的比特币袭击正在加剧

近日，Haseeb Qureshi 将比特币开发者/安全研究员 Jameson Lopp 之前搜集的现实世界中发生的针对比特币的真实袭击（GitHub: Known Physical Bitcoin Attacks）数据进行了可视化。结果发现袭击次数一直在增加，同时袭击还变得更加暴力。然而，真实情况可能更糟，更多攻击可能未被报告。因为受害者会担心再次成为攻击目标，或者不信任执法部门能提供帮助，而选择保持沉默：

根据 Haseeb Qureshi 的分析，攻击的主要驱动因素是价格。当比特币价格上涨时，犯罪分子看到了更大的机会（白色：市值；颜色：暴力事件）：

此外在地理方面，西欧和亚洲部分地区遭受袭击事件的激增最为显著：