Decentralised leverage trading in real time - Part 1. (english vers...