Hedget is a decentralised protocol for options trading.