本文是系列文章的第一篇，讨论了在比特币中使用Taproot和假设的CAT操作码实现契约（covenant）的技术。文章详细介绍了如何利用Schnorr签名的数学特性来模拟CHECKSIGFROMSTACK的功能，并探讨了ECDSA和BIP340签名在契约中的应用。
CAT
CHECKSIGFROMSTACK
