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

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