Watch / Introducing Formality

Introducing Formality

  • YouTube
  • IPFS
  • Details

Introducing Formality

Duration: 00:10:56

Speaker: Victor Maia, Leonardo Souza

Type: Talk

Expertise: Intermediate

Event: Devcon 4

Date: Oct 2018

In 2017, I presented the ideas behind the Moon Project, which aims to create a blazingly fast and secure decentralized browser for DApps. In this talk, I'll highlight advancements towards this goal, highlighting Formality, a massively parallel programming language featuring formal proofs and smart contracts, and the FVM, a decentralized virtual machine dedicated to running functional programs with much lower gas costs using the so-called Abstract Algorithm.



About the speakers


Victor Maia


I'm the lead developer of the Moon Project, a team inside the Ethereum Foundation researching how to build a decentralized browser that is fast and secure enough for mass adoption. My main interests are blockchains, functional programming, formal proofs and abstract machines.

  • Related