内省操作码

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