Firmo

The Firmo protocol executes financial contracts on blockchain technology. Contracts are written using the domain specific language; FirmoLang. FirmoLang provides a secure execution environment for financial contracts on decentralized asset-classes. Similar to software built for airplane coordination, FirmoLang is formally verified, yielding needed security benefits for smart contracts in finance. FirmoLang compiles directly to Ethereum Virtual Machine bytecode. The Firmo Protocol is designed to integrate with and support the advancing decentralized economy, including: Decentralized exchanges, p2p lending platforms, prediction market platforms and more.

The Firmo Protocol is currently in the alpha phase of development. This document:

Introduces the Firmo protocol and the objective behind introducing financial contracts to the blockchain.
Provides a non-specific overview of the domain specific, domain specific programming language: FirmoLang.
Introduces the FirmoLang Ethereum Virtual Machine Compiler.