比特币盟约即将到来 - op_cat被正式引入为BIP-420

提案，由 Ethan Heilman 和 Armin Sabouri 合作撰写，努力通过一个可逆的软更新将 OP_CAT 回带到 Bitcoin 中。这是原始 OP_CAT 的同一个值，Satoshi Nakamoto 在 2010 年因担心可能存在的漏洞而禁用了它。

“BIP-420 使得 Bitcoin 上可以实现契约，从而支持智能合约、安全桥梁、在链交易、zk证明验证等功能。” OP_CAT 的支持者和 Taproot Wizards 的联合创始人 Udi Wertheimer 说道。

Bitcoin 契约

Bitcoin 上的契约是高级脚本特性，允许将未来的交易中的bitcoins 限制在特定条件下。它们可能会带来使用场景，例如创建可逆的“保险库”，自动重复付款，时间锁定的转移（继承），以及复杂的金融工具，例如抵押和债券。

在这种情况下，Bitcoin 上的契约目前仅是尝试确保将来的BTC 转移方式。它们是一组规则，决定了一个特定的Bitcoin 如何花费，并为网络添加了一个额外的安全性和功能。Bitcoin 上的契约运行于Bitcoin 的脚本语言之上，并设置了必须达到的条件，以便Bitcoin 交易被处理。

有不同类型的契约，每种都有其自身的优点和缺点。最常见的类型包括：

1. 基于价值的契约：限制交易结果的价值。

2. 基于地址的契约：限制交易结果的地址。

3. 基于脚本的契约：限制交易结果的脚本。

Bitcoin 上的契约可能会改变我们今天使用Bitcoin的方式，使得更多的金融产品和服务可以在Bitcoin网络上构建。它们可以使Bitcoin更多样化，允许进行更复杂的交易和智能合约。

然而，Bitcoin 上的契约的实施也不是没有风险的。主要的风险包括可能的问题，例如可含糖性、增加的复杂性和新的安全漏洞的引入。关于契约在Bitcoin上的讨论起步于至少 2013 年。

扩展功能

根据提案，OP_CAT 操码将使得 Bitcoin 的功能更加简单和扩展，使得去中心化协议更加实用，并支持先进的多签设置。实际上，OP_CAT 将大大增加Bitcoin脚本编程的力量和灵活性，使得直接在Bitcoin区块链上开发更加精细的应用程序变得更容易。

值得注意的是，OP_CAT 软更新的实施机会取决于团队开发人员的技术能力、在链安全考虑以及社区共识。

OP_CAT 并非 Bitcoin 上契约的唯一提案，还有其他提案，例如 Check Template Verify (CTV)、OP_CHECKSIGFROMSTACK (CSFS)和LNHANCE，它们的方法和折衷不同，也处于研究和讨论的不同阶段。