契约

本文探讨了比特币Layer 2（L2）扩容技术，重点分析了闪电网络、Ark等方案如何通过交易压缩和UTXO共享突破链上限制。闪电网络通过时间维度压缩实现多对一交易映射，而Ark等虚拟UTXO方案进一步通过空间维度共享UTXO提升扩容能力。文章系统比较了各类L2设计模式（通道、虚拟UTXO）的技术特点，指出契约（covenants）是实现UTXO共享的关键机制，并评估了OP_CTV、SIGHASH_ANYPREVOUT等软分叉提案的适用性。研究还揭示了内存池策略对L2系统的影响，提出基于费用率替换（RBFR）等改进方案。最终结论认为，在共识清理后，OP_CTV是最具潜力的通用解决方案，能在不引入过度复杂性的前提下支持多样化的L2扩容方案。

概述 比特币脚本长期缺乏内省功能，限制其灵活性和可编程性。内省使脚本能检查和约束交易数据，实现更复杂的资金控制。目前仅有少量操作码支持内省，如CHECKLOCKTIMEVERIFY和CHECKSEQUENCEVERIFY。契约作为限制比特币转移的方式，依赖内省操作码实现，是扩容方案（如闪电网络）的基础。 主要契约提案 CTV（BIP-119）：通过哈希承诺限制UTXO支出模板，支持拥堵控制和二层网络扩展。APO（BIP-118）：SIGHASH_ANYPREVOUT签名实现动态UTXO绑定，提升闪电网络效率。OP_VAULT（BIP-345）：结合CTV实现资金支出延迟和恢复机制，增强安全性。TLUV：基于Taproot更新脚本状态，支持去中心化资金池。MATT：通过Merkle化状态/脚本/执行实现通用智能合约验证。CSFS：验证任意栈消息的签名，支持灵活内省但增加交易体积。OP_TXHASH：通用哈希计算操作码，可替代CTV/APO。OP_CAT：连接栈元素，构建Merkle证明，赋能ZK Rollup等高级应用。 结论 契约通过验证型智能合约扩展比特币功能，社区对实现方式存在分歧：专用方案（APO/VAULT）效率高，通用方案（CAT/TXHASH）灵活性优。Starknet等生态正推动OP_CAT落地以构建比特币ZK Rollup，预示可编程性突破将加速二层创新。