MATT is a proposal to enable a fraud-proof system for smart contracts on Bitcoin. It can compile very general programs into a merkleized execution tree, for which fraud proofs can be executed on the Bitcoin main chain.