Bitcoin Core pull request 32080 introduces OP_CHECKCONTRACTVERIFY (OP_CCV), the core opcode of the MATT framework designed to enable stateful contracts on the base layer. The opcode embeds contract state into Taproot output keys using a tweaked key formula Q = P + t·G, allowing transactions to carry and update information across state transitions.
OP_CCV supports three verification modes that handle value allocation while separating transaction fees through dedicated fee-paying inputs, preventing unintended fund loss. When combined with OP_CAT, the opcode can construct and verify Merkle proofs on-chain, enabling fraud-proof systems and dynamic vault functionality. The proposal is under review in the Bitcoin Core repository with no activation timeline announced.