MATT

Also covering OP_CHECKCONTRACTVERIFY

MATT is a soft fork proposal that would add an OP_CHECKCONTRACTVERIFY opcode to Bitcoin’s script language and make some other changes that would allow limited transaction introspection. This could allow verification of arbitrary programs in contract protocols plus support the implementation of several covenant-based features.

This topic description is a stub. We would welcome a pull request providing more background information about the topic.

Primary code and documentation

• Merkleize All The Things

Optech newsletter and website mentions

2025

• BIPs #1793 merges BIP443 which proposes the OP_CHECKCONTRACTVERIFY opcode
• OP_VAULT proposal withdrawn in favor of OP_CCV
• Draft CCV BIP and details about amount semantic

2024

• Verification of arbitrary programs using proposed opcode from MATT

2023

• What opcodes are part of the MATT proposal?
• Using MATT to replicate CTV and manage joinpools
• MATT-based vaults

2022

• Proposal for general smart contracts in Bitcoin via covenants

See also

• Covenants

• OP_CHECKTEMPLATEVERIFY

  
  

Previous Topic:
MAST

Next Topic:
Merkle tree vulnerabilities

Edit page
Report Issue