Bitcoin Covenant Proposal MATT Uses OP_CHECKCONTRACTVERIFY to Enable Stateful Contracts

MATT's OP_CHECKCONTRACTVERIFY is a notable attempt to push Bitcoin's scripting limits toward stateful contracts without a soft fork to a new VM, which matters for anyone tracking how much expressiveness can be added while preserving onchain verification. The lack of any deployment or activation timeline is the key caveat: this remains a proposal, not a scheduled change, so its practical relevance depends on review and consensus traction. The open question is whether the compact fraud-proof angle attracts broader ecosystem interest beyond covenant-focused developers.