This folder contains high level documentation on the MATT framework, and the core concepts used in the examples of smart contracts implemented in this repository.

• matt
  Start here for a general introduction to MATT.
• contracts
  How to build smart contracts based on state machines.
• checkcontractverify
  Draft specs for the OP_CHECKCONTRACTVERIFY opcode.