近期，比特币开发社区再次聚焦于一项名为“契约”的技术概念，该概念有望在比特币网络上实现更复杂的支出条件，从而推动无需信任的二层网络、非托管金库及高效支付通道等应用的发展。尽管相关讨论因社区共识和协议变更的分歧而充满挑战，但契约技术被视为比特币扩展性与功能演进的关键路径之一。
契约本质上是一种允许用户对未来比特币使用施加限制的机制。它由Gregory Maxwell于2013年首次提出，旨在提升比特币的可扩展性和灵活性。比特币交易的支出条件通常通过脚本语言表达，但传统脚本在资金被花费后无法限制其流向。契约则填补了这一空白，使得资金支出后可被限定于特定地址或遵循预设规则。
契约提案主要分为两类：基本契约与通用契约。基本契约（亦称预计算契约）允许对后续交易施加限制，用户可通过链接受限地址来预定义有限的交易序列。相比之下，通用契约（递归契约）支持在脚本中直接表达递归支出规则，使得限制可无限期延续，但实现难度较大，并可能要求对比特币协议进行重大更新。
目前，社区已提出多种契约实施方案，可大致归为四类：完全实现契约功能的操作码，如OP_CHECKTEMPLATEVERIFY和SIGHASH_ANYPREVOUT；作为辅助工具的操作码，如OP_CHECKSIGFROMSTACK和OP_CAT，它们需与其他操作码结合以实现契约功能；面向特定应用的操作码，例如OP_VAULT、OP_UNVAULT和OP_EVICT，专为金库等场景设计；以及无需软分叉的近似方案，如ColliderScript、Bitcoin PIPE和基于前端的契约，这些方案依托现有共识规则或密码学构造来实现类似功能。
契约技术的推进不仅面临技术挑战，还涉及社区治理与共识分歧。随着比特币核心开发的分化和协议僵化倾向的抬头，契约相关软分叉的落地前景仍不确定。然而，支持者认为，最小化的契约实施或许是实现信任最小化二层网络、服务大规模用户的保守路径。若未来主网费用再度飙升，且网络垃圾信息问题得到缓解，契约提案的讨论有望重新升温。
在后续文章中，我们将深入探讨首类提案中的OP_CHECKTEMPLATEVERIFY——目前最受关注的契约实施方案之一，剖析其运作机制与潜在影响。