Firmo

About:

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.



Intro:

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.



Milestones:

TOKENS - JUNE-JULY 2018

Token Generation event

DEMO - AUG 2018

Demo Live on Rinkeby, accessible with Metamask. Single instruments offered with automated counterparty matching and FRM faucet.

MAIN-NET LAUNCH - NOV 2018

Selected instruments live on main-net. Initial arbitration client hosted by Firmo.

EXPANDING COMPILER SUITE - JAN 2019

Compiler release and test-net client launch on NEO, QTUM and Cardano.

OPEN-SOURCE RELEASE - JUNE 2019

Open source arbitration client package release, initial arbitration nodes funded by Firmo.

FIRMO SIDE CHAIN - AUG 2019

The Firmo Protocol side chain project launch.Support for interoperable derivatives with atomic swaps executed on a secular chain.