An architecture for User-Defined markets

I'd like to present an overview of the architecture of Anoma (https://medium.com/anomanetwork/an-overview-of-anoma-s-architecture-26b72e8c9be5). Anoma's design and architecture is intentionally different from cryptocurrency protocols and any smart contract platform. Due to its very flexible and generalized design, it enables more expressivity in the intents system, which allows users to define the markets themselves, instead of protocols or smart contracts defining the constraints for what markets can exist. Due to the design of the state machine that makes an explicit split between execution and verification, combined with the idea that every account has a validity predicate which can be defined by the user themselves. Validity predicates are programmable and it allows more control on the end-users side to dictate not only the behavior of their accounts, but also the behavior of the protocols themselves.