Covenant

该BIP提议激活一个新的操作码OP_CHECKOUTPUTSHASHVERIFY，用于Tapscript版本0。

本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象，实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性，以及结合时间锁等技术，BitVM 在不修改比特币核心协议的前提下，扩展了其功能，并为高效验证复杂计算开辟了道路。

该 BIP 提议在 Merklized Script Version 0 中引入一个新的操作码 OP_PUSHTXDATA，允许智能合约访问交易的各种数据，如输入索引、交易费用、版本号、锁定时间以及输入输出的详细信息。这为实现更复杂的 covenant 和 vault 机制提供了基础。

本文作者 Rusty Russell 探讨了比特币中限制条款（covenant）的不同实现方式，从最简单的 OP_TXIDVERIFY 到最全面的 OP_TX，以及介于两者之间的 OP_TXHASH 和 OP_CHECKTEMPLATEVERIFY。

本文介绍了ColliderScript，一种在比特币上实现限制条款（covenant）的方案，无需软分叉。该方案通过哈希碰撞技术桥接“大脚本”和小脚本“，虽然目前成本高昂（约 5 千万美元/交易），但为量子计算机攻击比特币提供了一种潜在的防御手段，允许在紧急情况下花费受保护的比特币。

OP_CHECKSIGFROMSTACK（OP_CSFS）是基于 ELEmentsProject.org 的侧链上的一种操作码，有时候也被提议在比特币上实现。这种操作码可以检查对任意消息的签名。它会接收三个参数：一个签名、一条消息和一个公钥。