The crypto economy is driving an explosion of financial innovations never seen before. The financial infrastructure that will define the future is being built at this very moment. This is why we’re busy building Firmo. Firmo enables financial companies such as cryptocurrency exchanges to securely offer decentralized derivatives to their customers. We do this through FirmoLang, our domain-specific, formally verified language. With Firmo, the world of hedging and shorting is opened up to the crypto economy. Firmo already works with Ethereum and we are exploring partnerships with Neo, Cardano, QTUM and others.