Synthetix takes on counterparty risks with Infinex derivatives exchange.