March 27th, 2019 | 1 hr 12 mins
blockchain, ethereum, makerdao, stablecoin
In this interview, we chat with Rune Christensen from MakerDAO about stablecoins, MakerDAO’s take on this concept, the peg and how this is maintained, security, oracles and more.
March 6th, 2019 | 1 hr 3 mins
blockchain, formal verification, k-framework, makerdao, tech education
In this week's episode, we sit down with Martin Lundfall (Dapphub, MakerDAO) to discuss formal verification - a topic request that comes directly from the Zero Knowledge audience. We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, and much more.