比特币脚本

摘要：Delphi Digital发布比特币二层技术研报《The Dawn of Bitcoin Programmability》，系统梳理BitVM、OP_CAT等核心概念及四大采用BitVM的二层项目。极客web3将联合Bitlayer研究团队推出”走近BTC”专栏，深入科普BitVM技术原理。文章详解BitVM通过MATT（Merkle树承诺）实现链下计算-链上验证的范式，并剖析比特币脚本系统、隔离见证等底层技术，为理解比特币二层基础设施提供系统性认知框架。

概述 比特币脚本长期缺乏内省功能，限制其灵活性和可编程性。内省使脚本能检查和约束交易数据，实现更复杂的资金控制。目前仅有少量操作码支持内省，如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，预示可编程性突破将加速二层创新。