The Firmo protocol executes monetary contracts on blockchain know-how. Contracts are written utilizing the area particular language; FirmoLang. FirmoLang offers a safe execution setting for monetary contracts on decentralized asset-classes. Similar to software program constructed for airplane coordination, FirmoLang is formally verified, yielding wanted safety advantages for good contracts in finance. FirmoLang compiles on to Ethereum Virtual Machine bytecode. The Firmo Protocol is designed to combine with and assist the advancing decentralized financial system, together with: Decentralized exchanges, p2p lending platforms, prediction market platforms and extra.