BIP-420引入了比特币契约的OP_CAT提案

随着围绕比特币契约的持续争论，OP_CAT 支持者提出了自己的提案。

BIP-420 支持比特币契约，允许智能合约、安全桥接、链上交易、zk 证明验证等，OP_CAT 倡导者、Taproot Wizards 联合创始人 Udi Wertheimer周一晚间发布消息。然而，BIP-420并不是正式的比特币改进提案，目前仅代表 OP_CAT 的提案草案。

一般来说，比特币的契约是**脚本功能，允许在未来的交易中如何使用比特币的特定条件。它们可以实现用例，包括创建安全的金库，允许可逆交易、自动定期付款、继承等场景的限时转移，以及托管和债券等复杂的金融工具。

OP_CAT 最初是作为比特币中最早的操作码之一包含的。然而，由于担心创建可能导致漏洞的脚本，匿名创建者中本聪在 2010 年将其与其他几个操作码一起禁用。

操作码是指构成比特币协议一部分的脚本语言中使用的命令。比特币脚本由操作码序列组成，每个操作码执行特定的操作。

该提案由 Ethan Heilman 和 Armin Sabouri 撰写，旨在通过“重新定义操作码 OP_SUCCESS126”，通过向后兼容的软分叉将 OP_CAT 重新引入比特币。

这与原始 OP_CAT 使用的操作码值相同，旨在通过不使用不同的操作码值来消除任何潜在的混淆。该提案仅关注重新引入操作码，而不改变脚本操作限制的其他方面。

根据该提案，OP_CAT 操作码将简化和扩展比特币的功能，包括使去中心化协议更加实用并支持**多重签名设置。作者认为，从本质上讲，OP_CAT 将显着提高比特币脚本的功能和灵活性，从而更容易直接在比特币区块链上开发更复杂的应用程序。

然而，任何 OP_CAT 软分叉的可能性都取决于技术、安全和社区共识考虑因素的结合。如果没有广泛的共识以及对其安全性和实用性的明确证明，OP_CAT 的实施仍然不确定。

比特币中契约的概念已经讨论了好几年，至少可以追溯到 2013 年。将契约集成到比特币中可以显着扩展其功能，使其更接近以太坊等编程灵活的平台，但也引发了对复杂性和潜在安全风险的担忧。

OP_CAT 并不是唯一的比特币契约提案，其他提案包括 CTV、CSFS 和 LNHANCE，每个提案的方法和权衡以及研究和辩论的不同阶段都各不相同。

检查模板验证（CTV）由 Jeremy Rubin 提出，引入了一种新的操作码，确保只有匹配预定义模板的交易才能使用比特币，从而实现金库、拥塞控制和遗留多重签名迁移等用例。

OP_CHECKSIGFROMSTACK (CSFS) 由包括 Rubin 在内的多个开发人员提出，允许使用脚本中指定的消息和公钥验证签名，独立于事务。 CSFS 在某些方面被认为比 CTV 更灵活、更强大，有可能实现更广泛的应用。

LNHANCE 建议添加更灵活的脚本编写可能性，包括基于外部数据的循环和条件执行。这是一个更具概念性且不太正式的提案。