Firmo creates derivatives on blockchain technology. With our novel programming language, chorus, we compile 'smart derivatives' to EVM and other native bytecode formats. Chorus is a formally verified, functional DSL, setting a new standard for security parameters in financial instruments on blockchain technology. Our users can execute and trade secure derivatives on the Firmo Marketplace and on other exchanges.