Decentralized risk-optimizing protocol for derivatives trading.