This sounds really cool!
I know Stellar used to/is quite active in this space, though probably without a lot of the abstractions still. Are you implementing an entirely new smart contract or protocol for the order matching or relying on existing systems in this space?