Skip to content
Lex Fridman PodcastLex Fridman Podcast

Charles Hoskinson: Cardano | Lex Fridman Podcast #192

Charles Hoskinson is the founder of Cardano, co-founder of Ethereum, a mathematician, and a farmer. Please support this podcast by checking out our sponsors: - Gala Games: https://gala.games/lex - Allform: https://allform.com/lex to get 20% off - Indeed: https://indeed.com/lex to get $75 credit - ExpressVPN: https://expressvpn.com/lexpod and use code LexPod to get 3 months free - Eight Sleep: https://www.eightsleep.com/lex and use code LEX to get special savings EPISODE LINKS: Charles's Twitter: https://twitter.com/IOHK_Charles Charles's YouTube: https://www.youtube.com/user/charleshoskinson Cardano Website: https://cardano.org/ IOHK Website: https://iohk.io/ PODCAST INFO: Podcast website: https://lexfridman.com/podcast Apple Podcasts: https://apple.co/2lwqZIr Spotify: https://spoti.fi/2nEwCF8 RSS: https://lexfridman.com/feed/podcast/ Full episodes playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOdP_8GztsuKi9nrraNbKKp4 Clips playlist: https://www.youtube.com/playlist?list=PLrAXtmErZgOeciFP3CBCIEElOJeitOr41 OUTLINE: 0:00 - Introduction 2:09 - What programming language is the simulation written in? 7:14 - Favorite philosophers 16:15 - Theory vs engineering in cryptocurrency 27:24 - What programming languages should everyone learn 35:39 - Haskell and beyond 39:23 - Plutus: Cardano's smart contract platform based on Haskell 43:50 - What is a blockchain? 48:02 - Hybrid smart contracts 53:53 - Proof of work vs proof of stake 1:02:39 - Cardano's proof of stake consensus algorithm 1:13:11 - What is Cardano? 1:21:52 - Cardano vs Ethereum vs Bitcoin 1:31:47 - The problem with Bitcoin 1:41:21 - Bitcoin Conference 1:45:02 - Ergo and Alex Chepurnoy 1:52:12 - Cardano's Extended UTXO Model 1:59:25 - Chainlink and Oracle Networks 2:06:37 - Cardano and Wolfram Alpha 2:11:32 - The future of video games 2:20:07 - Smart contracts timeline for Cardano 2:27:37 - Decentralized exchanges 2:33:18 - Jack Dorsey and Bitcoin 2:39:30 - Elon Musk and Tesla: Cardano, Ethereum, Bitcoin 2:42:47 - Dogecoin and Elon Musk 2:54:08 - Hydra vs Lightning Network 3:01:42 - Non-Interactive Proofs of Proof-of-Work (NIPoPoWs) 3:05:36 - Cardano failure modes 3:13:57 - Cardano vs Polkadot 3:19:02 - Vitalik Buterin 3:27:13 - Corrupting nature of power 3:37:23 - Satoshi Nakamoto 3:43:34 - Cardano's vision for decentralized governance 3:56:28 - Cardano in Ethiopia 4:00:30 - El Salvador and Bitcoin 4:06:47 - Cryptocurrency will inject capitalism with long-term incentives 4:16:39 - Day in the life of Charles Hoskinson 4:23:56 - Mushrooms 4:30:04 - Joe Rogan 4:34:57 - Video games 4:47:11 - Advice for young people 4:50:20 - Meaning of life SOCIAL: - Twitter: https://twitter.com/lexfridman - LinkedIn: https://www.linkedin.com/in/lexfridman - Facebook: https://www.facebook.com/lexfridman - Instagram: https://www.instagram.com/lexfridman - Medium: https://medium.com/@lexfridman - Reddit: https://reddit.com/r/lexfridman - Support on Patreon: https://www.patreon.com/lexfridman

Lex FridmanhostCharles Hoskinsonguest
Jun 16, 20214h 57mWatch on YouTube ↗

At a glance

WHAT IT’S REALLY ABOUT

Charles Hoskinson Envisions Cardano as Humanity’s Financial Operating System

  1. Charles Hoskinson and Lex Fridman range from philosophy of simulations and logic to the deep technical design of Cardano, contrasting it with Bitcoin and Ethereum. Hoskinson explains why Cardano uses formal methods, Haskell, and an extended UTXO model to prioritize correctness, security, and long‑term governance. They discuss consensus (proof‑of‑stake vs proof‑of‑work), scalability, oracles, identity, and Cardano’s real‑world efforts like Ethiopia’s student ID system as steps toward a global, open financial operating system. The conversation also explores human nature, power, governance, video games, mushrooms, and the meaning of life, framing crypto as a tool to reduce corruption and push economic power to the edges.

IDEAS WORTH REMEMBERING

5 ideas

Cardano is designed as a “financial operating system” for the world, not just a speculative asset.

Hoskinson frames Cardano’s goal as providing identity, payments, and smart contracts for billions—especially the unbanked—so that the poorest person has access to the same financial rails as the richest.

Formal methods and functional programming are used to reduce catastrophic bugs in critical crypto infrastructure.

By basing Cardano on Haskell, peer‑reviewed papers, and formal specifications, the team narrows the gap between protocol design and implementation, enabling stronger guarantees around security‑critical components.

Proof‑of‑stake can increase decentralization over time, especially when combined with stake pools and parameter tuning.

Unlike proof‑of‑work, which trends toward mining oligopolies, Cardano’s stake pool model and parameters like K are designed so that as the asset grows in value, more distinct operators participate in block production.

Self‑governance via treasuries and on‑chain voting is crucial for long‑term protocol evolution.

Cardano’s Catalyst system lets ADA holders propose and vote on funding from a decentralized treasury, building habits and tooling for future protocol decisions such as parameter changes and hard forks.

Layer‑2 solutions and oracles will determine whether blockchains can scale and stay useful in messy real‑world environments.

Hydra (state channels for Cardano), roll‑ups, and robust oracle networks are needed to get high throughput, low fees, and trusted external data, without overloading the base chain or centralizing too much power.

WORDS WORTH SAVING

5 quotes

The point of what we do is to build a universal protocol that does all the stuff the legacy system has, but better, faster, cheaper—for everybody.

Charles Hoskinson

If you build the right philosophy within the system, it doesn’t need founders.

Charles Hoskinson

Trying to do smart contracts without oracles is like trying to have sex with your pants on.

Charles Hoskinson

Our industry exists because we weren’t the ones charging 85% interest to the poorest people in the world. We’re the antidote to that.

Charles Hoskinson

It’s not the destination. It’s the things you do on a day‑to‑day basis—the places you go, the people you meet, the joy you take in the act itself.

Charles Hoskinson

Simulation, formal systems, and the philosophical roots of computer scienceDifferences between proof‑of‑work and proof‑of‑stake consensus and multi‑resource securityCardano’s design: Haskell, formal methods, extended UTXO, Plutus, and HydraGovernance, treasuries, and on‑chain voting as a self‑evolving systemReal‑world adoption: identity and financial infrastructure in places like EthiopiaEconomic incentives, game theory, DeFi, oracles, and layer‑2 scalabilityHuman aspects: power, ego, community culture, video games, psychedelics, and meaning

High quality AI-generated summary created from speaker-labeled transcript.

Get more out of YouTube videos.

High quality summaries for YouTube videos. Accurate transcripts to search & find moments. Powered by ChatGPT & Claude AI.

Add to Chrome