This is indeed an interesting question. The revenue distribution is done on the blockchain indeed. Talking about matchmaking, engine is proprietary (centralized) as this is the most appropriate system for a leveraged derivatives trading platform such as their

Sounds reasonable and makes sense. As far as I know, it is impossible to run a fully (100%) decentralized leverage derivatives trading platform