The latest research on Bitcoin covenants introduces MATT (Merkleize All The Things) and OP_CHECKCONTRACTVERIFY (OP_CCV), which enable stateful contracts and scalable fraud proofs. OP_CCV embeds contract state directly into Taproot output keys, allowing for dynamic state transitions across transactions. This innovation addresses the limitations of standard Bitcoin scripts, which evaluate transactions independently without memory of previous executions. MATT enhances this by enabling committed data to be computed at spend time, facilitating a more flexible contract evolution.