Watch / Dai Stablecoin

Dai Stablecoin

  • YouTube
  • IPFS
  • Details

Dai Stablecoin

Duration: 00:19:18

Speaker: Andy Milenius

Type: Talk

Expertise: Intermediate

Event: Devcon 3

Date: Nov 2017

The process of developing the Dai Stablecoin System has matured significantly over the course of the last year. We innovated in the Ethereum community by being the first project to release a well-defined reference implementation, written in Haskell, for our proposed system. This effort has helped with the simplification of the system’s design, increased project efficiency, and has attracted the attention of formal verificiation specialists who now want to focus on Maker. It is becoming more and more likely that Maker will be the first non-trivial decentralized application to be formally verified before launch. In this proposed presentation, I would like to talk about the usefulness of rigorous specification and external reference implementations for the benefit of other Ethereum projects.

Categories

About the speakers

AM

Andy Milenius

CTO

Andy Milenius is the CTO of MakerDAO and has been with the project since 2015. Aside from stablecoins, he is most interested in the intersection between decentralized applications, democracy and environmentalism. He is also a member of DappHub, an online collective that focuses on the logistics of dapp development and the philosophical implications of the decentralization movement. He is from Detroit, USA and currently lives in New York City, USA.

  • Related