This workshop marks the release of a new open-source language and a dedicated compiler for the benefit of the Ethereum community. We release Lira: A declarative and formally verified domain specific language, designed for writing and deploying secure financial contracts on the Ethereum Blockchain. eToroLang compiles directly to EVM through a Haskell-based compiler that is released at the same time. That allows any user to write and deploy sophisticated financial contracts with industry grade security and without the need to use solidity.
Following a succinct introduction, Dr. Ross will walk participants through a series of financial contracts and applications written in eToroLang. Starting with simple futures, call-options and interest rate swaps, the workshop will quickly progress towards expressing complex financial products in the domain specific contract language.
We aim to promote awareness and use of type-secure languages in the community. Regardless of skill-level, participants will walk away with an appreciation of the value of domain-specific languages in the Web3.0 stack and, hopefully, a number of new ideas of how to implement their Dapp in a secure and verified contract language.
To show the usability of this new release, eToro is launching an open-source marketplace for derivatives, where participants of the workshop and Devcon can compose financial contracts and advertise their positions on an online marketplace, to find a counterparty for their financial contract.
We present a number of additional use-cases for the language and show how developers can build new solutions or augment existing Dapps in safe and intuitive manner.
